We have implemented a program called "world view solver" that computes
the world views for epistemic logic programs.
The executable program
"Wviews.exe" and a set of working programs can be downloaded from
here.
Please note that "Wviews" should be run together with "dlv" which is also available for download.
"Wviews" should be run under Windows. To run this program, you just put
both "Wviews.exe" and "dlv.exe" into the same
directory, and under
the command prompt, type "Wviews filename", where "filename" (for instance
"interview.txt") is a testing
epistemic logic program.
The syntax of the input epistemic logic programs can be easily identified from the provided working programs.