Raymond Reiter. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In Vladimir Lifschitz, editor, Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday. pages 359-380, Academic Press / Elsevier, 1991. [doi]
@inproceedings{Reiter91-0,
title = {The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression},
author = {Raymond Reiter},
year = {1991},
doi = {10.1016/b978-0-12-450010-5.50026-8},
url = {https://doi.org/10.1016/b978-0-12-450010-5.50026-8},
researchr = {https://researchr.org/publication/Reiter91-0},
cites = {0},
citedby = {0},
pages = {359-380},
booktitle = {Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday},
editor = {Vladimir Lifschitz},
publisher = {Academic Press / Elsevier},
isbn = {978-0-12-450010-5},
}