{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:48:58Z","timestamp":1766065738724,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":74,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439608"},{"type":"electronic","value":"9783540456322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45632-5_17","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T07:37:27Z","timestamp":1179646647000},"page":"452-490","source":"Crossref","is-referenced-by-count":55,"title":["Some Alternative Formulations of the Event Calculus"],"prefix":"10.1007","author":[{"given":"Rob","family":"Miller","sequence":"first","affiliation":[]},{"given":"Murray","family":"Shanahan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,17]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"A. Baker, Nonmonotonic Reasoning in the Framework of the Situation Calculus, Artificial Intelligence, Vol 49(5\u201323), 1991.","DOI":"10.1016\/0004-3702(91)90004-4"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"I. Cervesato, L. Chittaro and A. Montanari, A Modal Calculus of Partially Ordered Events in a Logic Programming Framework, in Proceedings ICLP\u201995, MIT Press, pages 299\u2013313, 1995.","DOI":"10.7551\/mitpress\/4298.003.0035"},{"key":"17_CR3","unstructured":"I. Cervesato, L. Chittaro and A. Montanari, A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants, in in W. Wahlster, editor, Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI\u201996), pp. 33\u201337, John Wiley and Sons, 1996."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"I. Cervesato, M. Franceschet and A. Montanari, A Hierarchy of Modal Event Calculi: Expressiveness and Complexity, in H. Barringer et al, Proceedings of the 2nd International Conference on Temporal Logic (ICTL\u201997, pp. 1\u201317, Kluwer Applied Logic Series, 1997.","DOI":"10.1007\/978-94-015-9586-5_1"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"I. Cervesato, M. Franceschet and A. Montanari, Modal Event Calculi with Preconditions, in R. Morris and L. Khatib, Proceedings of the Fourth International Workshop on Temporal Reasoning (TIME\u201997), pp. 38\u201345, IEEE Computer Society Press, 1997.","DOI":"10.1109\/TIME.1997.600780"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"I. Cervesato, M. Franceschet and A. Montanari, The Complexity of Model Checking in Modal Event Calculi with Quantifiers, Journal of Electronic Transactions on Artificial Intelligence, Link\u00f6ping University Electronic Press, http:\/\/www.ida.liu.se\/ext\/etai\/ , 1998.","DOI":"10.7551\/mitpress\/4299.003.0045"},{"key":"17_CR7","unstructured":"L. Chittaro, A. Montanari and A. Provetti, Skeptical and Credulous Event Calculi for Supporting Modal Queries, in A. Cohn, Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI\u201994), pp. 361\u2013365, John Wiley and Sons, 1994."},{"issue":"3","key":"17_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1111\/j.1467-8640.1996.tb00268.x","volume":"12","author":"N. Chleq","year":"1996","unstructured":"N. Chleq, Constrained Resolution and Abductive Temporal Reasoning, Computational Intelligence, vol. 12, no. 3, pp. 383\u2013406, 1996.","journal-title":"Computational Intelligence"},{"key":"17_CR9","unstructured":"J. M. Crawford and D. W. Etherington, Formalizing Reasoning about Change: A Qualitative Reasoning Approach, Proceedings AAAI\u201992, pp. 577\u2013583, 1992."},{"key":"17_CR10","unstructured":"J. Davila, Reactive Pascal and the Event Calculus, Proceedings FAPR\u201996 Workshop on Reasoning about Actions and Planning in Complex Environments, eds. U. Siegmund and M. Thielscher, vol. 11of Technical Report AIDA, 1996."},{"key":"17_CR11","unstructured":"M. Denecker, L. Missiaen and M. Bruynooghe, Temporal Reasoning with Abductive Event Calculus, in Proceedings ECAI 92, Vienna, 1992."},{"key":"17_CR12","unstructured":"M. Denecker, K. Van Belleghem, G. Duchatelet, F. Piessens and D. De Schreye A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification, in Proceedings of the Joint International Conference and Symposium on Logic Programming, 1996."},{"key":"17_CR13","unstructured":"M. Denecker, D. Theseider Dupr\u00e9, and K. Van Belleghem, An Inductive Definition Approach to Ramifications, in Electronic Transactions on Artificial Intelligence, vol 2, 1998."},{"key":"17_CR14","unstructured":"P. Doherty, Reasoning about Action and Change Using Occlusion, Proceedings ECAI\u201994, pp. 401\u2013405, 1994."},{"key":"17_CR15","unstructured":"K. Eshghi, Abductive Planning with Event Calculus, Proceedings of the 5th International Conference and Symposium on Logic Programming, ed.s Robert Kowalski and Kenneth Bowen, MIT Press, pp. 562\u2013579, 1988."},{"key":"17_CR16","unstructured":"M. Gelfond and V. Lifschitz, Representing Actions in Extended Logic Programming, JICSLP\u201992, ed. Krzysztof Apt, 560, MIT Press, 1992."},{"issue":"234","key":"17_CR17","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz, Representing Action and Change by Logic Programs, JLP, 17(2,3,4) 301\u2013322, 1993.","journal-title":"JLP"},{"key":"17_CR18","unstructured":"R. C. Jeffrey, Formal Logic: Its Scope and Limits, McGraw-Hill, 1967."},{"key":"17_CR19","volume-title":"DFKI Report RR-96-04","author":"C. G. Jung","year":"1996","unstructured":"C. G. Jung, K. Fischer and A. Burt, Multi-Agent Planning Using an Abductive Event Calculus, DFKI Report RR-96-04 (1996), DFKI, Germany, 1996."},{"key":"17_CR20","unstructured":"C. G. Jung, Situated Abstraction Planning by Abductive Temporal Reasoning, Proceedings ECAI\u201998, pp. 383\u2013387, 1998."},{"issue":"1\u20133","key":"17_CR21","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0743-1066(96)00138-0","volume":"31","author":"A. Kakas","year":"1997","unstructured":"A. Kakas and R. Miller, A Simple Declarative Language for Describing Narratives with Actions, JLP 31(1\u20133) (Special Issue on Reasoning about Action and Change) 157\u2013200, 1997.","journal-title":"JLP"},{"key":"17_CR22","unstructured":"A. Kakas and R. Miller, Reasoning about Actions, Narratives and Ramifications, Journal of Electronic Transactions on Artificial Intelligence 1(4), Link\u00f6ping University Electronic Press, http:\/\/www.ida.liu.se\/ext\/etai\/ , 1998."},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"A. Kakas, R. Miller and F. Toni, An Argumentation Framework for Reasoning about Actions and Change, Proceedings of LPNMR\u201999, 1999.","DOI":"10.1007\/3-540-46767-X_6"},{"key":"17_CR24","unstructured":"A. Kakas, R. Miller and F. Toni, E-RES-A System for Reasoning about Actions, Events and Observations, Proceedings of NMR 2000, Special Session on System Demonstrations and Descriptions, http:\/\/xxx.lanl.gov\/abs\/cs.AI\/0003034 , 2000."},{"key":"17_CR25","unstructured":"A. Kakas, R. Miller and F. Toni, Planning with Incomplete Information, Proceedings of NMR 2000, Special Session on Representing Actions and Planning, http:\/\/xxx.lanl.gov\/abs\/cs.AI\/0003049~L , 2000."},{"key":"17_CR26","series-title":"Lect Notes Comput Sci","first-page":"17","volume-title":"Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u20192001)","author":"A. Kakas","year":"2001","unstructured":"A. Kakas, R. Miller and F. Toni, E-RES-Reasoning about Actions, Events and Observations, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u20192001), September 17\u201319, 2001, Vienna, Austria, ed. T. Eiter, M. Truszczynski and W. Faber, pub. Springer-Verlag (LNCS\/LNAI series), 2001."},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"G. N. Kartha, Soundness and Completeness Theorems for Three Formalizations of Action, Proceedings IJCAI\u201993, page 724, 1993.","DOI":"10.1021\/cr00018a901"},{"key":"17_CR28","unstructured":"G. N. Kartha and V. Lifschitz, A Simple Formalization of Actions Using Circumscription, Proceedings IJCAI\u201995, pp. 1970\u20131975, 1995."},{"key":"17_CR29","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0743-1066(92)90041-Z","volume":"12","author":"R. A. Kowalski","year":"1992","unstructured":"R. A. Kowalski, Database Updates in the Event Calculus, Journal of Logic Programming, vol. 12, pp. 121\u2013146, 1992.","journal-title":"Journal of Logic Programming"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"R. A. Kowalski, Legislation as Logic Programs, Informatics and the Foundations of Legal Reasoning, Kluwer Academic Publishers, ed.s Z. Bankowski et al., pp. 325\u2013356, 1995.","DOI":"10.1007\/978-94-015-8531-6_14"},{"key":"17_CR31","unstructured":"R. A. Kowalski and F. Sadri, The Situation Calculus and Event Calculus Compared, in Proceedings of the International Logic Programming Symposium (ILPS\u201994), 1994."},{"key":"17_CR32","first-page":"39","volume":"31","author":"R. A. Kowalski","year":"1997","unstructured":"R. A. Kowalski and F. Sadri, Reconciling the Event Calculus with the Situation Calculus, Journal of Logic Programming, Special Issue on Reasoning about Action and Change, vol. 31, pp. 39\u201358, 1997.","journal-title":"Journal of Logic Programming, Special Issue on Reasoning about Action and Change"},{"key":"17_CR33","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"R. A. Kowalski and M. J. Sergot, A Logic-Based Calculus of Events, New Generation Computing, vol. 4, pp. 67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"B. Kuipers, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge, MIT Press, 1994.","DOI":"10.1063\/1.4823391"},{"key":"17_CR35","unstructured":"F. L\u00e9vy and Joachim Quantz, Representing Beliefs in a Situated Event Calculus, Proceedings ECAI\u201998, pp. 547\u2013551, 1998."},{"key":"17_CR36","unstructured":"H. Levesque, What is Planning in the Presence of Sensing?, in Proceedings of AAAI\u201996, 1996."},{"key":"17_CR37","unstructured":"V. Lifschitz, Circumscription, in The Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, ed. D. M. Gabbay, C.J. Hogger and J. A. Robinson, Oxford University Press, pp. 297\u2013352, 1994."},{"key":"17_CR38","unstructured":"J. Lobo, G. Mendez and S. Taylor, Adding Knowledge to the Action Description Language A, in Proceedings of AAAI\u201997, 1997."},{"key":"17_CR39","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy, Circumscription N A Form of Non-Monotonic Reasoning, Artificial Intelligence, vol. 13, pp. 27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"17_CR40","unstructured":"J. McCarthy and P. J. Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, in Machine Intelligence 4, ed. D. Michie and B. Meltzer, Edinburgh University Press, pp. 463\u2013502, 1969."},{"key":"17_CR41","volume-title":"Proceedings of the Third International Conference on Logic Programming and Non-monotonic Reasoning","author":"R. Miller","year":"1995","unstructured":"R. Miller, Situation Calculus Specifications for Event Calculus Logic Programs, in Proceedings of the Third International Conference on Logic Programming and Non-monotonic Reasoning, Lexington, KY, USA, Springer Verlag, 1995."},{"key":"17_CR42","unstructured":"R. S. Miller and M. P. Shanahan, Reasoning about Discontinuities in the Event Calculus, Proceedings 1996 Knowledge Representation Conference (KR\u201996), pp. 63\u201374, 1996."},{"key":"17_CR43","first-page":"77","volume":"3","author":"R. S. Miller","year":"1999","unstructured":"R. S. Miller and M. P. Shanahan, The Event Calculus in Classical Logic-Alternative Axiomatisations, Journal of Electronic Transactions on Artificial Intelligence, Vol. 3 (1999), Section A, pages 77\u2013105, http:\/\/www.ep.liu.se\/ej\/etai\/1999\/016\/ , 1999.","journal-title":"Journal of Electronic Transactions on Artificial Intelligence"},{"key":"17_CR44","doi-asserted-by":"crossref","unstructured":"L. R. Missiaen, Localized Abductive Planning for Robot Assembly, Proceedings 1991 IEEE Conference on Robotics and Automation, pub. IEEE Robotics and Automation Society, pages 605\u2013610, 1991.","DOI":"10.1109\/ROBOT.1991.131648"},{"issue":"5","key":"17_CR45","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1093\/logcom\/5.5.579","volume":"5","author":"L. R. Missiaen","year":"1995","unstructured":"L. R. Missiaen, M. Denecker and M. Bruynooghe, An Abductive Planning System Based on Event Calculus, Journal of Logic and Computation, volume 5, number 5, pages 579\u2013602, 1995.","journal-title":"Journal of Logic and Computation"},{"key":"17_CR46","unstructured":"R. C. Moore, A Formal Theory of Knowledge and Action, In Hobbs and Moore, ed.s, Formal Theories of the Commonsense World, Ablex, Norwood, USA, 1985."},{"key":"17_CR47","unstructured":"L. Morgenstern, Knowledge Preconditions for Actions and Plans, in Proceedings of the International Joint Conference in Artificial Intelligence 1987 (IJCAI\u201997), Morgan Kaufmann, 1987."},{"key":"17_CR48","unstructured":"J. Pinto and R. Reiter, Temporal Reasoning in Logic Programming: A Case for the Situation Calculus, Proceedings ICLP 93, page 203, 1993."},{"key":"17_CR49","doi-asserted-by":"crossref","unstructured":"A. Provetti, Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus, Computational Intelligence, volume 12, number 2, 1995.","DOI":"10.1111\/j.1467-8640.1996.tb00272.x"},{"key":"17_CR50","doi-asserted-by":"crossref","unstructured":"R. Reiter, The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression, in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, ed. V. Lifschitz, Academic Press, pp. 359\u2013380, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"17_CR51","unstructured":"R. Reiter, Natural actions, concurrency and continuous time in the situation calculus, in Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR\u201996), Cambridge, Massachusetts, U.S.A, November 5\u20138, 1996."},{"key":"17_CR52","unstructured":"A. Russo, R. Miller, B. Nuseibeh and J. Kramer, An Abductive Approach for Handling Inconsistencies in SCR Specifications, in proceedings of the 3rd International Workshop on Intelligent Software Engineering (WISE3), Limerick, Ireland, June, 2000."},{"key":"17_CR53","doi-asserted-by":"crossref","unstructured":"F. Sadri and R. Kowalski, Variants of the Event Calculus, Proceedings of the International Conference on Logic Programming, Kanagawa, Japan, Stirling L. (Ed), The MIT Press, pp. 67\u201381, 1995.","DOI":"10.7551\/mitpress\/4298.003.0017"},{"key":"17_CR54","unstructured":"E. Sandewall, Combining Logic and Differential Equations for Describing Real World Systems, Proceedings KR\u201989, Morgan Kaufman, 1989."},{"key":"17_CR55","unstructured":"E. Sandewall, Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds, Proceedings IJCAI\u201989, pages 894\u2013899, 1989."},{"key":"17_CR56","doi-asserted-by":"crossref","unstructured":"E. Sandewall, The Representation of Knowledge about Dynamical Systems, Volume 1, Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198538455.003.0001"},{"key":"17_CR57","unstructured":"R. Scherl and H. Levesque, The Frame Problem and Knowledge-Producing Actions, in Proceedings of AAAI\u201993, 1993."},{"key":"17_CR58","unstructured":"M. P. Shanahan, Representing Continuous Change in the Event Calculus, Proceedings ECAI\u201990, pp. 598\u2013603, 1990."},{"key":"17_CR59","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"M. P. Shanahan","year":"1995","unstructured":"M. P. Shanahan, A Circumscriptive Calculus of Events, Artificial Intelligence, vol 77 (1995), pages 249\u2013284, 1995.","journal-title":"Artificial Intelligence"},{"key":"17_CR60","unstructured":"M. P. Shanahan, Robotics and the Common Sense Informatic Situation, Proceedings ECAI\u201996, pp. 684\u2013688, 1996."},{"key":"17_CR61","unstructured":"M. P. Shanahan, Noise and the Common Sense Informatic Situation for a Mobile Robot, Proceedings AAAI\u201996, pp. 1098\u20131103, 1996."},{"key":"17_CR62","unstructured":"M. P. Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, 1997."},{"key":"17_CR63","doi-asserted-by":"crossref","unstructured":"M. P. Shanahan, Event Calculus Planning Revisited, Proceedings 4th European Conference on Planning (ECP\u201997), Springer Lecture Notes in Artificial Intelligence no. 1348, pp. 390\u2013402, 1997.","DOI":"10.1007\/3-540-63912-8_101"},{"key":"17_CR64","unstructured":"M. P. Shanahan, Noise, Non-Determinism and Spatial Uncertainty, Proceedings AAAI\u201997, pp. 153\u2013158, 1997."},{"key":"17_CR65","unstructured":"M. P. Shanahan, Reinventing Shakey, Working Notes of the 1998 AAAI Fall Symposium on Cognitive Robotics, pp. 125\u2013135, 1998."},{"key":"17_CR66","doi-asserted-by":"crossref","unstructured":"M. P. Shanahan, The Ramification Problem in the Event Calculus, Proceedings IJCAI\u201999, 1999.","DOI":"10.1007\/3-540-48317-9_17"},{"key":"17_CR67","unstructured":"M. P. Shanahan, A Logical Account of the Common Sense Informatic Situation for a Mobile Robot, Electronic Transactions on Artificial Intelligence, 1999."},{"key":"17_CR68","unstructured":"M. P. Shanahan, The Event Calculus Explained, in Artificial Intelligence Today, eds. M. J. Wooldridge and M. Veloso, Springer-Verlag Lecture Notes in Artificial Intelligence no. 1600, Springer-Verlag, pages 409\u2013430, 1999."},{"key":"17_CR69","series-title":"Lect Notes Comput Sci","volume-title":"Transactions and Change in Logic Databases","author":"E. Ternovskaia","year":"1997","unstructured":"E. Ternovskaia, Inductive Definability and the Situation Calculus, in \u201cTransactions and Change in Logic Databases\u201d, Lecture Notes in Computer Science, volume 1472, Ed. Freitag B., Decker H., Kifer M. (Eds.), pub. Springer Verlag, 1997."},{"key":"17_CR70","unstructured":"E. Ternovskaia, Causality via Inductive Definitions, in Working Notes of \u201cProspects for a Commonsense Theory of Causation\u201d, pages 94\u2013100, AAAI Spring Symposium Series, March 23\u201328, 1998."},{"key":"17_CR71","unstructured":"K. Van Belleghem, M. Denecker and D. De Schreye, Representing Continuous Change in the Abductive Event Calculus, in Proceedings 1994 International Conference on Logic Programming, ed. P. Van Hentenrijck, pages 225\u2013240, 1994."},{"key":"17_CR72","doi-asserted-by":"crossref","unstructured":"K. Van Belleghem, M. Denecker and D. De Schreye, The Abductive Event Calculus as a General Framework for Temporal Databases, Proceedings of the International Conference on Temporal Logic, 1994.","DOI":"10.1007\/BFb0013995"},{"key":"17_CR73","doi-asserted-by":"crossref","unstructured":"K. Van Belleghem, M. Denecker and D. De Schreye, Combining Situation Calculus and Event Calculus, in Proceedings of the International Conference on Logic Programming, 1995.","DOI":"10.7551\/mitpress\/4298.003.0018"},{"key":"17_CR74","doi-asserted-by":"crossref","unstructured":"K. Van Belleghem, M. Denecker and D. De Schreye, On the Relation Between Situation Calculus and Event Calculus, Journal of Logic Programming, 31(1\u20133) (Special Issue on Reasoning about Action and Change), 1996.","DOI":"10.1016\/S0743-1066(96)00123-9"}],"container-title":["Lecture Notes in Computer Science","Computational Logic: Logic Programming and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45632-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T13:55:43Z","timestamp":1737035743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45632-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439608","9783540456322"],"references-count":74,"URL":"https:\/\/doi.org\/10.1007\/3-540-45632-5_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}