The first answer set programming system competition

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

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

The first answer set programming system competition

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

Computer Science

Producción científica: Conference contribution › revisión exhaustiva

74 Citas (Scopus)

Resumen

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.

Idioma original	English
Título de la publicación alojada	Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings
Páginas	3-17
Número de páginas	15
DOI	https://doi.org/10.1007/978-3-540-72200-7_3
Estado	Published - 2007
Evento	9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007 - Tempe, AZ, United States Duración: may 15 2007 → may 17 2007

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	4483 LNAI
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	1611-3349

Conference

Conference	9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007
País/Territorio	United States
Ciudad	Tempe, AZ
Período	5/15/07 → 5/17/07

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Acceder al documento

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

Otros archivos y enlaces

Citar esto

Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., & Truszczyński, M. (2007). The first answer set programming system competition. En Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings (pp. 3-17). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4483 LNAI). https://doi.org/10.1007/978-3-540-72200-7_3

@inproceedings{bda58841e88f4795a897ae1cd9245836,

title = "The first answer set programming system competition",

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.",

author = "Martin Gebser and Lengning Liu and Gayathri Namasivayam and Andr{\'e} Neumann and Torsten Schaub and Miros{\l}aw Truszczy{\'n}ski",

year = "2007",

doi = "10.1007/978-3-540-72200-7\_3",

language = "English",

isbn = "9783540721994",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "3--17",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings",

note = "9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007 ; Conference date: 15-05-2007 Through 17-05-2007",

}

Gebser, M, Liu, L, Namasivayam, G, Neumann, A, Schaub, T & Truszczyński, M 2007, The first answer set programming system competition. En Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4483 LNAI, pp. 3-17, 9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United States, 5/15/07. https://doi.org/10.1007/978-3-540-72200-7_3

The first answer set programming system competition. / Gebser, Martin; Liu, Lengning; Namasivayam, Gayathri et al.
Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings. 2007. p. 3-17 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4483 LNAI).

Producción científica: Conference contribution › revisión exhaustiva

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 - https://www.scopus.com/pages/publications/38049048201

UR - https://www.scopus.com/pages/publications/38049048201#tab=citedBy

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 -

Gebser M, Liu L, Namasivayam G, Neumann A, Schaub T, Truszczyński M. The first answer set programming system competition. En Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings. 2007. p. 3-17. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-72200-7_3

The first answer set programming system competition

Resumen

Serie de la publicación

Conference

ASJC Scopus subject areas

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto