• D-FLAT

  • Referenced in 9 articles [sw09895]
  • experiments which show that ASP-based D-FLAT encodings for some problems outperform monolithic...
  • oClingo

  • Referenced in 12 articles [sw09321]
  • oClingo is a system for reactive answer set...