This document provides an introduction to the Answer Set Programming (ASP) tools gringo, clasp, clingo, and iclingo, developed at the University of Potsdam. The first tool, gringo, is a grounder capable of translating logic programs provided by users into equivalent propositional logic programs. The answer sets of such programs can be computed by clasp, which is a solver. The third tool, clingo, integrates the functionalities of gringo and clasp, thus, acting as a monolithic solver for user programs. Finally, iclingo extends clingo by an incremental mode that incorporates both grounding and solving. For one, this document aims at enabling ASP novices to make use of the aforementioned tools. For another, it provides a reference of their features that ASP adepts might be tempted to exploit.

References in zbMATH (referenced in 110 articles , 1 standard article )

Showing results 1 to 20 of 110.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp: Train scheduling with hybrid answer set programming (2021)
  2. Cristiá, Maximiliano; Rossi, Gianfranco: Automated reasoning with restricted intensional sets (2021)
  3. Lierler, Yuliya; Robbins, Justin: DualGrounder: lazy instantiation via clingo multi-shot framework (2021)
  4. Meli, Daniele; Sridharan, Mohan; Fiorini, Paolo: Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons (2021)
  5. Suchan, Jakob; Bhatt, Mehul; Varadarajan, Srikrishna: Commonsense visual sensemaking for autonomous driving -- on generalised neurosymbolic online abduction integrating vision and semantics (2021)
  6. Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw: New models for generating hard random Boolean formulas and disjunctive logic programs (2020)
  7. Bichler, Manuel; Morak, Michael; Woltran, Stefan: selp: a single-shot epistemic logic program solver (2020)
  8. Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten: \texttteclingo: a solver for epistemic logic programs (2020)
  9. Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica: Technical note. Efficiently coupling the (\mathscrI)-DLV grounder with ASP solvers (2020)
  10. Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten: ASP-Core-2 input language format (2020)
  11. Everardo, Flavio; Osorio, Mauricio: Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (2020)
  12. Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten: Verifying tight logic programs with \textscanthemand \textscvampire (2020)
  13. Weinzierl, Antonius; Taupe, Richard; Friedrich, Gerhard: Advancing lazy-grounding ASP solving techniques -- restarts, phase saving, heuristics, and more (2020)
  14. Cabalar, Pedro; Fandinno, Jorge; Schaub, Torsten; Schellhorn, Sebastian: Gelfond-Zhang aggregates as propositional formulas (2019)
  15. Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica: Incremental answer set programming with overgrounding (2019)
  16. Calimeri, Francesco; Perri, Simona; Zangari, Jessica: Optimizing answer set computation via heuristic-based decomposition (2019)
  17. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  18. Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin: Debugging non-ground ASP programs: technique and graphical tools (2019)
  19. Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten: The return of \textitxorro (2019)
  20. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2019)

1 2 3 4 5 6 next

Further publications can be found at: