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 66 articles , 2 standard articles )

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

1 2 3 4 next

  1. Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Papadakis, Emmanuel: A generalised approach for encoding and reasoning with qualitative theories in answer set programming (2020)
  2. Bichler, Manuel; Morak, Michael; Woltran, Stefan: lpopt: a rule optimization tool for answer set programming (2020)
  3. Burigana, Alessandro; Fabiano, Francesco; Dovier, Agostino; Pontelli, Enrico: Modelling multi-agent epistemic planning in ASP (2020)
  4. Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna: Towards metric temporal answer set programming (2020)
  5. Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten: \texttteclingo: a solver for epistemic logic programs (2020)
  6. Chai, Xinwei; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi: Static analysis and stochastic search for reachability problem (2020)
  7. Confalonieri, Roberto; Kutz, Oliver: Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (2020)
  8. Cropper, Andrew; Evans, Richard; Law, Mark: Inductive general game playing (2020)
  9. D’Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob: Probabilistic reasoning about epistemic action narratives (2020)
  10. Dodaro, Carmine; Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin: Managing caching strategies for stream reasoning with reinforcement learning (2020)
  11. Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan: Design and results of the second international competition on computational models of argumentation (2020)
  12. Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica: Incremental maintenance of overgrounded logic programs with tailored simplifications (2020)
  13. Taupe, Richard; Weinzierl, Antonius; Friedrich, Gerhard: Conflict generalisation in ASP: learning correct and effective non-ground constraints (2020)
  14. Weinzierl, Antonius; Taupe, Richard; Friedrich, Gerhard: Advancing lazy-grounding ASP solving techniques -- restarts, phase saving, heuristics, and more (2020)
  15. Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob: Inconsistency proofs for ASP: the ASP-DRUPE format (2019)
  16. Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco: Better paracoherent answer sets with less resources (2019)
  17. Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica: Incremental answer set programming with overgrounding (2019)
  18. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  19. Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin: A distributed approach to LARS stream reasoning (system paper) (2019)
  20. Ellmauthaler, Stefan (ed.); Schulz, Claudia (ed.): Introduction to the TPLP special issue on user-oriented logic programming and reasoning paradigms (2019)

1 2 3 4 next