Results 1 to 2 of 2
Sort by:

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