2015 IJCAI IJCAI 2015

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