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

Liangda Fang, Yongmei Liu, Ximing Wen

Browse the full IJCAI paper archive.