{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:53:01Z","timestamp":1771699981967,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319232638","type":"print"},{"value":"9783319232645","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_42","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"502-516","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Mobile Robot Planning Using Action Language $${\\mathcal {BC}}$$ with an Abstraction Hierarchy"],"prefix":"10.1007","author":[{"given":"Shiqi","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fangkai","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piyush","family":"Khandelwal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Stone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"42_CR1","unstructured":"Chen, X., Jin, G., Yang, F.: Extending C+ with composite actions for robotic task planning. In: ICLP (Technical Communications), pp. 404\u2013414 (2012)"},{"key":"42_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-39451-8_36","volume-title":"KI 2003: Advances in Artificial Intelligence","author":"J Dix","year":"2003","unstructured":"Dix, J., Kuter, U., Nau, D.S.: Planning in answer set programming using ordered task decomposition. In: G\u00fcnter, A., Kruse, R., Neumann, B. (eds.) KI 2003. LNCS (LNAI), vol. 2821, pp. 490\u2013504. Springer, Heidelberg (2003)"},{"key":"42_CR3","unstructured":"Erol, K., Hendler, J.A., Nau, D.S.: HTN planning: complexity and expressivity. In: National Conference on Artificial Intelligence (AAAI) (1994)"},{"issue":"3","key":"42_CR4","first-page":"189","volume":"2","author":"RE Fikes","year":"1972","unstructured":"Fikes, R.E., Nilsson, N.J.: Strips: a new approach to the application of theorem proving to problem solving. Artif. Intell. 2(3), 189\u2013208 (1972)","journal-title":"Artif. Intell."},{"key":"42_CR5","unstructured":"Fox, D., Burgard, W., Dellaert, F., Thrun, S.: Monte carlo localization: efficient position estimation for mobile robots. In: National Conference on Artificial Intelligence (AAAI) (1999)"},{"issue":"4","key":"42_CR6","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TRO.2004.829480","volume":"20","author":"C Galindo","year":"2004","unstructured":"Galindo, C., Fernandez-Madrigal, J.A., Gonzalez, J.: Improving efficiency in mobile robot task planning through world abstraction. IEEE Trans. Robot. 20(4), 677\u2013690 (2004)","journal-title":"IEEE Trans. Robot."},{"key":"42_CR7","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo= asp+ control: preliminary report. In: arXiv preprint (2014) arXiv:1405.3694"},{"key":"42_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-20832-4_21","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"P Cabalar","year":"2011","unstructured":"Cabalar, P.: Answer set; programming? In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 334\u2013343. Springer, Heidelberg (2011)"},{"key":"42_CR9","first-page":"193","volume":"3","author":"M Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. (ETAI) 3, 193\u2013210 (1998)","journal-title":"Electron. Trans. Artif. Intell. (ETAI)"},{"issue":"1\u20132","key":"42_CR10","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. (AIJ) 153(1\u20132), 49\u2013104 (2004)","journal-title":"Artif. Intell. (AIJ)"},{"key":"42_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10462-007-9049-y","volume":"26","author":"M Helmert","year":"2006","unstructured":"Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. 26, 191\u2013246 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"Kaelbling, L.P., Lozano-P\u00e9rez, T.: Hierarchical task and motion planning in the now. In: IEEE International Conference on Robotics and Automation (ICRA). IEEE (2011)","DOI":"10.1109\/ICRA.2011.5980391"},{"key":"42_CR13","doi-asserted-by":"crossref","unstructured":"Khandelwal, P., Yang, F., Leonetti, M., Lifschitz, V., Stone, P.: Planning in action language $${\\cal BC}$$ while learning action costs for mobile robots. In: International Conference on Automated Planning and Scheduling (ICAPS) (2014)","DOI":"10.1609\/icaps.v24i1.13671"},{"key":"42_CR14","unstructured":"Lee, J., Lifschitz, V., Yang, F.: Action Language $${\\cal BC}$$: a preliminary report. In: International Joint Conference on Artificial Intelligence (IJCAI) (2013)"},{"key":"42_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138, 39\u201354 (2002)","journal-title":"Artif. Intell."},{"key":"42_CR16","unstructured":"Marthi, B., Russell, S., Wolfe, J.: Angelic hierarchical planning: optimal and online algorithms (revised). Technical Report, UCB\/EECS-2009-122, EECS Department, University of California, Berkeley (2009)"},{"key":"42_CR17","unstructured":"McDermott, D., Ghallab, M., Howe, A., Knoblock, C., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL-the planning domain definition language (1998)"},{"key":"42_CR18","unstructured":"McIlraith, S.A., Fadel, R.: Planning with complex actions. In: International Workshop on Non-Monotonic Reasoning (NMR) (2002)"},{"key":"42_CR19","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"B Nebel","year":"2001","unstructured":"Nebel, B.: The FF planning system: fast plan generation through heuristic search. J. Artif. Intell. Res. 14, 253\u2013302 (2001)","journal-title":"J. Artif. Intell. Res."},{"key":"42_CR20","unstructured":"Pednault, E.: ADL: exploring the middle ground between STRIPS and the situation calculus. In: International Conference on Principles of Knowledge Representation and Reasoning (KR) (1989)"},{"key":"42_CR21","unstructured":"Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y.: ROS: an open-source robot operating system. In: Open Source Software in Robotics Workshop (2009)"},{"key":"42_CR22","unstructured":"Rosenthal, S., Veloso, M.M.: Mobile robot planning to seek help with spatially-situated tasks. In: AAAI (2012)"},{"issue":"2","key":"42_CR23","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","volume":"5","author":"ED Sacerdoti","year":"1974","unstructured":"Sacerdoti, E.D.: Planning in a hierarchy of abstraction spaces. Artif. Intell. 5(2), 115\u2013135 (1974)","journal-title":"Artif. Intell."},{"key":"42_CR24","unstructured":"Tenenberg, J.D.: Abstraction in planning. Ph.D. thesis, University of Rochester (1988)"},{"key":"42_CR25","unstructured":"Thi\u00e9baux, S., Hoffmann, J., Nebel, B.: In defense of PDDL axioms. In: International Joint Conference on Artificial Intelligence (IJCAI) (2003)"},{"key":"42_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"400","DOI":"10.1007\/978-3-319-11973-1_41","volume-title":"Social Robotics","author":"S Zhang","year":"2014","unstructured":"Zhang, S., Sridharan, M., Gelfond, M., Wyatt, J.: Towards an architecture for knowledge representation and reasoning in robotics. In: Beetz, M., Johnston, B., Williams, M.-A. (eds.) ICSR 2014. LNCS, vol. 8755, pp. 400\u2013410. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T15:41:40Z","timestamp":1676475700000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}