{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T19:25:27Z","timestamp":1774639527977,"version":"3.50.1"},"reference-count":37,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1995,9,1]],"date-time":"1995-09-01T00:00:00Z","timestamp":809913600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":6537,"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":[[1995,9]]},"DOI":"10.1016\/0004-3702(94)00036-z","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T15:56:41Z","timestamp":1027612601000},"page":"249-284","source":"Crossref","is-referenced-by-count":59,"title":["A circumscriptive calculus of events"],"prefix":"10.1016","volume":"77","author":[{"given":"Murray","family":"Shanahan","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(94)00036-Z_BIB1","series-title":"Proceedings KR-89","first-page":"11","article-title":"A simple solution to the Yale shooting problem","author":"Baker","year":"1989"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB2","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00036-Z_BIB3","series-title":"Proceedings IJCAI-89","first-page":"906","article-title":"Temporal projection and explanation","author":"Baker","year":"1989"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB4","series-title":"Proceedings AAAI-92","first-page":"577","article-title":"Formalizing reasoning about change: a qualitative reasoning approach","author":"Crawford","year":"1992"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB5","series-title":"Proceedings KR-92","first-page":"47","article-title":"Infinite loops in finite time: some observations","author":"Davis","year":"1992"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB6","series-title":"Essays for Bledsoe","first-page":"167","article-title":"What are the limitations of the situation calculus?","author":"Gelfond","year":"1991"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB7","series-title":"Proceedings 1987 Workshop on the Frame Problem","first-page":"343","article-title":"The case for domain-specific frame axioms","author":"Haas","year":"1987"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB8","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":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00036-Z_BIB9","series-title":"Proceedings AAAI-87","first-page":"218","article-title":"Simple causal minimizations for temporal persistence and projection","author":"Haugh","year":"1987"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB10","series-title":"Proceedings AAAI-86","first-page":"401","article-title":"The logic of persistence","author":"Kautz","year":"1986"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","article-title":"A logic-based calculus of events","volume":"4","author":"Kowalski","year":"1986","journal-title":"New Gen. Comput."},{"key":"10.1016\/0004-3702(94)00036-Z_BIB12","series-title":"Proceedings AAAI-86","first-page":"406","article-title":"Pointwise circumscription: preliminary report","author":"Lifschitz","year":"1986"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB13","series-title":"Proceedings 1987 Workshop on the Frame Problem","first-page":"35","article-title":"Formal theories of action","author":"Lifshitz","year":"1987"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB14","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0004-3702(90)90021-Q","article-title":"Frames in the space of situations","volume":"46","author":"Lifschitz","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00036-Z_BIB15","series-title":"Proceedings KR-91","first-page":"376","article-title":"Toward a metatheory of action","author":"Lifschitz","year":"1991"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB16","first-page":"297","article-title":"Circumscription","author":"Lifschitz","year":"1994"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB17","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(89)90059-3","article-title":"Miracles in formal theories of action","volume":"38","author":"Lifschitz","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00036-Z_BIB18","series-title":"Proceedings AAAI-91","first-page":"349","article-title":"Provably correct theories of action","author":"Lin","year":"1991"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB19","series-title":"Proceedings AAAI-92","first-page":"590","article-title":"Concurrent actions in the situation calculus","author":"Lin","year":"1992"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB20","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1207\/s15516709cog1103_2","article-title":"Response to Hanks and McDermott: temporal evolution of beliefs and beliefs about temporal evolution","volume":"11","author":"Loui","year":"1987","journal-title":"Cognitive Sci."},{"key":"10.1016\/0004-3702(94)00036-Z_BIB21","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014a form of non-monotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00036-Z_BIB22","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing common sense knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00036-Z_BIB23","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"McCarthy","year":"1969"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB24","series-title":"The Robot's Dilemma: The Frame Problem in Artificial Intelligence","first-page":"113","article-title":"We've been framed: or why AI is innocent of the frame problem","author":"McDermott","year":"1987"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB25","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1093\/logcom\/4.5.513","article-title":"Narratives in the situation calculus","volume":"4","author":"Miller","year":"1994","journal-title":"J. Logic Comput."},{"key":"10.1016\/0004-3702(94)00036-Z_BIB26","series-title":"Proceedings AAAI-88","first-page":"518","article-title":"Why things go wrong: a formal theory of causal reasoning","author":"Morgenstern","year":"1988"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB27","series-title":"Proceedings Tenth International Conference on Logic Programming","first-page":"203","article-title":"Temporal reasoning in logic programming: a case for the situation calculus","author":"Pinto","year":"1993"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB28","series-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honour 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\/0004-3702(94)00036-Z_BIB29","series-title":"Proceedings KR-89","first-page":"412","article-title":"Combining logic and differential equations for describing real-world systems","author":"Sandewall","year":"1989"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB30","series-title":"Proceedings IJCAI-89","first-page":"894","article-title":"Filter preferential entailment for the logic of action in almost continuous worlds","author":"Sandewall","year":"1989"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB31","article-title":"Features and fluents","author":"Sandewall","year":"1992"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB32","series-title":"Proceedings IJCAI-93","first-page":"738","article-title":"The range of applicability of nonmonotonic logics for the inertia problem","author":"Sandewall","year":"1993"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB33","series-title":"Knowledge Representation and Defeasible Reasoning","first-page":"23","article-title":"Monotonic solution of the frame problem in the situation calculus","author":"Schubert","year":"1989"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB34","series-title":"Proceedings IJCAI-89","first-page":"1055","article-title":"Prediction is deduction but explanation is abduction","author":"Shanahan","year":"1989"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB35","series-title":"Proceedings ECAI-90","first-page":"598","article-title":"Representing continuous change in the event calculus","author":"Shanahan","year":"1990"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB36","series-title":"Proceedings IJCAI-93","first-page":"160","article-title":"Explanation in the situation calculus","author":"Shanahan","year":"1993"},{"key":"10.1016\/0004-3702(94)00036-Z_BIB37","author":"Shoham","year":"1988"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029400036Z?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029400036Z?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T16:26:18Z","timestamp":1556295978000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029400036Z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,9]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,9]]}},"alternative-id":["000437029400036Z"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)00036-z","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1995,9]]}}}