@article{GebserJanhunenRintanen2020,
  author    = {Gebser, Martin and Janhunen, Tomi and Rintanen, Jussi},
  title     = {Declarative encodings of acyclicity properties},
  series = {Journal of logic and computation},
  volume    = {30},
  journal   = {Journal of logic and computation},
  number    = {4},
  publisher = {Oxford Univ. Press},
  address   = {Eynsham, Oxford},
  issn      = {0955-792X},
  doi       = {10.1093/logcom/exv063},
  pages     = {923 -- 952},
  year      = {2020},
  abstract  = {Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such structural properties is non-obvious and can be challenging indeed. In this article, we take a number of acyclicity properties into consideration and investigate various logic-based approaches to encode them. We use answer set programming as the primary representation language but also consider mappings to related formalisms, such as propositional logic, difference logic and linear programming. We study the compactness of encodings and the resulting computational performance on benchmarks involving acyclic or tree structures.},
  language  = {en}
}
@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}
}