"Decidable Reasoning in a Fragment of the Epistemic Situation Calculus."

Gerhard Lakemeyer, Hector J. Levesque (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics