• GI-log

  • Referenced in 3 articles [sw28522]
  • Logic programming with graded introspection. This paper develops...
  • selp

  • Referenced in 8 articles [sw31006]
  • selp - A Single-Shot Epistemic Logic Program Solver...
  • Wviews

  • Referenced in 2 articles [sw31007]
  • Wviews: A Worldview Solver for Epistemic Logic Programs...
  • EHEX

  • Referenced in 1 article [sw31008]
  • EHEX Solver: HEX-Programs with Epistemic Negation...
  • ESmodels

  • Referenced in 1 article [sw31010]
  • ESmodels: an epistemic specification solver. ESmodels is designed...
  • ESParser

  • Referenced in 1 article [sw31011]
  • ESParser: an epistemic specification grounder. As an extension...
  • ELPS

  • Referenced in 1 article [sw31013]
  • ELPS: epistemic logic programs with sorts...
  • eclingo

  • Referenced in 4 articles [sw39883]
  • eclingo : A Solver for Epistemic Logic Programs. We...