Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 294-309 |
Number of pages | 16 |
Journal | Theory and Practice of Logic Programming |
Volume | 20 |
Issue number | 2 |
DOIs | |
Publication status | Published - 20 Mar 2020 |
Keywords
- Answer Set Programming
- knowledge representation and reasoning
- standard language
- standardization
ASJC Scopus subject areas
- Software
- Artificial Intelligence
- Theoretical Computer Science
- Hardware and Architecture
- Computational Theory and Mathematics