The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Reiter, R. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, 1991. bibtex 7 downloads @incollection{Reiter:1991,
author = "Reiter, R.",
year = 1991,
title = "The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression",
booktitle = "Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy",
editor = "Lifschitz, Vladimir",
publisher = academic,
_address = academic-ad,
_pages = "359--380"
}