The Second Answer Set Programming Competition

  • Marc Denecker
  • Joost Vennekens
  • Stephen Bond
  • Martin Gebser
  • Mirosław Truszczyński
Conference paper

DOI: 10.1007/978-3-642-04238-6_75

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5753)
Cite this paper as:
Denecker M., Vennekens J., Bond S., Gebser M., Truszczyński M. (2009) The Second Answer Set Programming Competition. In: Erdem E., Lin F., Schaub T. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2009. Lecture Notes in Computer Science, vol 5753. Springer, Berlin, Heidelberg

Abstract

This paper reports on the Second Answer Set Programming 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Marc Denecker
    • 1
  • Joost Vennekens
    • 1
  • Stephen Bond
    • 1
  • Martin Gebser
    • 2
  • Mirosław Truszczyński
    • 3
  1. 1.Department of Computer ScienceKatholieke Universiteit LeuvenHeverlee
  2. 2.Institut für InformatikUniversität PotsdamPotsdamGermany
  3. 3.Department of Computer ScienceUniversity of KentuckyLexingtonUSA

Personalised recommendations