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

by Raymond Reiter
Venue:Artificial Intelligence andMathematical Theory of Computation