@incollection{ Reiter91-SolFP, publisher = {Academic Press} } , title = {The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression} } , url = {simple.pdf} } , booktitle = {Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy} } , author = {Reiter, Ray} } , year = {1991} } , ps = {http://www.cs.toronto.edu/cogrobo/Papers/simple.ps} } , editor = {Vladimir Lifschitz} } , key = {CogRobo} } , address = {San Diego, CA} } , opturl = {http://www.cs.toronto.edu/cogrobo/Papers/simple.ps.gz} } , pdf = {http://www.cs.toronto.edu/cogrobo/Papers/simple.pdf} } , pages = {359--380} }