• NP-SPEC

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

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

  • Referenced in 186 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce...