Gringo

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 43 articles )

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

1 2 3 next

  1. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Domain expansion for ASP-programs with external sources (2016)
  2. Eppe, Manfred; Bhatt, Mehul: Approximate postdictive reasoning with answer set programming (2015)
  3. Falkner, Andreas; Ryabokon, Anna; Schenner, Gottfried; Shchekotykhin, Kostyantyn: OOASP: connecting object-oriented and logic programming (2015)
  4. Fichte, Johannes Klaus; Szeider, Stefan: Backdoors to tractable answer set programming (2015)
  5. Videla, Santiago; Guziolowski, Carito; Eduati, Federica; Thiele, Sven; Gebser, Martin; Nicolas, Jacques; Saez-Rodriguez, Julio; Schaub, Torsten; Siegel, Anne: Learning Boolean logic models of signaling networks with ASP (2015)
  6. Dvořák, Wolfgang; Järvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan: Complexity-sensitive decision procedures for abstract argumentation (2014)
  7. Göös, Mika; Lempiäinen, Tuomo; Czeizler, Eugen; Orponen, Pekka: Search methods for tile sets in patterned DNA self-assembly (2014)
  8. Andres, Benjamin; Gebser, Martin; Schaub, Torsten; Haubelt, Christian; Reimann, Felix; Glaß, Michael: Symbolic system synthesis using answer set programming (2013)
  9. Andres, Benjamin; Sauer, Matthias; Gebser, Martin; Schubert, Tobias; Becker, Bernd; Schaub, Torsten: Accurate computation of sensitizable paths using answer set programming (2013)
  10. Collet, Guillaume; Eveillard, Damien; Gebser, Martin; Prigent, Sylvain; Schaub, Torsten; Siegel, Anne; Thiele, Sven: Extending the metabolic network of Ectocarpus siliculosus using answer set programming (2013)
  11. Gebser, Martin; Jost, Holger; Kaminski, Roland; Obermeier, Philipp; Sabuncu, Orkunt; Schaub, Torsten; Schneider, Marius: Ricochet robots: a transverse ASP benchmark (2013)
  12. Schüller, Peter: Flexible combinatory categorial grammar parsing using the CYK algorithm and answer set programming (2013)
  13. Alviano, Mario; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola: Magic sets for disjunctive Datalog programs (2012)
  14. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)
  15. Lee, Joohyung; Palla, Ravi: Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming (2012)
  16. Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Ianni, Giovambattista; Leone, Nicola: Function symbols in ASP: overview and perspectives (2011)
  17. Alviano, Mario; Faber, Wolfgang: Dynamic magic sets and super-coherent answer set programs (2011)
  18. Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, Susanna; Faber, Wolfgang; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, Alessandra; Panetta, Claudio; Perri, Simona; Reale, Kristian; Santoro, Maria Carmela; Sirianni, Marco; Terracina, Giorgio; Veltri, Pierfrancesco: The third answer set programming competition: preliminary report of the system competition track (2011)
  19. Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco: Look-back techniques for ASP programs with aggregates (2011)
  20. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-criteria optimization in answer set programming (2011)

1 2 3 next


Further publications can be found at: http://www.emsl.pnl.gov/docs/parsoft/armci/papers.htm