{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T19:26:10Z","timestamp":1774639570857,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664284","type":"print"},{"value":"9783540483175","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48317-9_17","type":"book-chapter","created":{"date-parts":[[2007,3,5]],"date-time":"2007-03-05T11:54:21Z","timestamp":1173095661000},"page":"409-430","source":"Crossref","is-referenced-by-count":190,"title":["The Event Calculus Explained"],"prefix":"10.1007","author":[{"given":"Murray","family":"Shanahan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A.B. Baker","year":"1991","unstructured":"A.B. Baker, Nonmonotonic Reasoning in the Framework of the Situation Calculus, Artificial Intelligence, vol. 49 (1991), pp. 5\u201323.","journal-title":"Artificial Intelligence"},{"key":"17_CR2","unstructured":"J.M. Crawford and D.W. Etherington, Formalizing Reasoning about Change: A Qualitative Reasoning Approach, Proceedings AAAI 92, pp. 577\u2013583."},{"key":"17_CR3","unstructured":"P. Doherty, Reasoning about Action and Change Using Occlusion, Proceedings ECAI 94, pp. 401\u2013405."},{"key":"17_CR4","unstructured":"M. Gelfond, V. Lifschitz and A. Rabinov, What Are the Limitations of the Situation Calculus? in Essays in Honor of Woody Bledsoe, ed R. Boyer, Kluwer Academic (1991), pp. 167\u2013179."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"A.R. Haas, The Case for Domain-Specific Frame Axioms, Proceedings of the 1987 Workshop on the Frame Problem, pp. 343\u2013348.","DOI":"10.1016\/B978-0-934613-32-3.50026-5"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"S. Hanks and D. McDermott, Nonmonotonic Logic and Temporal Projection, Artificial Intelligence, vol. 33 (1987), pp. 379\u2013412.","journal-title":"Artificial Intelligence"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"G.N. Kartha and V. Lifschitz, Actions with Indirect Effects (Preliminary Report), Proceedings 1994 Knowledge Representation Conference (KR 94), pp. 341\u2013350.","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"17_CR8","unstructured":"G.N. Kartha and V. Lifschitz, A Simple Formalization of Actions Using Circumscription, Proceedings IJCAI 95, pp. 1970\u20131975."},{"key":"17_CR9","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 (1992), pp. 121\u2013146.","journal-title":"Journal of Logic Programming"},{"key":"17_CR10","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 (1986), pp. 67\u201395.","journal-title":"New Generation Computing"},{"key":"17_CR11","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 (1994), pp. 297\u2013352."},{"key":"17_CR12","unstructured":"F. Lin and Y. Shoham, Concurrent Actions in the Situation Calculus, Proceedings AAAI 92, pp. 590\u2013595."},{"key":"17_CR13","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 \u2014 A Form of Non-Monotonic Reasoning, Artificial Intelligence, vol. 13 (1980), pp. 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"17_CR14","unstructured":"J. McCarthy, Mathematical Logic in Artificial Intelligence, Daedalus, Winter 1988, pp. 297\u2013311."},{"key":"17_CR15","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 (1969), pp. 463\u2013502."},{"key":"17_CR16","unstructured":"R.S. Miller and M.P. Shanahan, Reasoning about Discontinuities in the Event Calculus, Proceedings 1996 Knowledge Representation Conference (KR 96), pp. 63\u201374."},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A Logic for Default Reasoning, Artificial Intelligence, vol. 13 (1980), pp. 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"17_CR18","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 (1991), pp. 359\u2013380."},{"key":"17_CR19","series-title":"Technical Report","volume-title":"Features and Fluents","author":"E. Sandewall","year":"1991","unstructured":"E. Sandewall, Features and Fluents, Technical Report LiTH-IDAR-91-29 (first review version), Department of Computer and Information Science, Link\u00f6ping University, Sweden, 1991."},{"key":"17_CR20","unstructured":"E. Sandewall, Features and Fluents: The Representation of Knowledge about Dynamical Systems, Volume 1, Oxford University Press (1994)."},{"key":"17_CR21","unstructured":"L.K. Schubert, Monotonic Solution of the Frame Problem in the Situation Calculus, in Knowledge Representation and Defeasible Reasoning, ed. H. Kyburg, R. Loui and G. Carlson, Kluwer (1990), pp. 23\u201367."},{"key":"17_CR22","unstructured":"M.P. Shanahan, Representing Continuous Change in the Event Calculus, Proceedings ECAI 90, pp. 598\u2013603."},{"key":"17_CR23","unstructured":"M.P. Shanahan, Robotics and the Common Sense Informatic Situation, Proceedings ECAI 96, pp. 684\u2013688."},{"key":"17_CR24","unstructured":"M.P. Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, 1997."},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"M.P. Shanahan, Event Calculus Planning Revisited, Proceedings 4th European Conference on Planning (ECP 97), Springer Lecture Notes in Artificial Intelligence no. 1348 (1997), pp. 390\u2013402.","DOI":"10.1007\/3-540-63912-8_101"},{"key":"17_CR26","unstructured":"M.P. Shanahan, Reinventing Shakey, Working Notes of the 1998 AAAI Fall Symposium on Cognitive Robotics, pp. 125\u2013135."},{"key":"17_CR27","unstructured":"M.P. Shanahan, The Ramification Problem in the Event Calculus, Proceedings IJCAI 99, to appear."},{"key":"17_CR28","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"M. Thielscher, Ramification and Causality, Artificial Intelligence, vol. 89 (1997), pp. 317\u2013364.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence Today"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48317-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T01:52:07Z","timestamp":1556157127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48317-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664284","9783540483175"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-48317-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]}}}