The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. (1991)

by R Reiter
Venue:In Lifschitz, V. (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy,