The Seventh Answer Set Programming Competition
- Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017).
Author details: | Martin GebserORCiDGND, Marco MarateaORCiD, Francesco RiccaORCiD |
---|---|
DOI: | https://doi.org/10.1017/S1471068419000061 |
ISSN: | 1471-0684 |
ISSN: | 1475-3081 |
Title of parent work (English): | Theory and practice of logic programming |
Subtitle (English): | design and results |
Publisher: | Cambridge Univ. Press |
Place of publishing: | Cambridge [u.a.] |
Publication type: | Article |
Language: | English |
Date of first publication: | 2019/05/31 |
Publication year: | 2020 |
Release date: | 2023/10/20 |
Tag: | Answer Set Programming; competition |
Volume: | 20 |
Issue: | 2 |
Article number: | PII S1471068419000061 |
Number of pages: | 29 |
First page: | 176 |
Last Page: | 204 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme |
Peer review: | Referiert |