• 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...