• Smodels

  • Referenced in 239 articles [sw04631]
  • Smodels system is an Answer Set Programming (ASP) implementation based on the stable model semantics...
  • lpeq

  • Referenced in 5 articles [sw33087]
  • programs in the input language of smodels system. A list of related publications ... lpeq is designed to be used with smodels (versions 2.*) and the front-end lparse...
  • modopt

  • Referenced in 2 articles [sw33090]
  • developed in the context of the smodels system. In the experimental part, we study...
  • LAIMA

  • Referenced in 1 article [sw32207]
  • answer sets. In the implementation of our system we combine the extensibility of the JADE ... front-end to the Smodels answer set solver. The power of this approach is demonstrated ... multi-agent system reasoning about equilibria of extensive games with perfect information...
  • GraphBase

  • Referenced in 135 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • NP-SPEC: An executable specification language for solving...
  • Walksat

  • Referenced in 209 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • clasp

  • Referenced in 103 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp...
  • XSB

  • Referenced in 144 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...