The Seventh Answer Set Programming Competition: Design and Results
arXiv:1904.09134 · doi:10.1017/S1471068419000061
Abstract
Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017). (Under consideration for acceptance in TPLP).
arXiv comment28 pages
References in corpus (6)
- The DLV System for Knowledge Representation and Reasoning
- The third open Answer Set Programming competition
- Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3
- A Multi-Engine Approach to Answer Set Programming
- Optimizing Phylogenetic Supertrees Using Answer Set Programming
- Dynamic Consistency Checking in Goal-Directed Answer Set Programming