clasp

clasp: A conflict-driven answer set solver. clasp is part of the Potassco project hosted at SourceForge. Source code and pre-compiled binaries are available on the Potassco download page. clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB solver (on OPB format).


References in zbMATH (referenced in 55 articles )

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

1 2 3 next

  1. Merhej, Elie; Schockaert, Steven; De Cock, Martine: Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study (2017)
  2. Toda, Takahisa: Dualization of Boolean functions using ternary decision diagrams (2017)
  3. Doherty, Patrick; Kvarnström, Jonas; Szałas, Andrzej: Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract) (2016)
  4. Wen, Lian; Wang, Kewen; Shen, Yi-Dong; Lin, Fangzhen: A model for phase transition of random answer-set programs (2016)
  5. Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco: Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3 (2015)
  6. Erdem, Esra; Patoglu, Volkan; Saribatur, Zeynep Gozen: Diagnostic reasoning for robotics using action languages (2015)
  7. Heule, Marijn J.H.; Szeider, Stefan: A SAT approach to clique-width (2015)
  8. 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)
  9. Hoos, Holger; Lindauer, Marius; Schaub, Torsten: claspfolio 2: advances in algorithm selection for answer set programming (2014)
  10. Hurley, Barry; Kotthoff, Lars; Malitsky, Yuri; O’Sullivan, Barry: Proteus: a hierarchical portfolio of solvers and transformations (2014)
  11. Muggleton, Stephen H.; Lin, Dianhuan; Pahlavi, Niels; Tamaddoni-Nezhad, Alireza: Meta-interpretive learning: application to grammatical inference (2014)
  12. Andres, Benjamin; Gebser, Martin; Schaub, Torsten; Haubelt, Christian; Reimann, Felix; Glaß, Michael: Symbolic system synthesis using answer set programming (2013)
  13. Andres, Benjamin; Sauer, Matthias; Gebser, Martin; Schubert, Tobias; Becker, Bernd; Schaub, Torsten: Accurate computation of sensitizable paths using answer set programming (2013)
  14. Benhamou, Belaïd: Dynamic and static symmetry breaking in answer set programming (2013)
  15. 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)
  16. Gebser, Martin; Jost, Holger; Kaminski, Roland; Obermeier, Philipp; Sabuncu, Orkunt; Schaub, Torsten; Schneider, Marius: Ricochet robots: a transverse ASP benchmark (2013)
  17. Marple, Kyle; Gupta, Gopal: Galliwasp: a goal-directed answer set solver (2013)
  18. Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao: Iterative and core-guided maxsat solving: a survey and assessment (2013)
  19. Schüller, Peter: Flexible combinatory categorial grammar parsing using the CYK algorithm and answer set programming (2013)
  20. Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten: Conflict-driven answer set solving: from theory to practice (2012)

1 2 3 next