Decidable Reasoning in a Fragment of the Epistemic Situation Calculus.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full KR paper archive.