Title: The second answer set programming competition
Authors: Denecker, Marc
Vennekens, Joost
Bond, Stephen
Gebser, Martin
Truszczyński, Mirosław #
Issue Date: Sep-2009
Publisher: Springer
Host Document: Logic Programming and Nonmonotonic Reasoning vol:LNAI 5753 pages:637-654
Conference: LPNMR'09 edition:10 location:Potsdam date:14-18 September 2009
Abstract: This paper reports on the Second Answer Set Programming System Competition. The competitions in areas of Satisfiability checking, Pseudo-Boolean constraint solving and Quantified Boolean Formula evaluation have proven to be a strong driving force for a community to develop better performing systems. Following this experience, the Answer Set Programming competition series was set up in 2007, and
ran as part of the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). This second competition, held in conjunction with LPNMR 2009, differed from the first one in two important ways. First, while the original competition was restricted to systems designed for the answer set programming language, the sequel was open to systems designed for other modeling languages, as well. Consequently, among the contestants of the second competition were a CLP(FD) team and three model generation systems for (extensions of) classical logic. Second, this latest competition covered not only satisfiability problems but also optimization ones. We present and discuss the set-up and the results of the competition.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Technologiecluster Computerwetenschappen
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
# (joint) last author

Files in This Item:
File Description Status SizeFormat
paper.pdfPaper Published 461KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science