s-Lifschitz-91-359 | Ray Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. [postscript] In: Vladimir Lifschitz (ed): Artificial Intelligence and the Mathematical Theory of Computation: Papers in Honor of J. McCarthy. Academic Press, 1991. |