• Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • SATCHMO

  • Referenced in 97 articles [sw06619]
  • SATCHMO: a theorem prover implemented in Prolog. The...
  • Clingo

  • Referenced in 104 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...
  • XSB

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

  • Referenced in 50 articles [sw14002]
  • SWRL: A Semantic Web Rule Language Combining OWL...
  • eclingo

  • Referenced in 4 articles [sw39883]
  • eclingo : A Solver for Epistemic Logic Programs. We...