{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:19Z","timestamp":1725467419244},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540639121"},{"type":"electronic","value":"9783540696650"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63912-8_101","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:37:40Z","timestamp":1153147060000},"page":"390-402","source":"Crossref","is-referenced-by-count":21,"title":["Event calculus planning revisited"],"prefix":"10.1007","author":[{"given":"Murray","family":"Shanahan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D. Chapman","year":"1987","unstructured":"D.Chapman, Planning for Conjunctive Goals, Artificial Intelligence, vol. 32 (1987), pp. 333\u2013377.","journal-title":"Artificial Intelligence"},{"key":"31_CR2","unstructured":"[Eshghi, 1988] K.Eshghi, Abductive Planning with Event Calculus, Proceedings of the Fifth International Conference on Logic Programming (1988), pp. 562\u2013579."},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"C.Green, Applications of Theorem Proving to Problem Solving, Proceedings IJCAI 69, pp. 219\u2013240.","DOI":"10.21236\/ADA459656"},{"key":"31_CR4","unstructured":"[Jung, et al., 1996] C.G.Jung, K.Fischer and A.Burt, Multi-Agent Planning Using an Abductive Event Calculus, DFKI Report RR-96-04 (1996), DFKI, Germany."},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"R.A.Kowalski, Algorithm = Logic + Control, Communications of the ACM, vol. 22, pp. 424\u2013436.","DOI":"10.1145\/359131.359136"},{"key":"31_CR6","unstructured":"R.A.Kowalski, Using Meta-Logic to Reconcile Reactive with Rational Agents, in Meta-Logics and Logic Programming, ed. K.R.Apt and F.Turini, MIT Press (1995), pp. 227\u2013242."},{"key":"31_CR7","doi-asserted-by":"crossref","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":"31_CR8","unstructured":"[Lesp\u00e9rance, et al., 1994] Y. Lesp\u00e9rance, H.J.Levesque, F.Lin, D.Marcu, R.Reiter, and R.B.Scherl, A Logical Approach to High-Level Robot Programming: A Progress Report, in Control of the Physical World by Intelligent Systems: Papers from the 1994 AAAI Fall Symposium, ed. B.Kuipers, New Orleans (1994), pp. 79\u201385."},{"key":"31_CR9","unstructured":"H.Levesque, What Is Planning in the Presence of Sensing? Proceedings AAAI 96, pp. 1139\u20131146."},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"[Levesque, et al., 1997] H.Levesque, R.Reiter, Y.Lesp\u00e9rance, F.Lin and R.B.Scherl, GOLOG: A Logic Programming Language for Dynamic Domains, The Journal of Logic Programming (1997), to appear.","DOI":"10.1016\/S0743-1066(96)00121-5"},{"issue":"5","key":"31_CR11","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1093\/logcom\/5.5.579","volume":"5","author":"L. Missiaen","year":"1995","unstructured":"[Missiaen, et al., 1995] L.Missiaen, M.Bruynooghe and M.Denecker, CHICA, A Planning System Based on Event Calculus, The Journal of Logic and Computation, 5, no. 5 (1995), pp. 579\u2013602.","journal-title":"The Journal of Logic and Computation"},{"key":"31_CR12","unstructured":"J.S.Penberthy and D.S.Weld, UCPOP: A Sound, Complete, Partial Order Planner for ADL, Proceedings KR 92, pp. 103\u2013114."},{"key":"31_CR13","unstructured":"S.Russell and P.Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall International (1995)."},{"key":"31_CR14","unstructured":"M.P.Shanahan, Prediction Is Deduction but Explanation Is Abduction, Proceedings IJCAI 89, pp. 1055\u20131060."},{"key":"31_CR15","unstructured":"M.P.Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press (1997)."}],"container-title":["Lecture Notes in Computer Science","Recent Advances in AI Planning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63912-8_101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T14:52:25Z","timestamp":1549205545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63912-8_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540639121","9783540696650"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-63912-8_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}