Liangda Fang, Yongmei Liu, Ximing Wen. On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 2955-2963, AAAI Press, 2015. [doi]
Abstract is missing.