Pablo Sáez. Deductive Systems Representation and an Incompleteness Result in the Situation Calculus. In Alexander F. Gelbukh, Alvaro de Albornoz, Hugo Terashima-Marín, editors, MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings. Volume 3789 of Lecture Notes in Computer Science, pages 119-131, Springer, 2005. [doi]
Abstract is missing.