Timothy Joseph Cerexhe, Maurice Pagnucco. Executability in the Situation Calculus. In Dianhui Wang, Mark Reynolds, editors, AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings. Volume 7106 of Lecture Notes in Computer Science, pages 677-686, Springer, 2011. [doi]
Abstract is missing.