Clingo

Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam: Clingo combines both gringo and clasp into a monolithic system. This way it offers more control over the grounding and solving process than gringo and clasp can offer individually - e.g., incremental grounding and solving. Clingo comes with its own version of claspD-2 and hence now supports parallel- and disjunctive solving. Attention! The languages of Gringo 3 and 4 are not fully compatible because Gringo 4 adheres to the recent ASP language standard. For processing legacy encodings, we recommend downloading the latest version of Gringo 3 in addition to Gringo 4.


References in zbMATH (referenced in 57 articles , 2 standard articles )

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

1 2 3 next

  1. Confalonieri, Roberto; Kutz, Oliver: Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (2020)
  2. Cropper, Andrew; Evans, Richard; Law, Mark: Inductive general game playing (2020)
  3. D’Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob: Probabilistic reasoning about epistemic action narratives (2020)
  4. Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan: Design and results of the second international competition on computational models of argumentation (2020)
  5. Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob: Inconsistency proofs for ASP: the ASP-DRUPE format (2019)
  6. Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco: Better paracoherent answer sets with less resources (2019)
  7. Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica: Incremental answer set programming with overgrounding (2019)
  8. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  9. Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin: A distributed approach to LARS stream reasoning (system paper) (2019)
  10. Ellmauthaler, Stefan (ed.); Schulz, Claudia (ed.): Introduction to the TPLP special issue on user-oriented logic programming and reasoning paradigms (2019)
  11. Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten: The return of \textitxorro (2019)
  12. Harrison, Amelia; Lifschitz, Vladimir: Relating two dialects of answer set programming (2019)
  13. Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao: A parallel memory-efficient epistemic logic program solver: harder, better, faster (2019)
  14. Lifschitz, Vladimir: Answer set programming (2019)
  15. Schüller, Peter: The Hexlite solver. Lightweight and efficient evaluation of HEX programs (2019)
  16. Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy: REBA: A refinement-based architecture for knowledge representation and reasoning in robotics (2019)
  17. van der Hallen, Matthias; Paramonov, Sergey; Janssens, Gerda; Denecker, Marc: Knowledge representation analysis of graph mining (2019)
  18. Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal: Constraint answer set programming without grounding (2018)
  19. Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Sellis, Timos; Tsai, Pei-Wei: A trajectory calculus for qualitative spatial reasoning using answer set programming (2018)
  20. Beck, Harald; Dao-Tran, Minh; Eiter, Thomas: LARS: a logic-based framework for analytic reasoning over streams (2018)

1 2 3 next