The first answer set programming system competition

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

74 Scopus citations

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.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings
Pages3-17
Number of pages15
DOIs
StatePublished - 2007
Event9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007 - Tempe, AZ, United States
Duration: May 15 2007May 17 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4483 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007
Country/TerritoryUnited States
CityTempe, AZ
Period5/15/075/17/07

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'The first answer set programming system competition'. Together they form a unique fingerprint.

Cite this