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"
}
Downloads: 7
{"_id":{"_str":"534279620e946d920a00157a"},"__v":1,"authorIDs":[],"author_short":["Reiter, R."],"bibbaseid":"reiter-theframeprobleminthesituationcalculusasimplesolutionsometimesandacompletenessresultforgoalregression-1991","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["R."],"suffixes":[]}],"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":[{"propositions":[],"lastnames":["Lifschitz"],"firstnames":["Vladimir"],"suffixes":[]}],"publisher":"Academic Press","_address":"New York","_pages":"359–380","bibtex":"@incollection{Reiter:1991,\n\tauthor = \"Reiter, R.\",\n\tyear = 1991,\n\ttitle = \"The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression\",\n\tbooktitle = \"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy\",\n\teditor = \"Lifschitz, Vladimir\",\n\tpublisher = academic,\n\t_address = academic-ad,\n _pages = \"359--380\"\n}\n\n","author_short":["Reiter, R."],"editor_short":["Lifschitz, V."],"key":"Reiter:1991","id":"Reiter:1991","bibbaseid":"reiter-theframeprobleminthesituationcalculusasimplesolutionsometimesandacompletenessresultforgoalregression-1991","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":7,"html":""},"bibtype":"incollection","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","downloads":8,"keywords":[],"search_terms":["frame","problem","situation","calculus","simple","solution","sometimes","completeness","result","goal","regression","reiter"],"title":"The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression","year":1991,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha","cx4WvnDhXJhiLqdQo"]}