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.
No takes yet. Share an insight, caveat, or question.
A 2019 study studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: