Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos. Progression and verification of situation calculus agents with bounded beliefs. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 141-148, IFAAMAS/ACM, 2014. [doi]
Abstract is missing.