{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T14:25:11Z","timestamp":1774103111305,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540639121","type":"print"},{"value":"9783540696650","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63912-8_83","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:37:40Z","timestamp":1153132660000},"page":"156-168","source":"Crossref","is-referenced-by-count":9,"title":["Planning with sensing for a mobile robot"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"De Giacomo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Iocchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Nardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Rosati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"13_CR1","unstructured":"F. Bacchus and F. Kabanza. Using temporal logic to control search in a forward chaining planner. In Proc. of the 3rd European Workshop on Planning, 1995."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"A. Borgida, R. J. Brachman, D. L. McGuinness, and L. Alperin Resnick. CLASSIC: A structural data model for objects. In Proc. of ACM SIGMOD, pages 59\u201367, 1989.","DOI":"10.1145\/67544.66932"},{"key":"13_CR3","unstructured":"G. De Giacomo, L. Iocchi, D. Nardi, and R. Rosati. Moving a robot: the KR&R approach at work. In Proc. of KR-96, 1996."},{"key":"13_CR4","unstructured":"G. De Giacomo and M. Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proc. of AAAI-94, pages 205\u2013212, 1994."},{"key":"13_CR5","unstructured":"F. M. Donini, D. Nardi, and R. Rosati. Autoepistemic description logics. In Proc. of IJCAI-97, pages 136\u2013141, 1997."},{"key":"13_CR6","unstructured":"O. Etzioni, S. Hanks, D. Weld, D. Draper, N. Lesh, and M. Williamson. An approach to planning with incomplete information. Proc. of KR-92, 1992."},{"issue":"1","key":"13_CR7","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1080\/095281397147095","volume":"9","author":"K. Konolige","year":"1997","unstructured":"K. Konolige, K. Myers, E. Ruspini, and A. Saffiotti. The Saphira architecture: A design for autonomy. Journal of Experimental and Theoretical Artificial Intelligence, 9(1):215\u2013235, 1997.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"13_CR8","first-page":"61","volume":"2","author":"K. Konolige","year":"1995","unstructured":"K. Konolige. Erratic competes with the big boys. AAAI Magazine, 2: 61\u201367, 1995.","journal-title":"AAAI Magazine"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"D. Kozen and J. Tiuryn. Logics of programs. In Handbook of Theoretical Computer Science, pages 790\u2013840. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50019-6"},{"key":"13_CR10","unstructured":"Y. Lesperance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. A logical approach to high-level robot programming. In AAAI Fall Symposium on Control of the Physical World by Intelligent Systems, 1994."},{"key":"13_CR11","unstructured":"H. J. Levesque. What is planning in presence of sensing? In Proc. of AAAI-96, pages 1139\u20131149, 1996."},{"key":"13_CR12","first-page":"53","volume":"70","author":"V. Lifschitz","year":"1994","unstructured":"V. Lifschitz. Minimal belief and negation as failure. AIJ, 70:53\u201372, 1994.","journal-title":"AIJ"},{"key":"13_CR13","unstructured":"F. Lin and Y. Shoham. On non-forgetting and minimal learning. In Proc. of the 1993 Int. Coll. on Cognitive Science, 1993."},{"key":"13_CR14","unstructured":"R. Reiter. Representation and Reasoning for Dynamic Systems, 1997. Forthcoming."},{"key":"13_CR15","first-page":"81","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. AIJ, 13:81\u2013132, 1980.","journal-title":"AIJ"},{"key":"13_CR16","unstructured":"S. Rosenschein. Plan synthesis: a logical approach. In Proc. of IJCAI-81, 1981."},{"issue":"1-2","key":"13_CR17","first-page":"481","volume":"76","author":"A. Saffiotti","year":"1995","unstructured":"A. Saffiotti, K. Konolige, and E. H. Ruspini. A multivalued-logic approach to integrating planning and control. AIJ, 76(1-2):481\u2013526, 1995.","journal-title":"AIJ"},{"key":"13_CR18","unstructured":"R. Scherl and H. J. Levesque. The frame problem and knowledge producing action. In Proc. of AAAI-93, pages 689\u2013695, 1993."},{"key":"13_CR19","unstructured":"K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. of IJCAI-91, pages 466\u2013471, 1991."},{"key":"13_CR20","unstructured":"M. Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. The 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_83","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T08:48:20Z","timestamp":1547714900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63912-8_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540639121","9783540696650"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-63912-8_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}