Denis Ponomaryov, Mikhail Soutchanski. Progression of Decomposed Situation Calculus Theories. In Marie desJardins, Michael L. Littman, editors, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2012, Bellevue, Washington, USA. pages 810-817, AAAI Press, 2013. [doi]
Abstract is missing.