{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:27:44Z","timestamp":1777894064957,"version":"3.51.4"},"reference-count":44,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3827,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1016\/s0004-3702(02)00365-x","type":"journal-article","created":{"date-parts":[[2003,3,4]],"date-time":"2003-03-04T09:05:18Z","timestamp":1046768718000},"page":"1-39","source":"Crossref","is-referenced-by-count":126,"title":["Knowledge, action, and the frame problem"],"prefix":"10.1016","volume":"144","author":[{"given":"Richard B.","family":"Scherl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(02)00365-X_BIB001","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","article-title":"Reasoning about noisy sensors and effectors in the situation calculus","volume":"111","author":"Bacchus","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB002","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","article-title":"Formalizing sensing actions\u2014A transition function based approach","volume":"125","author":"Baral","year":"2001","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB003","series-title":"Handbook of Philosophical Logic, Vol. II, Chapter 1","first-page":"1","article-title":"Basic modal logic","author":"Bull","year":"1984"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB004","series-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB005","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference","first-page":"115","article-title":"An approach to planning with incomplete information","author":"Etzioni","year":"1992"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB006","series-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB007","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference","first-page":"196","article-title":"A general framework for modal deduction","author":"Frisch","year":"1991"},{"issue":"1","key":"10.1016\/S0004-3702(02)00365-X_BIB008","article-title":"Representing knowledge within the situation calculus using interval-valued epistemic fluents","volume":"5","author":"Funge","year":"1999","journal-title":"J. Reliable Comput."},{"key":"10.1016\/S0004-3702(02)00365-X_BIB009","series-title":"Proc. IJCAI-99, Stockholm, Sweden","first-page":"160","article-title":"Projecting using regression and sensors","author":"De Giacomo","year":"1999"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB010","series-title":"Logical Foundations for Cognitive Agents: Contributions in honor of Ray Reiter","first-page":"86","article-title":"An incremental interpreter for high-level programs with sensing","author":"De Giacomo","year":"1999"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB011","series-title":"The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop","first-page":"343","article-title":"The case for domain-specific frame axioms","author":"Haas","year":"1987"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB012","series-title":"An Introduction to Modal Logic","author":"Hughes","year":"1968"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB013","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philos. Fenn."},{"key":"10.1016\/S0004-3702(02)00365-X_BIB014","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98)","first-page":"316","article-title":"AOL: A logic of acting, sensing, knowing and only-knowing","author":"Lakemeyer","year":"1998"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB015","series-title":"Logical Foundations for Cognitive Agents: Contributions in honor of Ray Reiter","first-page":"173","article-title":"On sensing and off-line interpreting in GOLOG","author":"Lakemeyer","year":"1999"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB016","series-title":"Proc. AAAI-90, Boston, MA","first-page":"1030","article-title":"Indexical knowledge in robot plans","author":"Lesp\u00e9rance","year":"1990"},{"issue":"1","key":"10.1016\/S0004-3702(02)00365-X_BIB017","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1026761331498","article-title":"Ability and knowing how in the situation calculus","volume":"66","author":"Lesp\u00e9rance","year":"2000","journal-title":"Studia Logica"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB018","unstructured":"Y. Lesp\u00e9rance, A formal theory of indexical knowledge and action, PhD Thesis, University of Toronto, January 1991"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB019","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","article-title":"GOLOG: A logic programming language for dynamic domains","volume":"31","author":"Levesque","year":"1997","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB020","series-title":"Proc. AAAI-96, Portland, OR","first-page":"1139","article-title":"What is planning in the presence of sensing?","author":"Levesque","year":"1996"},{"issue":"5","key":"10.1016\/S0004-3702(02)00365-X_BIB021","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","article-title":"State constraints revisited","volume":"4","author":"Lin","year":"1994","journal-title":"J. Logic Comput."},{"issue":"2","key":"10.1016\/S0004-3702(02)00365-X_BIB022","first-page":"129","article-title":"Knowledge and the action description language A","volume":"1","author":"Lobo","year":"2001","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB023","series-title":"Machine Intelligence 4","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","author":"McCarthy","year":"1969"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB024","series-title":"Semantic Information Processing","first-page":"403","article-title":"Programs with common sense","author":"McCarthy","year":"1968"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB025","series-title":"Proc. AAAI-00, Austin, TX","first-page":"483","article-title":"What sensing tells us: Towards a formal theory of testing for dynamical systems","author":"McIlraith","year":"2000"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB026","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0004-3702(99)00087-9","article-title":"Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)","volume":"116","author":"McIlraith","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB027","unstructured":"R.C. Moore, Reasoning about knowledge and action, Technical Note 191, SRI International, Menlo Park, CA, October 1980"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB028","series-title":"Formal Theories of the Commonsense World","first-page":"319","article-title":"A formal theory of knowledge and action","author":"Moore","year":"1985"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB029","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"324","article-title":"ADL: Exploring the middle ground between STRIPS and the situation calculus","author":"Pednault","year":"1989"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB030","series-title":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR2002)","first-page":"303","article-title":"Knowledge equivalence in combined action theories","author":"Petrick","year":"2002"},{"issue":"3","key":"10.1016\/S0004-3702(02)00365-X_BIB031","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/316542.316545","article-title":"Some contributions to the metatheory of the situation calculus","volume":"46","author":"Pirri","year":"1999","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB032","series-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","first-page":"359","article-title":"The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression","author":"Reiter","year":"1991"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB033","series-title":"Proceedings of the First International Conference on AI Planning Systems, College Park, MD","first-page":"198","article-title":"The projection problem in the situation calculus: A soundness and completeness result, with an application to database updates","author":"Reiter","year":"1992"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB034","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","article-title":"Proving properties of states in the situation calculus","volume":"64","author":"Reiter","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB035","series-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"issue":"4","key":"10.1016\/S0004-3702(02)00365-X_BIB036","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1145\/383779.383780","article-title":"On knowledge-based programming with sensing in the situation calculus","volume":"2","author":"Reiter","year":"2001","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB037","series-title":"The Foundations of Statistics","author":"Savage","year":"1954"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB038","series-title":"Proc. AAAI-93, Washington, DC","first-page":"689","article-title":"The frame problem and knowledge producing actions","author":"Scherl","year":"1993"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB039","series-title":"Proceedings of BISFAI'95: The Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence, Ramat Gan and Jerusalem, Israel","first-page":"86","article-title":"The situation calculus with sensing and indexical knowledge","author":"Scherl","year":"1995"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB040","unstructured":"R. Scherl, A constraint logic approach to automated modal deduction, PhD Thesis, University of Illinois, 1992"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB041","series-title":"Knowledge Representation and Defeasible Reasoning","first-page":"23","article-title":"Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions","author":"Schubert","year":"1990"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB042","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-2000)","first-page":"527","article-title":"Iterated belief change in the situation calculus","author":"Shapiro","year":"2000"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB043","series-title":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR-2000)","first-page":"109","article-title":"Representing the knowledge of a robot","author":"Thielscher","year":"2000"},{"key":"10.1016\/S0004-3702(02)00365-X_BIB044","series-title":"Intelligent Agents VII: Proceedings of the 2000 Workshop on Agent Theories, Architectures, and Languages (ATAL-2000)","first-page":"31","article-title":"Knowledge, time, and concurrency in the situation calculus","volume":"1986","author":"Zimmerbaum","year":"2001"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S000437020200365X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S000437020200365X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T03:54:15Z","timestamp":1553918055000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S000437020200365X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":44,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["S000437020200365X"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(02)00365-x","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}