TY - GEN
T1 - The first answer set programming system competition
AU - Gebser, Martin
AU - Liu, Lengning
AU - Namasivayam, Gayathri
AU - Neumann, André
AU - Schaub, Torsten
AU - Truszczyński, Mirosław
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38049048201&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38049048201&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-72200-7_3
DO - 10.1007/978-3-540-72200-7_3
M3 - Conference contribution
AN - SCOPUS:38049048201
SN - 9783540721994
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 3
EP - 17
BT - Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings
T2 - 9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007
Y2 - 15 May 2007 through 17 May 2007
ER -