The Seventh Answer Set Programming Competition: Design and Results

Martin Gebser; Marco Maratea; Francesco Ricca

doi:10.1017/S1471068419000061

The Seventh Answer Set Programming Competition: Design and Results

Martin Gebser, Marco Maratea, Francesco Ricca

Institute of Software Technology (7160)

Research output: Contribution to journal › Article › peer-review

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

Original language	English
Pages (from-to)	176-204
Number of pages	29
Journal	Theory and Practice of Logic Programming
Volume	20
Issue number	2
DOIs	https://doi.org/10.1017/S1471068419000061
Publication status	Published - 31 Mar 2020

Keywords

Answer Set Programming
competition

ASJC Scopus subject areas

Software
Artificial Intelligence
Theoretical Computer Science
Hardware and Architecture
Computational Theory and Mathematics

Access to Document

10.1017/S1471068419000061

Cite this

@article{1e967064062743138f8bdce2f476d084,

title = "The Seventh Answer Set Programming Competition: Design and Results",

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

keywords = "Answer Set Programming, competition",

author = "Martin Gebser and Marco Maratea and Francesco Ricca",

year = "2020",

month = mar,

day = "31",

doi = "10.1017/S1471068419000061",

language = "English",

volume = "20",

pages = "176--204",

journal = "Theory and Practice of Logic Programming ",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - The Seventh Answer Set Programming Competition: Design and Results

AU - Gebser, Martin

AU - Maratea, Marco

AU - Ricca, Francesco

PY - 2020/3/31

Y1 - 2020/3/31

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

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

KW - Answer Set Programming

KW - competition

UR - https://doi.org/10.1017/S1471068419000061

UR - http://arxiv.org/abs/1904.09134

U2 - 10.1017/S1471068419000061

DO - 10.1017/S1471068419000061

M3 - Article

SN - 1471-0684

VL - 20

SP - 176

EP - 204

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 2

ER -

The Seventh Answer Set Programming Competition: Design and Results

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this