@article{GebserMarateaRicca2020,
  author    = {Gebser, Martin and Maratea, Marco and Ricca, Francesco},
  title     = {The Seventh Answer Set Programming Competition},
  series = {Theory and practice of logic programming},
  volume    = {20},
  journal   = {Theory and practice of logic programming},
  number    = {2},
  publisher = {Cambridge Univ. Press},
  address   = {Cambridge [u.a.]},
  issn      = {1471-0684},
  doi       = {10.1017/S1471068419000061},
  pages     = {176 -- 204},
  year      = {2020},
  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).},
  language  = {en}
}
@article{GebserMarateaRicca2017,
  author    = {Gebser, Martin and Maratea, Marco and Ricca, Francesco},
  title     = {The sixth answer set programming competition},
  series = {Journal of artificial intelligence research : JAIR},
  volume    = {60},
  journal   = {Journal of artificial intelligence research : JAIR},
  publisher = {AI Access Found.},
  address   = {Marina del Rey},
  issn      = {1076-9757},
  doi       = {10.1613/jair.5373},
  pages     = {41 -- 95},
  year      = {2017},
  abstract  = {Answer Set Programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning. Similar to other closely related problemsolving technologies, such as SAT/SMT, QBF, Planning and Scheduling, advancements in ASP solving are assessed in competition events. In this paper, we report about the design and results of the Sixth ASP Competition, which was jointly organized by the University of Calabria (Italy), Aalto University (Finland), and the University of Genoa (Italy), in affiliation with the 13th International Conference on Logic Programming and Non-Monotonic Reasoning. This edition maintained some of the design decisions introduced in 2014, e.g., the conception of sub-tracks, the scoring scheme,and the adherence to a fixed modeling language in order to push the adoption of the ASP-Core-2 standard. On the other hand, it featured also some novelties, like a benchmark selection stage classifying instances according to their empirical hardness, and a "Marathon" track where the topperforming systems are given more time for solving hard benchmarks.},
  language  = {en}
}