{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:28Z","timestamp":1725489448172},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411192"},{"type":"electronic","value":"9783540399674"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39967-4_25","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T04:15:34Z","timestamp":1187237734000},"page":"328-343","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Nature of Knowledge in an Abductive Event Calculus Planner"],"prefix":"10.1007","author":[{"given":"Leliane","family":"Nunes De Barros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo E.","family":"Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,2]]},"reference":[{"key":"25_CR1","unstructured":"L. N. Barros, J. Hendler, and V. R. Benjamins. Par-KAP: a knowledge acquisition tool for building practical planning systems. In Proceedings of the IJCAI-97, Nagoya, Japan, 1997."},{"key":"25_CR2","unstructured":"L. N. Barros, A. Valente and V. R. Benjamins. Modeling planning tasks. In Third International Conference on Artificial Intelligence Planning Systems, AIPS-96, pages 11\u201318, 1996."},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"V. R. Benjamins, L. N. Barros, and A. Valente. Constructing planners through problem-solving methods. In Knowledge Acquisition Workshop-KAW\u201996 (Banff), 1996.","DOI":"10.1007\/3-540-61273-4_1"},{"key":"25_CR4","unstructured":"B. Chandrasekaran. Design problem solving: A task analysis. AI Magazine, 11:(59\u201371), 1990."},{"key":"25_CR5","doi-asserted-by":"publisher","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, 32:333\u2013377, 1987.","journal-title":"Artificial Intelligence"},{"key":"25_CR6","unstructured":"M. Shanahan. An Abductive Event Calculus Planner. To appear. \n                    http:\/\/www.ics.ee.ic.ac.uk\/~mpsha\/pubs.html\n                    \n                  ."},{"key":"25_CR7","unstructured":"K. Eshghi. Abductive planning with event calculus. In Proceedings of the Fifth International Conference on Logic Programming, 562\u2013579, 1988."},{"issue":"5","key":"25_CR8","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1093\/logcom\/5.5.579","volume":"5","author":"L. Missiaen","year":"1995","unstructured":"L. Missiaen, M. Bruyonooghe, and M. Denecker. Chica, a planning system based on event calculus. The Journal of Logic and Computation, 5(5): 579\u2013602, 1995.","journal-title":"The Journal of Logic and Computation"},{"key":"25_CR9","unstructured":"D. McAllester and D. Rosenblitt. Systematic Nonlinear Planning. In Proceedings of 9th AAAI, 19991."},{"key":"25_CR10","unstructured":"J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of Artificial Intelligence. In Machine Intelligence 4, 1969."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"K. Orsv\u00e4rn. Principles for libraries of task decomposition methods-conclusions from a case-study. In N. Shadbolt, K. O\u2019Hara, and G. Schreiber, editors, Lectures Notes in Artificial Intelligence, 1076, 9\n                           th European Knowledge Acquisition Workshop, EKAW-96, pages 48\u201365. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61273-4_4"},{"key":"25_CR12","unstructured":"R. Reiter. Knowledge in action: Logical foundations for describing and implementing dynamical systems. Draft of the first eight chapters of the book."},{"key":"25_CR13","unstructured":"S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall International, 1995."},{"key":"25_CR14","volume-title":"Formalizing the common sense of a mobile robot","author":"P. E. Santos","year":"1998","unstructured":"P. E. Santos. Formalizing the common sense of a mobile robot. Mol-1998-02, Institute for Logic, Language and Computation, University of Amsterdam, September 1998."},{"issue":"6","key":"25_CR15","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/64.363263","volume":"9","author":"A. Th. Schreiber","year":"1994","unstructured":"A. Th. Schreiber, B. J. Wielinga, R. de Hoog, J. M Akkermans, and W. Van de Velde. CommonKADS: A comprehensive methodology for KBS development. IEEE Expert, 9(6): 28\u201337, December 1994.","journal-title":"IEEE Expert"},{"key":"25_CR16","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"M. Shanahan","year":"1995","unstructured":"M. Shanahan. A Circumscriptive event calculus. Artificial Intelligence, 77:249\u2013284, 1995.","journal-title":"Artificial Intelligence"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"M. Shanahan. Event Calculus planning revised. In Proceedings of European Conference on Planning, pages 390\u2013420. Springer-Verlag Lecture notes in Artificial Intelligence 1348, 1997.","DOI":"10.1007\/3-540-63912-8_101"},{"key":"25_CR18","unstructured":"M. Shanahan. Solving the frame problem. The MIT press, 1997."},{"key":"25_CR19","unstructured":"M. Shanahan. A logical account of the common sense information situation for a mobile robot. Link\u00f6ping Electronic Articles in Computer and Information Science, 1998. \n                    http:\/\/www.ep.liu.se\/ea\/cis\/1998\/\n                    \n                  ."},{"key":"25_CR20","first-page":"26","volume-title":"Readings in Planning","author":"A. Tate","year":"1990","unstructured":"A. Tate, J. Hendler, and M. Drummond. A review of AI planning techniques. In J. Allen, J. Hendler, and A. Tate, editors, Readings in Planning, pages 26\u201349. Kaufmann, San Mateo, CA, 1990."},{"issue":"1","key":"25_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/202187.202195","volume":"6","author":"A. Valente","year":"1995","unstructured":"A. Valente. Knowledge level analysis of planning. SIGART Bulletin, 6(1): 33\u201341, 1995.","journal-title":"SIGART Bulletin"},{"key":"25_CR22","unstructured":"S. Kambhampati. On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-order Planning. In Proceedings of IJCAI, 1991."},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"S. Kambhampati. Multi-Contributor Causal Structures for Planning: A Formalization and Evaluation. Artificial Intelligence, Vol. 69, 1994.","DOI":"10.1016\/0004-3702(94)90083-3"},{"key":"25_CR24","unstructured":"A. Tate. Generating Project Networks. In Proceedings of IJCAI-77, pages 888\u2013893, Boston, 1977."},{"key":"25_CR25","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1006\/ijhc.1997.0192","volume":"48","author":"A. Valente","year":"1998","unstructured":"A. Valente, V. R. Benjamins, and L. N. Barros. A library of system-derived problemsolving methods for planning. In International Journal of Human-Computer Studies 48, 417\u2013447. Academic Press Limited, 1998.","journal-title":"International Journal of Human-Computer Studies"},{"key":"25_CR26","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. In New Generation Computing. Vol. 4:67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"H. Cottam and N. Shadbolt.Domain and system influences in problem solving models for planning. In N. Shadbolt, K. O\u2019Hara, and G. Schreiber, editors, Lectures Notes in Artificial Intelligence, 1076, 9\n                           th European Knowledge Acquisition Workshop, EKAW-96, pages 354\u2013369. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61273-4_23"},{"key":"25_CR28","doi-asserted-by":"crossref","first-page":"(169","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:(169\u2013203), 1971.","journal-title":"Artificial Intelligence"},{"key":"25_CR29","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(94)90012-4","volume":"67:","author":"A. Barret","year":"1994","unstructured":"A. Barret and D. S. Weld. Partial-order planning: evaluating possible efficiency gains. Artificial Intelligence, 67:(71\u2013112), 1994.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Knowledge Engineering and Knowledge Management Methods, Models, and Tools"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39967-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:39:58Z","timestamp":1558471198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39967-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411192","9783540399674"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-39967-4_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"2 July 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}