{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:27:26Z","timestamp":1762100846200,"version":"build-2065373602"},"reference-count":38,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444522115"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1016\/s1574-6526(07)03016-7","type":"book-chapter","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T16:06:55Z","timestamp":1221235615000},"page":"649-669","source":"Crossref","is-referenced-by-count":14,"title":["Chapter 16 Situation Calculus"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(07)03016-7_bib001","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","article-title":"Using temporal logics to express search control knowledge for planning","volume":"16","author":"Bacchus","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03016-7_bib002","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","article-title":"Nonmonotonic reasoning in the framework of the situation calculus","volume":"49","author":"Baker","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03016-7_bib003","first-page":"79","article-title":"Formal description of program structure and semantics in first-order logic","volume":"vol. 5","author":"Burstall","year":"1969"},{"key":"10.1016\/S1574-6526(07)03016-7_bib004","series-title":"Logics and Databases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/S1574-6526(07)03016-7_bib005","unstructured":"J. Finger. Exploiting constraints in design synthesis. PhD thesis, Department of Computer Science, Stanford University Stanford, CA, 1986"},{"year":"1987","series-title":"Readings in Nonmonotonic Reasoning","author":"Ginsberg","key":"10.1016\/S1574-6526(07)03016-7_bib006"},{"key":"10.1016\/S1574-6526(07)03016-7_bib007","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","article-title":"Reasoning about action II: The qualification problem","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03016-7_bib008","doi-asserted-by":"crossref","unstructured":"C.C. Green. Application of theorem proving to problem solving. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-69), pages 219\u2013239, 1969","DOI":"10.21236\/ADA459656"},{"key":"10.1016\/S1574-6526(07)03016-7_bib009","doi-asserted-by":"crossref","unstructured":"A.R. Haas. The case for domain-specific frame axioms. In F.M. Brown, editor, The Frame Problem in Artificial Intelligence. Proceedings of the 1987 Workshop on Reasoning about Action, pages 343\u2013348. Morgan Kaufmann Publishers, Inc, San Jose, CA, 1987","DOI":"10.1016\/B978-0-934613-32-3.50026-5"},{"key":"10.1016\/S1574-6526(07)03016-7_bib010","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","article-title":"Nonmonotonic logic and temporal projection","volume":"33","author":"Hanks","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03016-7_bib011","article-title":"First-Order Dynamic Logic","volume":"vol. 68","author":"Harel","year":"1979"},{"key":"10.1016\/S1574-6526(07)03016-7_bib012","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":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(07)03016-7_bib013","series-title":"Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86)","first-page":"406","article-title":"Pointwise circumscription","author":"Lifschitz","year":"1986"},{"key":"10.1016\/S1574-6526(07)03016-7_bib014","unstructured":"V. Lifschitz. Formal theories of action. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 966\u2013972, 1987"},{"key":"10.1016\/S1574-6526(07)03016-7_bib015","series-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95)","first-page":"1985","article-title":"Embracing causality in specifying the indirect effects of actions","author":"Lin","year":"1995"},{"key":"10.1016\/S1574-6526(07)03016-7_bib016","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/S0004-3702(98)00054-X","article-title":"Applications of the situation calculus to formalizing control and strategic information: The Prolog cut operator","volume":"103","author":"Lin","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03016-7_bib017","series-title":"Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter","first-page":"213","article-title":"Search algorithms in the situation calculus","author":"Lin","year":"1999"},{"key":"10.1016\/S1574-6526(07)03016-7_bib018","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1613\/jair.1135","article-title":"Compiling causal theories to successor state axioms and STRIPS-like systems","volume":"19","author":"Lin","year":"2003","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"5","key":"10.1016\/S1574-6526(07)03016-7_bib019","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":"Journal of Logic and Computation"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(07)03016-7_bib020","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0743-1066(96)00122-7","article-title":"Rules as actions: A situation calculus semantics for logic programs","volume":"31","author":"Lin","year":"1997","journal-title":"J. of Logic Programming"},{"issue":"2","key":"10.1016\/S1574-6526(07)03016-7_bib021","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/201019.201021","article-title":"Provably correct theories of action","volume":"42","author":"Lin","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(07)03016-7_bib022","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/BF00264494","article-title":"Problematic features of programming languages: A situational-calculus approach","volume":"16","author":"Manna","year":"1981","journal-title":"Acta Informatica"},{"key":"10.1016\/S1574-6526(07)03016-7_bib023","unstructured":"Z. Manna and R. Waldinger. The deductive synthesis of imperative LISP programs. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 155\u2013160, Seattle, WA, 1987"},{"key":"10.1016\/S1574-6526(07)03016-7_bib024","series-title":"Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97)","first-page":"460","article-title":"Causal theories of action and change","author":"McCain","year":"1997"},{"key":"10.1016\/S1574-6526(07)03016-7_bib025","series-title":"Semantic Information Processing","first-page":"410","article-title":"Situations, actions and causal laws","author":"McCarthy","year":"1968"},{"key":"10.1016\/S1574-6526(07)03016-7_bib026","unstructured":"J. McCarthy. Epistemological problems of Artificial Intelligence. In IJCAI-77, pages 1038\u20131044, Cambridge, MA, 1977"},{"key":"10.1016\/S1574-6526(07)03016-7_bib027","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing commonsense knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03016-7_bib028","unstructured":"J. McCarthy. Actions and other events in situation calculus. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 615\u2013628, 2002"},{"key":"10.1016\/S1574-6526(07)03016-7_bib029","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"vol. 4","author":"McCarthy","year":"1969"},{"year":"1980","series-title":"Principles of Artificial Intelligence","author":"Nilsson","key":"10.1016\/S1574-6526(07)03016-7_bib030"},{"key":"10.1016\/S1574-6526(07)03016-7_bib031","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89)","first-page":"324","article-title":"ADL: Exploring the middle ground between STRIPS and the situation calculus","author":"Pednault","year":"1989"},{"issue":"3","key":"10.1016\/S1574-6526(07)03016-7_bib032","doi-asserted-by":"crossref","first-page":"325","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\/S1574-6526(07)03016-7_bib033","series-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","first-page":"418","article-title":"The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression","author":"Reiter","year":"1991"},{"year":"2001","series-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","key":"10.1016\/S1574-6526(07)03016-7_bib034"},{"key":"10.1016\/S1574-6526(07)03016-7_bib035","article-title":"Features and Fluents","volume":"vol. I","author":"Sandewall","year":"1994"},{"key":"10.1016\/S1574-6526(07)03016-7_bib036","series-title":"Knowledge Representation and Defeasible Reasoning","first-page":"23","article-title":"Monotonic solution to the frame problem in the situation calculus: an efficient method for worlds with fully specified actions","author":"Schubert","year":"1990"},{"key":"10.1016\/S1574-6526(07)03016-7_bib037","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0004-3702(88)90085-9","article-title":"Chronological ignorance: experiments in nonmonotonic temporal reasoning","volume":"36","author":"Shoham","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03016-7_bib038","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","article-title":"Ramification and causality","volume":"89","author":"Thielscher","year":"1997","journal-title":"Artificial Intelligence"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Knowledge Representation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652607030167?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652607030167?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:57:12Z","timestamp":1761620232000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652607030167"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780444522115"],"references-count":38,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(07)03016-7","relation":{},"ISSN":["1574-6526"],"issn-type":[{"type":"print","value":"1574-6526"}],"subject":[],"published":{"date-parts":[[2008]]}}}