The Seventh Answer Set Programming Competition: Design and Results

被引：27

作者：

Gebser, Martin ^{[1
]}

Maratea, Marco ^{[2
]}

Ricca, Francesco ^{[3
]}

机构：

[1] Univ Potsdam, Inst Comp Sci, Potsdam, Germany

[2] Univ Genoa, DIBRIS, Genoa, Italy

[3] Univ Calabria, Dipartimento Matemat & Informat, Arcavacata Di Rende, Italy

来源：

THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2020年 / 20卷 / 02期

关键词：

Answer Set Programming; competition; KNOWLEDGE REPRESENTATION; DLV; SEMANTICS;

D O I：

10.1017/S1471068419000061

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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).

引用

页码：176 / 204

页数：29

共 57 条

[1]

Alviano Mario, 2015, Logic Programming and Nonmonotonic Reasoning. 13th International Conference, LPNMR 2015. Proceedings: LNCS 9345, P40, DOI 10.1007/978-3-319-23264-5_5

[2] The ASP System DLV2 [J].

Alviano, Mario ;

Calimeri, Francesco ;

Dodaro, Carmine ;

Fusca, Davide ;

Leone, Nicola ;

Perri, Simona ;

Ricca, Francesco ;

Veltri, Pierfrancesco ;

Zangari, Jessica .

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 :215-221

[3]

Amendola G, 2018, AAAI CONF ARTIF INTE, P1720

[4]

Amendola G, 2017, PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, P532

[5]

Amendola G, 2017, AAAI CONF ARTIF INTE, P1034

[6] Semi-equilibrium models for paracoherent answer set programs [J].

Amendola, Giovanni ;

Eiter, Thomas ;

Fink, Michael ;

Leone, Nicola ;

Moura, Joao .

ARTIFICIAL INTELLIGENCE, 2016, 234 :219-271

[7]

[Anonymous], 2012, PRINCIPLES KNOWLEDGE

[8]

[Anonymous], 2011, UAI

[9] CASP solutions for planning in hybrid domains [J].

Balduccini, Marcello ;

Magazzeni, Daniele ;

Maratea, Marco ;

Leblanc, Emily C. .

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (04) :591-633

[10]

Baral C., 2003, Knowledge Representation, Reasoning and Declarative Problem Solving

← 1 2 3 4 5 6 →