2015 IJCAI IJCAI 2015

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus