The Fourth Answer Set Programming Competition: Preliminary Report

  • Mario Alviano
  • Francesco Calimeri
  • Günther Charwat
  • Minh Dao-Tran
  • Carmine Dodaro
  • Giovambattista Ianni
  • Thomas Krennwallner
  • Martin Kronegger
  • Johannes Oetsch
  • Andreas Pfandler
  • Jörg Pührer
  • Christoph Redl
  • Francesco Ricca
  • Patrik Schneider
  • Martin Schwengerer
  • Lara Katharina Spendier
  • Johannes Peter Wallner
  • Guohui Xiao
Conference paper

DOI: 10.1007/978-3-642-40564-8_5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8148)
Cite this paper as:
Alviano M. et al. (2013) The Fourth Answer Set Programming Competition: Preliminary Report. In: Cabalar P., Son T.C. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2013. Lecture Notes in Computer Science, vol 8148. Springer, Berlin, Heidelberg

Abstract

Answer Set Programming is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, PDDL and many others. Since its first informal editions, ASP systems are compared in the nowadays customary ASP Competition. The fourth ASP Competition, held in 2012/2013, is the sequel to previous editions and it was jointly organized by University of Calabria (Italy) and the Vienna University of Technology (Austria). Participants competed on a selected collection of benchmark problems, taken from a variety of research areas and real world applications. The Competition featured two tracks: the Model& Solve Track, held on an open problem encoding, on an open language basis, and open to any kind of system based on a declarative specification paradigm; and the System Track, held on the basis of fixed, public problem encodings, written in a standard ASP language.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Mario Alviano
    • 1
  • Francesco Calimeri
    • 1
  • Günther Charwat
    • 2
  • Minh Dao-Tran
    • 2
  • Carmine Dodaro
    • 1
  • Giovambattista Ianni
    • 1
  • Thomas Krennwallner
    • 2
  • Martin Kronegger
    • 2
  • Johannes Oetsch
    • 2
  • Andreas Pfandler
    • 2
  • Jörg Pührer
    • 2
  • Christoph Redl
    • 2
  • Francesco Ricca
    • 1
  • Patrik Schneider
    • 2
  • Martin Schwengerer
    • 2
  • Lara Katharina Spendier
    • 3
  • Johannes Peter Wallner
    • 2
  • Guohui Xiao
    • 2
  1. 1.Dipartimento di Matematica e InformaticaUniversità della CalabriaItaly
  2. 2.Institute of Information SystemsVienna University of TechnologyAustria
  3. 3.Institute of Computer LanguagesVienna University of TechnologyAustria

Personalised recommendations