The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track

  • Francesco Calimeri
  • Giovambattista Ianni
  • Francesco Ricca
  • Mario Alviano
  • Annamaria Bria
  • Gelsomina Catalano
  • Susanna Cozza
  • Wolfgang Faber
  • Onofrio Febbraro
  • Nicola Leone
  • Marco Manna
  • Alessandra Martello
  • Claudio Panetta
  • Simona Perri
  • Kristian Reale
  • Maria Carmela Santoro
  • Marco Sirianni
  • Giorgio Terracina
  • Pierfrancesco Veltri
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6645)

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, FO(.), PDDL and many others. Since its first informal editions, ASP systems are compared in the nowadays customary ASP Competition. The Third ASP Competition, as the sequel to the ASP Competitions Series held at the University of Potsdam in Germany (2006-2007) and at the University of Leuven in Belgium in 2009, took place at the University of Calabria (Italy) in the first half of 2011. Participants competed on a selected collection of declarative specifications of benchmark problems, taken from a variety of domains as well as real world applications, and instances thereof. The Competition ran on two tracks: the Model & Solve Competition, 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 Competition, held on the basis of fixed, public problem encodings, written in a standard ASP language. This paper briefly discuss the format and rationale of the System competition track, and preliminarily reports its results.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Francesco Calimeri
    • 1
  • Giovambattista Ianni
    • 1
  • Francesco Ricca
    • 1
  • Mario Alviano
    • 1
  • Annamaria Bria
    • 1
  • Gelsomina Catalano
    • 1
  • Susanna Cozza
    • 1
  • Wolfgang Faber
    • 1
  • Onofrio Febbraro
    • 1
  • Nicola Leone
    • 1
  • Marco Manna
    • 1
  • Alessandra Martello
    • 1
  • Claudio Panetta
    • 1
  • Simona Perri
    • 1
  • Kristian Reale
    • 1
  • Maria Carmela Santoro
    • 1
  • Marco Sirianni
    • 1
  • Giorgio Terracina
    • 1
  • Pierfrancesco Veltri
    • 1
  1. 1.Dipartimento di MatematicaUniversità della CalabriaItaly

Personalised recommendations