The Seventh Answer Set Programming Competition: Design and Results

Martin Gebser, Marco Maratea, Francesco Ricca

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)176-204
Number of pages29
JournalTheory and Practice of Logic Programming
Volume20
Issue number2
DOIs
Publication statusPublished - 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

Fingerprint Dive into the research topics of 'The Seventh Answer Set Programming Competition: Design and Results'. Together they form a unique fingerprint.

Cite this