Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

Open in new window