author    = {Mario Alviano and Francesco Calimeri and G{\"u}nther Charwat and Minh Dao-Tran and Carmine Dodaro and Giovambattista Ianni and Thomas Krennwallner and Martin Kronegger and Johannes Oetsch and Andreas Pfandler and J{\"o}rg P{\"u}hrer and Christoph Redl and Francesco Ricca and Patrik Schneider and Martin Schwengerer and {Lara Katharina} Spendier and {Johannes Peter} Wallner and Guohui Xiao},
  booktitle = {Proc. of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)},
  conference = {http://lpnmr2013.udc.es/},
  date      = {September 15-19, 2013},
  editor    = {Pedro Cabalar and Tran Cao Son},
  keywords  = {Benchmark, Competition},
  location  = {Corunna, Spain},
  month     = {September},
  pages     = {42--53},
  publisher = {Springer},
  series    = {LNCS},
  title     = {{The Fourth Answer Set Programming Competition: Preliminary Report}},
  volume    = {8148},
  year      = {2013},
  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 and 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.},