Abstract
AbstractAnswer 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).
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Reference57 articles.
1. Dynamic Consistency Checking in Goal-Directed Answer Set Programming
2. Look-back techniques and heuristics in DLV: Implementation, evaluation and comparison to QBF solvers;Maratea;Journal of Algorithms in Cognition, Informatics and Logics,2008
3. Multi-level Algorithm Selection for ASP
4. Stable Models and an Alternative Logic Programming Paradigm
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献