TL;DR
This paper introduces ASP-Core-2, a standardized input language for Answer Set Programming that has been adopted in competitions since 2013, promoting consistency and application in knowledge representation.
Contribution
It defines the ASP-Core-2 standard input language for Answer Set Programming, facilitating standardization and wider adoption in the field.
Findings
Adoption of ASP-Core-2 in ASP Competitions since 2013
Standardization promotes growth in knowledge representation applications
Enhances interoperability among ASP tools
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
