• GNT

  • Referenced in 22 articles [sw00367]
  • GnT is an experimental implementation of the stable...
  • Smodels

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