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

Showing results 21 to 40 of 90.
Sorted by year (citations)
  1. Alviano, Mario; Dodaro, Carmine: Anytime answer set optimization via unsatisfiable core shrinking (2016)
  2. Bischl, Bernd; Kerschke, Pascal; Kotthoff, Lars; Lindauer, Marius; Malitsky, Yuri; Fréchette, Alexandre; Hoos, Holger; Hutter, Frank; Leyton-Brown, Kevin; Tierney, Kevin; Vanschoren, Joaquin: ASlib: a benchmark library for algorithm selection (2016)
  3. Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab: Stable-unstable semantics: beyond NP with normal logic programs (2016)
  4. Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten: Answer set programming modulo acyclicity (2016)
  5. Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco: Design and results of the Fifth Answer Set Programming Competition (2016)
  6. Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn: Combining answer set programming and domain heuristics for solving hard industrial problems (application paper) (2016)
  7. Doherty, Patrick; Kvarnström, Jonas; Szałas, Andrzej: Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract) (2016)
  8. Wen, Lian; Wang, Kewen; Shen, Yi-Dong; Lin, Fangzhen: A model for phase transition of random answer-set programs (2016)
  9. Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten: Answer set programming modulo acyclicity (2015)
  10. 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)
  11. Calautti, Marco; Greco, Sergio; Spezzano, Francesca; Trubitsyna, Irina: Checking termination of bottom-up evaluation of logic programs with function symbols (2015)
  12. Erdem, Esra; Oztok, Umut: Generating explanations for biomedical queries (2015)
  13. Erdem, Esra; Patoglu, Volkan; Saribatur, Zeynep Gozen: Diagnostic reasoning for robotics using action languages (2015)
  14. Fichte, Johannes Klaus; Szeider, Stefan: Backdoors to tractable answer set programming (2015)
  15. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Romero, Javier; Schaub, Torsten: Progress in clasp series 3 (2015)
  16. Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten: Ricochet Robots reloaded: a case-study in multi-shot ASP solving (2015)
  17. Heule, Marijn J. H.; Szeider, Stefan: A SAT approach to clique-width (2015)
  18. 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)
  19. Abseher, Michael; Bliem, Bernhard; Charwat, Günther; Dusberger, Frederico; Hecher, Markus; Woltran, Stefan: The D-FLAT system for dynamic programming on tree decompositions (2014)
  20. Hoos, Holger; Lindauer, Marius; Schaub, Torsten: \textttclaspfolio2: advances in algorithm selection for answer set programming (2014)