The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a completeness result for goal regression (1991)

by R REITER
Venue:Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy