Wviews: A Worldview Solver for Epistemic Logic Programs. Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs. This software implements the theory in the 1994 paper ”Logic programming and reasoning with incomplete information” by Michael Gelfond in the Journal the Annals of Mathematics and Artificial Intelligence and the 2007 paper ”Epistemic Reasoning in Logic Programs” by Yan Zhang in the International Joint Conferences on Artificial Intelligence.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten: \texttteclingo: a solver for epistemic logic programs (2020)
- Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao: A parallel memory-efficient epistemic logic program solver: harder, better, faster (2019)