References & Citations
Computer Science > Artificial Intelligence
Title: ASP-Core-2 Input Language Format
(Submitted on 11 Nov 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.
Link back to: arXiv, form interface, contact.