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