• Smodels

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

  • Referenced in 89 articles [sw06185]
  • This software promotes some general and useful tools...
  • darch

  • Referenced in 138 articles [sw11086]
  • darch: Package for deep architectures and Restricted-Bolzmann...
  • MaTest

  • Referenced in 10 articles [sw11873]
  • MaTest is a logical matrix tester, a useful...
  • PRISM

  • Referenced in 29 articles [sw23359]
  • PRISM: A language for symbolic-statistical modeling. We...