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

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

1 2 3 4 next

  1. Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp: Train scheduling with hybrid answer set programming (2021)
  2. Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro: Manipulation of articulated objects using dual-arm robots via answer set programming (2021)
  3. Calimeri, Francesco; Cauteruccio, Francesco; Cinelli, Luca; Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio; Durand-Dubief, Françoise; Sappey-Marinier, Dominique: A logic-based framework leveraging neural networks for studying the evolution of neurological disorders (2021)
  4. Eiter, Thomas; Kaminski, Tobias: Pruning external minimality checking for answer set programs using semantic dependencies (2021)
  5. 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)
  6. Bichler, Manuel; Morak, Michael; Woltran, Stefan: lpopt: a rule optimization tool for answer set programming (2020)
  7. Bichler, Manuel; Morak, Michael; Woltran, Stefan: selp: a single-shot epistemic logic program solver (2020)
  8. Bomanson, Jori; Janhunen, Tomi: Boosting answer set optimization with weighted comparator networks (2020)
  9. Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan: Solving advanced argumentation problems with answer set programming (2020)
  10. Burigana, Alessandro; Fabiano, Francesco; Dovier, Agostino; Pontelli, Enrico: Modelling multi-agent epistemic planning in ASP (2020)
  11. Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna: Towards metric temporal answer set programming (2020)
  12. Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis: Autoepistemic answer set programming (2020)
  13. Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten: \texttteclingo: a solver for epistemic logic programs (2020)
  14. Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica: Technical note. Efficiently coupling the (\mathscrI)-DLV grounder with ASP solvers (2020)
  15. 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)
  16. Chai, Xinwei; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi: Static analysis and stochastic search for reachability problem (2020)
  17. Confalonieri, Roberto; Kutz, Oliver: Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (2020)
  18. Cropper, Andrew; Evans, Richard; Law, Mark: Inductive general game playing (2020)
  19. D’Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob: Probabilistic reasoning about epistemic action narratives (2020)
  20. Dodaro, Carmine; Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin: Managing caching strategies for stream reasoning with reinforcement learning (2020)

1 2 3 4 next