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.
Originalsprache | englisch |
---|---|
Seiten (von - bis) | 294-309 |
Seitenumfang | 16 |
Fachzeitschrift | Theory and Practice of Logic Programming |
Jahrgang | 20 |
Ausgabenummer | 2 |
DOIs | |
Publikationsstatus | Veröffentlicht - 20 März 2020 |
ASJC Scopus subject areas
- Software
- Artificial intelligence
- Theoretische Informatik
- Hardware und Architektur
- Theoretische Informatik und Mathematik