The First Answer Set Programming System Competition

  • Martin Gebser
  • Lengning Liu
  • Gayathri Namasivayam
  • André Neumann
  • Torsten Schaub
  • Mirosław Truszczyński
Conference paper

DOI: 10.1007/978-3-540-72200-7_3

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4483)
Cite this paper as:
Gebser M., Liu L., Namasivayam G., Neumann A., Schaub T., Truszczyński M. (2007) The First Answer Set Programming System Competition. In: Baral C., Brewka G., Schlipf J. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2007. Lecture Notes in Computer Science, vol 4483. Springer, Berlin, Heidelberg

Abstract

This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning. The aims of the competition were twofold: first, to collect challenging benchmark problems, and second, to provide a platform to assess a broad variety of Answer Set Programming systems. The competition was inspired by similar events in neighboring fields, where regular benchmarking has been a major factor behind improvements in the developed systems and their ability to address practical applications.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Martin Gebser
    • 1
  • Lengning Liu
    • 2
  • Gayathri Namasivayam
    • 2
  • André Neumann
    • 1
  • Torsten Schaub
    • 1
  • Mirosław Truszczyński
    • 2
  1. 1.Institut für Informatik, Universität Potsdam, August-Bebel-Str. 89, D-14482 PotsdamGermany
  2. 2.Department of Computer Science, University of Kentucky, Lexington, KY 40506-0046USA

Personalised recommendations