{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T22:53:56Z","timestamp":1777676036031,"version":"3.51.4"},"reference-count":115,"publisher":"Elsevier","isbn-type":[{"value":"9780444522115","type":"print"}],"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)03017-9","type":"book-chapter","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T16:06:55Z","timestamp":1221235615000},"page":"671-708","source":"Crossref","is-referenced-by-count":28,"title":["Chapter 17 Event Calculus"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(07)03017-9_bib001","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.artint.2003.08.002","article-title":"Representing the zoo world and the traffic world in the language of the causal calculator","volume":"153","author":"Akman","year":"2004","journal-title":"Artificial Intelligence"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(07)03017-9_bib002","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","article-title":"Nonmonotonic reasoning in the framework of situation calculus","volume":"49","author":"Baker","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib003","series-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"Baral","year":"2003"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(07)03017-9_bib004","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/j.artint.2003.02.001","article-title":"A unifying semantics for time and events","volume":"153","author":"Bennett","year":"2004","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(07)03017-9_bib005","article-title":"Editor's preface","volume":"13","author":"Bobrow","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib006","unstructured":"A. Bracciali and A.C. Kakas. Frame consistency: Computing with causal explanations. In J.P. Delgrande and T. Schaub, editors, Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning, pages 79\u201387. Whistler, Canada, 2004"},{"key":"10.1016\/S1574-6526(07)03017-9_bib007","series-title":"Nonmonotonic Reasoning: An Overview","author":"Brewka","year":"1997"},{"key":"10.1016\/S1574-6526(07)03017-9_bib008","unstructured":"F.M. Brown, editor. The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop, Los Altos, CA, 1987. Morgan Kaufmann"},{"issue":"2","key":"10.1016\/S1574-6526(07)03017-9_bib009","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1111\/0824-7935.00115","article-title":"A guided tour through some extensions of the event calculus","volume":"16","author":"Cervesato","year":"2000","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib010","series-title":"Database and Expert Systems Applications","first-page":"222","article-title":"Formalizing workflows using the event calculus","volume":"vol. 1873","author":"Cicekli","year":"2000"},{"key":"10.1016\/S1574-6526(07)03017-9_bib011","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/S1574-6526(07)03017-9_bib012","unstructured":"M. Denecker, L. Missiaen, and M. Bruynooghe. Temporal reasoning with abductive event calculus. In B. Neumann, editor, Proceedings of the Tenth European Conference on Artificial Intelligence, pages 384\u2013388, Chichester, UK, 1992. John Wiley"},{"key":"10.1016\/S1574-6526(07)03017-9_bib013","series-title":"Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning","first-page":"61","article-title":"Reasoning about actions and change in answer set programming","volume":"vol. 2923","author":"Dimopoulos","year":"2004"},{"key":"10.1016\/S1574-6526(07)03017-9_bib014","unstructured":"P. Doherty. Reasoning about action and change using occlusion. In A.G. Cohn, editor, Proceedings of the Eleventh European Conference on Artificial Intelligence, pages 401\u2013405, Chichester, UK, 1994. John Wiley"},{"key":"10.1016\/S1574-6526(07)03017-9_bib015","series-title":"Temporal Logic","first-page":"82","article-title":"Circumscribing features and fluents","volume":"vol. 827","author":"Doherty","year":"1994"},{"issue":"3","key":"10.1016\/S1574-6526(07)03017-9_bib016","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1023\/A:1005722130532","article-title":"Computing circumscription revisited: A reduction algorithm","volume":"18","author":"Doherty","year":"1997","journal-title":"Journal of Automated Reasoning"},{"key":"10.1016\/S1574-6526(07)03017-9_bib017","first-page":"562","article-title":"Abductive planning with event calculus","volume":"vol. 1","author":"Eshghi","year":"1988"},{"issue":"2\u20133","key":"10.1016\/S1574-6526(07)03017-9_bib018","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1142\/S0218843005001110","article-title":"Using the event calculus for tracking the normative state of contracts","volume":"14","author":"Farrell","year":"2005","journal-title":"International Journal of Cooperative Information Systems"},{"key":"10.1016\/S1574-6526(07)03017-9_bib019","unstructured":"J.J. Finger. Exploiting constraints in design synthesis. PhD thesis, Department of Computer Science, Stanford University, Stanford, CA, 1987"},{"key":"10.1016\/S1574-6526(07)03017-9_bib020","first-page":"1070","article-title":"The stable model semantics for logic programming","volume":"vol. 2","author":"Gelfond","year":"1988"},{"issue":"3\u20134","key":"10.1016\/S1574-6526(07)03017-9_bib021","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical negation in logic programs and disjunctive databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"issue":"2\u20134","key":"10.1016\/S1574-6526(07)03017-9_bib022","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","article-title":"Representing action and change by logic programs","volume":"17","author":"Gelfond","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(07)03017-9_bib023","series-title":"Logical Foundations of Artificial Intelligence","author":"Genesereth","year":"1987"},{"issue":"2","key":"10.1016\/S1574-6526(07)03017-9_bib024","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","article-title":"Reasoning about action I: A possible worlds approach","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib025","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","article-title":"Nonmonotonic causal theories","volume":"153","author":"Giunchiglia","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib026","unstructured":"E. Giunchiglia and V. Lifschitz. An action language based on causal explanation: Preliminary report. In Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Conference on Innovative Applications of Artificial Intelligence, pages 623\u2013630, Menlo Park, CA, 1998. AAAI Press"},{"key":"10.1016\/S1574-6526(07)03017-9_bib027","doi-asserted-by":"crossref","unstructured":"E. Giunchiglia and R. Sebastiani. Applying the Davis\u2013Putnam procedure to non-clausal formulas. In Proceedings of the Sixth Congress of the Italian Association for Artificial Intelligence, Bologna, 1999","DOI":"10.1007\/3-540-46238-4_8"},{"key":"10.1016\/S1574-6526(07)03017-9_bib028","unstructured":"B. Grosof. Default reasoning as circumscription: A translation of default logic into circumscription or maximizing defaults is minimizing predicates. In Proceedings of the Non-Monotonic Reasoning Workshop, pages 115\u2013124, Menlo Park, CA, 1984. AAAI Press"},{"key":"10.1016\/S1574-6526(07)03017-9_bib029","unstructured":"J. Gustafsson and P. Doherty. Embracing occlusion in specifying the indirect effects of actions. In L.C. Aiello, J. Doyle, and S.C. Shapiro, editors, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, pages 87\u201398, San Francisco, 1996. Morgan Kaufmann"},{"key":"10.1016\/S1574-6526(07)03017-9_bib030","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, pages 343\u2013348, Los Altos, CA, 1987. Morgan Kaufmann","DOI":"10.1016\/B978-0-934613-32-3.50026-5"},{"key":"10.1016\/S1574-6526(07)03017-9_bib031","unstructured":"H. Halpin, J.D. Moore, and J. Robertson. Automatic analysis of plot for story rewriting. In D. Lin and D. Wu, editors, Proceedings of the 2004 Conference on Empirical Methods in Natural Language Processing, pages 127\u2013133, Barcelona, Spain, 2004"},{"issue":"3","key":"10.1016\/S1574-6526(07)03017-9_bib032","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)03017-9_bib033","unstructured":"A.C. Kakas and L. Michael. Modeling complex domains of actions and change. In S. Benferhat and E. Giunchiglia, editors, Proceedings of the Ninth International Workshop on Non-Monotonic Reasoning, pages 380\u2013390, Toulouse, France, 2002"},{"key":"10.1016\/S1574-6526(07)03017-9_bib034","doi-asserted-by":"crossref","unstructured":"A.C. Kakas, L. Michael, and R. Miller. Modular-E: an elaboration tolerant approach to the ramification and qualification problems. In S. McIlraith, P. Peppas, and M. Thielscher, editors, Seventh International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, 2005","DOI":"10.1007\/11546207_17"},{"issue":"012","key":"10.1016\/S1574-6526(07)03017-9_bib035","article-title":"Reasoning about actions, narratives and ramifications","volume":"2","author":"Kakas","year":"1997","journal-title":"Link\u00f6ping Electronic Articles in Computer and Information Science"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(07)03017-9_bib036","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0743-1066(96)00138-0","article-title":"A simple declarative language for describing narratives with actions","volume":"31","author":"Kakas","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(07)03017-9_bib037","series-title":"Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning","first-page":"78","article-title":"An argumentation framework for reasoning about actions and change","volume":"vol. 1730","author":"Kakas","year":"1999"},{"key":"10.1016\/S1574-6526(07)03017-9_bib038","doi-asserted-by":"crossref","unstructured":"A.C. Kakas, R. Miller, and F. Toni. E-RES\u2014A system for reasoning about actions, events and observations. In C. Baral and M. Truszczynski, editors, Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning, Breckenridge, CO, 2000","DOI":"10.1007\/3-540-45402-0_19"},{"key":"10.1016\/S1574-6526(07)03017-9_bib039","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/S1574-6526(07)03017-9_bib040","unstructured":"R.A. Kowalski. Database updates in the event calculus. Technical Report DOC 86\/12, London: Imperial College of Science, Technology, and Medicine, 1986"},{"key":"10.1016\/S1574-6526(07)03017-9_bib041","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0743-1066(92)90041-Z","article-title":"Database updates in the event calculus","volume":"12","author":"Kowalski","year":"1992","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(07)03017-9_bib042","series-title":"Logic Programming in Action, Second International Logic Programming Summer School","first-page":"203","article-title":"Legislation as logic programs","volume":"vol. 636","author":"Kowalski","year":"1992"},{"key":"10.1016\/S1574-6526(07)03017-9_bib043","series-title":"Logic Programming: The 1994 International Symposium","first-page":"539","article-title":"The situation calculus and event calculus compared","author":"Kowalski","year":"1994"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(07)03017-9_bib044","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0743-1066(96)00137-9","article-title":"Reconciling the event calculus with the situation calculus","volume":"31","author":"Kowalski","year":"1997","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"10.1016\/S1574-6526(07)03017-9_bib045","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 Generation Computing"},{"key":"10.1016\/S1574-6526(07)03017-9_bib046","unstructured":"F. L\u00e9vy and J.J. Quantz. Representing beliefs in a situated event calculus. In H. Prade, editor, Proceedings of the Thirteenth European Conference on Artificial Intelligence, pages 547\u2013551, Chichester, UK, 1998. John Wiley"},{"key":"10.1016\/S1574-6526(07)03017-9_bib047","unstructured":"V. Lifschitz. Computing circumscription. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 121\u2013127, Los Altos, CA, 1985. Morgan Kaufmann"},{"key":"10.1016\/S1574-6526(07)03017-9_bib048","doi-asserted-by":"crossref","unstructured":"V. Lifschitz. Formal theories of action. In F.M. Brown, editor, The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop, pages 35\u201357, Los Altos, CA, 1987. Morgan Kaufmann","DOI":"10.1016\/B978-0-934613-32-3.50009-5"},{"key":"10.1016\/S1574-6526(07)03017-9_bib049","series-title":"Readings in Nonmonotonic Reasoning","first-page":"179","article-title":"Pointwise circumscription","author":"Lifschitz","year":"1987"},{"issue":"3","key":"10.1016\/S1574-6526(07)03017-9_bib050","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":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib051","series-title":"Nonmonotonic Reasoning and Uncertain Reasoning","first-page":"298","article-title":"Circumscription","volume":"vol. 3","author":"Lifschitz","year":"1994"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(07)03017-9_bib052","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/S0004-3702(00)00056-4","article-title":"Book review: M. Shanahan, Solving the frame problem","volume":"123","author":"Lifschitz","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib053","unstructured":"F. Lin. Embracing causality in specifying the indirect effects of actions. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 1985\u20131993, San Mateo, CA, 1995. Morgan Kaufmann"},{"issue":"5","key":"10.1016\/S1574-6526(07)03017-9_bib054","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"},{"key":"10.1016\/S1574-6526(07)03017-9_bib055","unstructured":"N.C. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 1978\u20131984, San Mateo, CA, 1995. Morgan Kaufmann"},{"key":"10.1016\/S1574-6526(07)03017-9_bib056","unstructured":"J. McCarthy. Epistemological problems of artificial intelligence. In R. Reddy, editor, Proceedings of the Fifth International Joint Conference on Artificial Intelligence, pages 1038\u20131044, Los Altos, CA, 1977. William Kaufmann"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(07)03017-9_bib057","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":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib058","unstructured":"J. McCarthy. Applications of circumscription to formalizing common sense knowledge. In Proceedings of the Non-Monotonic Reasoning Workshop, pages 295\u2013324, Menlo Park, CA, 1984. AAAI Press"},{"key":"10.1016\/S1574-6526(07)03017-9_bib059","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":"Artificial Intelligence"},{"issue":"12","key":"10.1016\/S1574-6526(07)03017-9_bib060","doi-asserted-by":"crossref","first-page":"1030","DOI":"10.1145\/33447.33448","article-title":"Generality in artificial intelligence","volume":"30","author":"McCarthy","year":"1987","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1574-6526(07)03017-9_bib061","unstructured":"J. McCarthy. Elaboration tolerance. In R. Miller and M. Shanahan, editors, Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London, 1998. Queen Mary and Westfield College"},{"key":"10.1016\/S1574-6526(07)03017-9_bib062","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"vol. 4","author":"McCarthy","year":"1969"},{"issue":"5","key":"10.1016\/S1574-6526(07)03017-9_bib063","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":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(07)03017-9_bib064","unstructured":"R. Miller and M. Shanahan. Reasoning about discontinuities in the event calculus. In L.C. Aiello, J. Doyle, and S.C. Shapiro, editors, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, pages 63\u201374, San Francisco, 1996. Morgan Kaufmann"},{"issue":"016","key":"10.1016\/S1574-6526(07)03017-9_bib065","article-title":"The event calculus in classical logic\u2014Alternative axiomatisations","volume":"4","author":"Miller","year":"1999","journal-title":"Link\u00f6ping Electronic Articles in Computer and Information Science"},{"key":"10.1016\/S1574-6526(07)03017-9_bib066","series-title":"Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II","first-page":"452","article-title":"Some alternative formulations of the event calculus","volume":"vol. 2408","author":"Miller","year":"2002"},{"issue":"5","key":"10.1016\/S1574-6526(07)03017-9_bib067","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1093\/logcom\/5.5.579","article-title":"Chica, an abductive planning system based on event calculus","volume":"5","author":"Missiaen","year":"1995","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(07)03017-9_bib068","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1023\/A:1010512415344","article-title":"Mid-sized axiomatizations of commonsense problems: A case study in egg cracking","volume":"67","author":"Morgenstern","year":"2001","journal-title":"Studia Logica"},{"key":"10.1016\/S1574-6526(07)03017-9_bib069","doi-asserted-by":"crossref","unstructured":"E.T. Mueller. Story understanding through multi-representation model construction. In G. Hirst and S. Nirenburg, editors, Text Meaning: Proceedings of the HLT-NAACL 2003 Workshop, pages 46\u201353. Association for Computational Linguistics, East Stroudsburg, PA, 2003","DOI":"10.3115\/1119239.1119246"},{"issue":"5","key":"10.1016\/S1574-6526(07)03017-9_bib070","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1093\/logcom\/14.5.703","article-title":"Event calculus reasoning through satisfiability","volume":"14","author":"Mueller","year":"2004","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(07)03017-9_bib071","unstructured":"E.T. Mueller. A tool for satisfiability-based commonsense reasoning in the event calculus. In V. Barr and Z. Markov, editors, Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, pages 147\u2013152, Menlo Park, CA, 2004. AAAI Press"},{"issue":"4","key":"10.1016\/S1574-6526(07)03017-9_bib072","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/j.cogsys.2004.06.001","article-title":"Understanding script-based stories using commonsense reasoning","volume":"5","author":"Mueller","year":"2004","journal-title":"Cognitive Systems Research"},{"key":"10.1016\/S1574-6526(07)03017-9_bib073","author":"Mueller"},{"key":"10.1016\/S1574-6526(07)03017-9_bib074","series-title":"Commonsense Reasoning","author":"Mueller","year":"2006"},{"issue":"11","key":"10.1016\/S1574-6526(07)03017-9_bib075","doi-asserted-by":"crossref","first-page":"1017","DOI":"10.1016\/j.artint.2006.05.001","article-title":"Event calculus and temporal action logics compared","volume":"170","author":"Mueller","year":"2006","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S1574-6526(07)03017-9_bib076","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1093\/llc\/fql014","article-title":"Modelling space and time in narratives about restaurants","volume":"22","author":"Mueller","year":"2007","journal-title":"Literary and Linguistic Computing"},{"key":"10.1016\/S1574-6526(07)03017-9_bib077","series-title":"Proceedings of the Fifth International Workshop on the Implementation of Logics, number ULCS-05-003","first-page":"43","article-title":"Discrete event calculus deduction using first-order automated theorem proving","author":"Mueller","year":"2005"},{"key":"10.1016\/S1574-6526(07)03017-9_bib078","series-title":"Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference","first-page":"840","article-title":"Reasoning in the event calculus using first-order automated theorem proving","author":"Mueller","year":"2005"},{"key":"10.1016\/S1574-6526(07)03017-9_bib079","series-title":"Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning","first-page":"420","article-title":"Smodels\u2014an implementation of the stable model and well-founded semantics for normal logic programs","volume":"vol. 1265","author":"Niemel\u00e4","year":"1997"},{"key":"10.1016\/S1574-6526(07)03017-9_bib080","first-page":"335","article-title":"Computing small clause normal forms","volume":"vol. 1","author":"Nonnengart","year":"2001"},{"key":"10.1016\/S1574-6526(07)03017-9_bib081","unstructured":"E.P.D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In R.J. Brachman, H.J. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 324\u2013332, San Mateo, CA, 1989. Morgan Kaufmann"},{"key":"10.1016\/S1574-6526(07)03017-9_bib082","series-title":"Logic Programming: Proceedings of the Tenth International Conference","first-page":"203","article-title":"Temporal reasoning in logic programming: A case for the situation calculus","author":"Pinto","year":"1993"},{"key":"10.1016\/S1574-6526(07)03017-9_bib083","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/S0747-7171(86)80028-1","article-title":"A structure-preserving clause form translation","volume":"2","author":"Plaisted","year":"1986","journal-title":"Journal of Symbolic Computation"},{"key":"10.1016\/S1574-6526(07)03017-9_bib084","unstructured":"R. Reiter. Circumscription implies predicate completion (sometimes). In D.L. Waltz, editors, Proceedings of the National Conference on Artificial Intelligence, pages 418\u2013420, Menlo Park, CA, 1982. AAAI Press"},{"key":"10.1016\/S1574-6526(07)03017-9_bib085","series-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"key":"10.1016\/S1574-6526(07)03017-9_bib086","series-title":"Handbook of Automated Reasoning, vols. 1 and 2","author":"Robinson","year":"2001"},{"key":"10.1016\/S1574-6526(07)03017-9_bib087","series-title":"Temporal Logics and their Applications","first-page":"121","article-title":"Three recent approaches to temporal reasoning","author":"Sadri","year":"1987"},{"key":"10.1016\/S1574-6526(07)03017-9_bib088","doi-asserted-by":"crossref","unstructured":"F. Sadri and R.A. Kowalski. Variants of the event calculus. In L. Sterling, editor, Logic Programming: The Twelfth International Conference, pages 67\u201381, Cambridge, MA, 1995. MIT Press","DOI":"10.7551\/mitpress\/4298.003.0017"},{"key":"10.1016\/S1574-6526(07)03017-9_bib089","unstructured":"E. Sandewall. Filter preferential entailment for the logic of action in almost continuous worlds. In N.S. Sridharan, editor, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pages 894\u2013899, San Mateo, CA, 1989. Morgan Kaufmann"},{"key":"10.1016\/S1574-6526(07)03017-9_bib090","volume":"vol. I","author":"Sandewall","year":"1994"},{"key":"10.1016\/S1574-6526(07)03017-9_bib091","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\/S1574-6526(07)03017-9_bib092","unstructured":"B. Selman, H.A. Kautz, and D.A. McAllester. Ten challenges in propositional reasoning and search. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pages 50\u201354, San Mateo, CA, 1997. Morgan Kaufmann"},{"key":"10.1016\/S1574-6526(07)03017-9_bib093","unstructured":"M. Shanahan. Prediction is deduction but explanation is abduction. In N.S. Sridharan, editor, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pages 1055\u20131060, San Mateo, CA, 1989. Morgan Kaufmann"},{"key":"10.1016\/S1574-6526(07)03017-9_bib094","unstructured":"M. Shanahan. Representing continuous change in the event calculus. In L.C. Aiello, editor, Proceedings of the Ninth European Conference on Artificial Intelligence, pages 598\u2013603, London, 1990. Pitman"},{"key":"10.1016\/S1574-6526(07)03017-9_bib095","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","article-title":"A circumscriptive calculus of events","volume":"77","author":"Shanahan","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib096","unstructured":"M. Shanahan. Robotics and the common sense informatic situation. In W. Wahlster, editor, Proceedings of the Twelfth European Conference on Artificial Intelligence, pages 684\u2013688, Chichester, UK, 1996. John Wiley"},{"key":"10.1016\/S1574-6526(07)03017-9_bib097","series-title":"Recent Advances in AI Planning","first-page":"390","article-title":"Event calculus planning revisited","volume":"vol. 1348","author":"Shanahan","year":"1997"},{"key":"10.1016\/S1574-6526(07)03017-9_bib098","series-title":"Solving the Frame Problem","author":"Shanahan","year":"1997"},{"key":"10.1016\/S1574-6526(07)03017-9_bib099","unstructured":"M. Shanahan. A logical formalisation of Ernie Davis's egg cracking problem. In R. Miller and M. Shanahan, editors, Fourth Symposium on Logical Formalizations of Commonsense Reasoning, London, 1998. Queen Mary and Westfield College"},{"key":"10.1016\/S1574-6526(07)03017-9_bib100","series-title":"Artificial Intelligence Today: Recent Trends and Developments","first-page":"409","article-title":"The event calculus explained","volume":"vol. 1600","author":"Shanahan","year":"1999"},{"key":"10.1016\/S1574-6526(07)03017-9_bib101","unstructured":"M. Shanahan. The ramification problem in the event calculus. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, pages 140\u2013146, San Mateo, CA, 1999. Morgan Kaufmann"},{"key":"10.1016\/S1574-6526(07)03017-9_bib102","series-title":"Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter","first-page":"352","article-title":"What sort of computation mediates best between perception and action?","author":"Shanahan","year":"1999"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(07)03017-9_bib103","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","article-title":"An abductive event calculus planner","volume":"44","author":"Shanahan","year":"2000","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(07)03017-9_bib104","doi-asserted-by":"crossref","unstructured":"M. Shanahan. Abductive event calculus planners [Computer software], 2000","DOI":"10.1007\/3-540-48317-9_17"},{"key":"10.1016\/S1574-6526(07)03017-9_bib105","first-page":"144","article-title":"The frame problem","volume":"vol. 2","author":"Shanahan","year":"2002"},{"key":"10.1016\/S1574-6526(07)03017-9_bib106","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.artint.2003.05.001","article-title":"An attempt to formalise a non-trivial benchmark problem in common sense reasoning","volume":"153","author":"Shanahan","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03017-9_bib107","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1207\/s15516709cog2901_5","article-title":"Perception as abduction: Turning sensor data into meaningful representation","volume":"29","author":"Shanahan","year":"2005","journal-title":"Cognitive Science"},{"key":"10.1016\/S1574-6526(07)03017-9_bib108","unstructured":"M. Shanahan and D.A. Randell. A logic-based formulation of active visual perception. In D. Dubois, C.A. Welty, and M.-A. Williams, editors, Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning, pages 64\u201372, Menlo Park, CA, 2004. AAAI Press"},{"issue":"5","key":"10.1016\/S1574-6526(07)03017-9_bib109","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1093\/logcom\/14.5.731","article-title":"Event calculus planning through satisfiability","volume":"14","author":"Shanahan","year":"2004","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1574-6526(07)03017-9_bib110","unstructured":"G. Sutcliffe and C.B. Suttner. The TPTP problem library for automated theorem proving, 2005"},{"key":"10.1016\/S1574-6526(07)03017-9_bib111","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"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(07)03017-9_bib112","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0743-1066(96)00123-9","article-title":"On the relation between situation calculus and event calculus","volume":"31","author":"Van Belleghem","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1574-6526(07)03017-9_bib113","series-title":"The Proper Treatment of Events","author":"van Lambalgen","year":"2005"},{"key":"10.1016\/S1574-6526(07)03017-9_bib114","unstructured":"J. Wilk. Dynamic workflow pulling the strings. Distinguished Project (MEng). Department of Computing, Imperial College London, London, 2004"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(07)03017-9_bib115","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","article-title":"Reasoning about commitments in the event calculus: An approach for specifying and executing protocols","volume":"42","author":"Yolum","year":"2004","journal-title":"Annals of Mathematics and 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:S1574652607030179?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652607030179?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:53:57Z","timestamp":1761620037000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652607030179"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780444522115"],"references-count":115,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(07)03017-9","relation":{},"ISSN":["1574-6526"],"issn-type":[{"value":"1574-6526","type":"print"}],"subject":[],"published":{"date-parts":[[2008]]}}}