Results 1 to 3 of 3
Sort by:

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