ASP-Core-2 Input Language Format

Download PDF
Open Webpage

Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub

Published: 2020, Last Modified: 01 Aug 2025Theory Pract. Log. Program. 2020EveryoneRevisionsBibTeXCC BY-SA 4.0
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.