{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:17:44Z","timestamp":1762953464629},"reference-count":28,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":4766,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1016\/s0743-1066(99)00077-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:10:21Z","timestamp":1027635021000},"page":"207-240","source":"Crossref","is-referenced-by-count":72,"title":["An abductive event calculus planner"],"prefix":"10.1016","volume":"44","author":[{"given":"Murray","family":"Shanahan","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(99)00077-1_BIB1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","article-title":"Fast planning through planning graph analysis","volume":"90","author":"Blum","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB2","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","article-title":"Planning for conjunctive goals","volume":"32","author":"Chapman","year":"1987","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0743-1066(99)00077-1_BIB3","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1111\/j.1467-8640.1996.tb00267.x","article-title":"Efficient temporal reasoning in the cached event calculus","volume":"12","author":"Chittaro","year":"1996","journal-title":"Computational Intelligence"},{"issue":"3","key":"10.1016\/S0743-1066(99)00077-1_BIB4","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1111\/j.1467-8640.1996.tb00268.x","article-title":"Constrained resolution and abductive temporal reasoning","volume":"12","author":"Chleq","year":"1996","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB5","unstructured":"M. Denecker, L. Missiaen, M. Bruynooghe, Temporal reasoning with abductive event calculus, Proceedings ECAI 92, 384\u2013388"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB6","doi-asserted-by":"crossref","unstructured":"M. Denecker, De Schreye, SLDNFA: An abductive procedure for abductive logic programs, Journal of Logic Programming 34 (2) (1998) 111\u2013167","DOI":"10.1016\/S0743-1066(97)00074-5"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB7","unstructured":"K. Eshghi, Abductive planning with event calculus, in: Proceedings of the Fifth International Conference on Logic Programming, 1988, pp. 562\u2013579"},{"issue":"2","key":"10.1016\/S0743-1066(99)00077-1_BIB8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","article-title":"The IFF proof procedure for abductive logic programming","volume":"33","author":"Fung","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB9","doi-asserted-by":"crossref","unstructured":"C. Green, Applications of theorem proving to problem solving, Proceedings IJCAI 69, 219\u2013240","DOI":"10.21236\/ADA459656"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB10","unstructured":"C.G. Jung, Situated abstraction planning by abductive temporal reasoning, Proceedings ECAI 98, 383\u2013387"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB11","unstructured":"C.G. Jung, K. Fischer, A. Burt, Multi-agent planning using an abductive event calculus, DFKI Report RR-96-04 DFKI, Germany, 1996"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB12","unstructured":"A.C. Kakas, A. Michael, C. Mourlas, ACLP: a case for non-monotonic reasoning, in: Proceedings of the 7th International Workshop on Non-Monotonic Reasoning (NM 98)"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB13","unstructured":"H. Kautz, B. Selman, Pushing the envelope: planning, propositional logic and stochastic search, Proceedings AAAI 96, 1194\u20131201"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB14","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"Kowalski","year":"1979","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB15","unstructured":"R.A. Kowalski, Using meta-logic to reconcile reactive with rational agents, in: K.R. Apt, F. Turini (Eds.), Meta-Logics and Logic Programming, MIT Press, Cambridge, 1995, pp. 227\u2013242"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB16","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\/S0743-1066(99)00077-1_BIB17","unstructured":"H. Levesque, What is planning in the presence of sensing? Proceedings AAAI 96, 1139\u20131146"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB18","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":"The Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB19","unstructured":"V. Lifschitz, Circumscription, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), The Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Oxford University Press, Oxford, 1994, pp. 297\u2013352"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB20","doi-asserted-by":"crossref","unstructured":"R.S. 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, Berlin, 1995, pp. 217\u2013230","DOI":"10.1007\/3-540-59487-6_16"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB21","doi-asserted-by":"crossref","unstructured":"L. Missiaen, Localized abductive planning for robot assembly, Proceedings of the 1991 IEEE Conference on Robotics and Automation, pp. 605\u2013610","DOI":"10.1109\/ROBOT.1991.131648"},{"issue":"5","key":"10.1016\/S0743-1066(99)00077-1_BIB22","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1093\/logcom\/5.5.579","article-title":"CHICA: A planning system based on event calculus","volume":"5","author":"Missiaen","year":"1995","journal-title":"The Journal of Logic and Computation"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB23","unstructured":"J.S. Penberthy, D.S. Weld, UCPOP: A Sound, Complete, Partial Order Planner for ADL, Proceedings KR 92, 103\u2013114"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB24","series-title":"Artificial Intelligence: A modern Approach","author":"Russell","year":"1995"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB25","unstructured":"M.P. Shanahan, Prediction is deduction but expansion is abduction, in: Proceedings IJCAI 89, pp. 1055\u20131060"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB26","series-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia","author":"Shanahan","year":"1997"},{"key":"10.1016\/S0743-1066(99)00077-1_BIB27","doi-asserted-by":"crossref","unstructured":"M.P. Shanahan, Event calculus planning revisited, in: Proceedings of the Fourth 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":"10.1016\/S0743-1066(99)00077-1_BIB28","unstructured":"M.P. Shanahan, Reinventing Shakey, Working Notes of the 1998 AAAI Fall Symposium on Cognitive Robotics, pp. 12\u2013135"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000771?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000771?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T12:59:27Z","timestamp":1555678767000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106699000771"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":28,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["S0743106699000771"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(99)00077-1","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}