ASP-Core-2 Input Language Format
Artificial Intelligence
2020-02-19 v1 Logic in Computer Science
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.
Cite
@article{arxiv.1911.04326,
title = {ASP-Core-2 Input Language Format},
author = {Francesco Calimeri and Wolfgang Faber and Martin Gebser and Giovambattista Ianni and Roland Kaminski and Thomas Krennwallner and Nicola Leone and Marco Maratea and Francesco Ricca and Torsten Schaub},
journal= {arXiv preprint arXiv:1911.04326},
year = {2020}
}