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 · Theory and Practice of Logic Programming · 2019
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.