Design and results of the Fifth Answer Set Programming Competition

被引：83
作者：
Calimeri, Francesco [1 ]
Gebser, Martin [2 ]
Maratea, Marco [3 ]
Ricca, Francesco [1 ]
机构：
[1] Univ Calabria, Dipartimento Matemat & Informat, I-87030 Commenda Di Rende, Italy
[2] Aalto Univ, Helsinki Inst Informat Technol, Dept Comp Sci, Helsinki, Finland
[3] Univ Genoa, Dipartimento Informat Bioingn Robot & Ingn Sistem, Genoa, Italy
来源：
ARTIFICIAL INTELLIGENCE | 2016年 / 231卷
关键词：
Answer Set Programming; Solver competition; Computational logic; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMS; SEMANTICS; SYSTEM; ASP;
D O I：
10.1016/j.artint.2015.09.008
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and non-monotonic reasoning. Advances in ASP solving technology are customarily assessed in competition events, as it happens for other closely related problem solving areas such as Boolean Satisfiability, Satisfiability Modulo Theories, Quantified Boolean Formulas, Planning, etc. This paper reports about the fifth edition of the ASP Competition by covering all aspects of the event, ranging from the new design of the competition to an in-depth analysis of the results. The paper comprises also additional analyses that were conceived for measuring the progress of the state of the art, as well as for studying aspects orthogonal to solving technology, such as the effects of modeling. A detailed picture of the progress of the state of the art in ASP solving is drawn, and the ASP Competition is located in the spectrum of related events. (C) 2015 Elsevier B.V. All rights reserved.
引用
收藏
页码：151 / 181
页数：31
相关论文
共 92 条
[1]  
Alviano M., 2014, P 15 INT WORKSH NONM, P68
[2]  
Alviano M., 2014, THE PYRUNLIM TOOL
[3]  
Alviano M, 2013, LECT NOTES COMPUT SC, V8148, P42, DOI 10.1007/978-3-642-40564-8_5
[4]  
Alviano M, 2013, LECT NOTES COMPUT SC, V8148, P54, DOI 10.1007/978-3-642-40564-8_6
[5]  
[Anonymous], 1998, Pddl the planning domain definition language
[6]  
[Anonymous], 2012, PRINCIPLES KNOWLEDGE
[7]  
[Anonymous], 1991, Artificial and Mathematical Theory of Computation, DOI [10.1016/B978-0-12-450010-5.50026-8, DOI 10.1016/B978-0-12-450010-5.50026-8]
[8]  
Aschinger M, 2011, LECT NOTES COMPUT SC, V6697, P4, DOI 10.1007/978-3-642-21311-3_4
[9]  
Asparagus, 2009, ASP WEB BAS BENCHM E
[10]  
Bail S., 2013, P 3 INT WORKSH OWL R, V1207
12345678910