ASP-Core-2 Input Language Format
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
arXiv:1911.04326v1309 citations
Originality Synthesis-oriented
AI Analysis
This work standardizes the input language for the Answer Set Programming community, enabling broader adoption and competition use, but it is incremental as it builds on existing standardization efforts.
The paper presents the ASP-Core-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013 to foster application exploitation.
Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications. In this document we present the ASP-Core-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.