Wviews

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.