{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T01:06:39Z","timestamp":1770685599585,"version":"3.49.0"},"publisher-location":"Cham","reference-count":151,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319325507","type":"print"},{"value":"9783319325521","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","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":[[2016]]},"DOI":"10.1007\/978-3-319-32552-1_14","type":"book-chapter","created":{"date-parts":[[2016,7,27]],"date-time":"2016-07-27T19:03:33Z","timestamp":1469646213000},"page":"329-356","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["AI Reasoning Methods for Robotics"],"prefix":"10.1007","author":[{"given":"Michael","family":"Beetz","sequence":"first","affiliation":[]},{"given":"Raja","family":"Chatila","sequence":"additional","affiliation":[]},{"given":"Joachim","family":"Hertzberg","sequence":"additional","affiliation":[]},{"given":"Federico","family":"Pecora","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,27]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0167-2789(90)90087-6","volume":"42","author":"S. Harnad","year":"1990","unstructured":"S. Harnad: The symbol grounding problem, Physica D 42, 335\u2013346 (1990)","journal-title":"Physica D"},{"issue":"2\/3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0921-8890(03)00021-6","volume":"43","author":"S. Coradeschi","year":"2003","unstructured":"S. Coradeschi, A. Saffiotti: An introduction to the anchoring problem, Robotics Auton. Syst. 43(2\/3), 85\u201396 (2003)","journal-title":"Robotics Auton. Syst."},{"key":"14_CR3","volume-title":"The Description Logic Handbook","year":"2003","unstructured":"F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider (Eds.): The Description Logic Handbook (Cambridge Univ. Press, Cambridge 2003)"},{"key":"14_CR4","volume-title":"Artificial Intelligence: A\u00a0Modern Approach","author":"S.J. Russell","year":"2010","unstructured":"S.J. Russell, P. Norvig: Artificial Intelligence: A\u00a0Modern Approach, 3rd edn. (Pearson Education, Upper Saddle River 2010)","edition":"3"},{"key":"14_CR5","volume-title":"Knowledge Representation and Reasoning","author":"R.J. Brachman","year":"2004","unstructured":"R.J. Brachman, H.J. Levesque: Knowledge Representation and Reasoning (Morgan Kaufmann, San Francisco 2004)"},{"key":"14_CR6","volume-title":"Methods of Logic","author":"W.O. van Quine","year":"1982","unstructured":"W.O. van Quine: Methods of Logic, 4th edn. (Harvard Univ. Press, Cambridge 1982)","edition":"4"},{"key":"14_CR7","volume-title":"The Deductive Foundations of Computer Programming: A One-Volume Version of \u2018\u2018The Logical Basis for Computer Programming\u2019\u2019","author":"Z. Manna","year":"1993","unstructured":"Z. Manna, R. Waldinger: The Deductive Foundations of Computer Programming: A One-Volume Version of \u2018\u2018The Logical Basis for Computer Programming\u2019\u2019 (Addison-Wesley, Reading 1993)"},{"key":"14_CR8","volume-title":"Handbook of Philosophical Logic","author":"W. Hodges","year":"1983","unstructured":"W. Hodges: Elementary predicate logic. In: Handbook of Philosophical Logic, Vol. 1, ed. by D. Gabbay, F. Guenthner (D. Reidel, Dordrecht 1983)"},{"key":"14_CR9","volume-title":"Handbook of Automated Reasoning","year":"2001","unstructured":"A. Robinson, A. Voronkov (Eds.): Handbook of Automated Reasoning (Elsevier, Amsterdam 2001)"},{"issue":"7","key":"14_CR10","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M. Davis","year":"1962","unstructured":"M. Davis, G. Logemann, D. Loveland: A machine program for theorem proving, Communications ACM 5(7), 394\u2013397 (1962)","journal-title":"Communications ACM"},{"key":"14_CR11","unstructured":"The international SAT Competitions web page: http:\/\/www.satcompetition.org\/"},{"key":"14_CR12","unstructured":"The Web Ontology Language OWL: http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"14_CR13","unstructured":"OWL 2 Web Ontology Language Document Overview (Second Edition): http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"14_CR14","doi-asserted-by":"publisher","DOI":"10.1201\/9781420090512","volume-title":"Foundations of Semantic Web Technologies","author":"P. Hitzler","year":"2009","unstructured":"P. Hitzler, M. Kr\u00f6tzsch, S. Rudolph: Foundations of Semantic Web Technologies (Chapman Hall\/CRC, Boca Raton 2009)"},{"key":"14_CR15","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy, P. Hayes: Some philosophical problems from the standpoint of artificial intelligence, Mach. Intell. 4, 463\u2013507 (1969)","journal-title":"Mach. Intell."},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"H. Levesque, R. Reiter, Y. Lesp\u00e9rance, F. Lin, R. Scherl: Golog: A logic programming language for dynamic domains, J. Log. Program. 31, 59\u201383 (1997)","journal-title":"J. Log. Program."},{"key":"14_CR17","first-page":"104","volume-title":"ATAL \u201900: Proc. 7th Int. Workshop Intell. Agents VII. Agent Theor. Archit. Lang.","author":"M. Shanahan","year":"2001","unstructured":"M. Shanahan, M. Witkowski: High-level robot control through logic, ATAL \u201900: Proc. 7th Int. Workshop Intell. Agents VII. Agent Theor. Archit. Lang. (2001) pp. 104\u2013121"},{"key":"14_CR18","volume-title":"Reasoning Robots. The Art and Science of Programming Robotic Agents","author":"M. Thielscher","year":"2005","unstructured":"M. Thielscher: Reasoning Robots. The Art and Science of Programming Robotic Agents (Springer, Berlin 2005)"},{"issue":"3","key":"14_CR19","first-page":"95","volume":"22","author":"P. Doherty","year":"2001","unstructured":"P. Doherty, J. Kvarnstr\u00f6m: TALplanner: A temporal logic based planner, AI Magazine 22(3), 95\u2013102 (2001)","journal-title":"AI Magazine"},{"key":"14_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21548-8","volume-title":"Elementary Probability Theory","author":"K.L. Chung","year":"2003","unstructured":"K.L. Chung, F. AitSahila: Elementary Probability Theory, 4th edn. (Springer, Berlin, Heidelberg 2003)","edition":"4"},{"key":"14_CR21","volume-title":"Probabilistic Reasoning in Intelligent Systems","author":"J. Pearl","year":"1988","unstructured":"J. Pearl: Probabilistic Reasoning in Intelligent Systems (Morgan Kaufmann, San Mateo 1988)"},{"key":"14_CR22","series-title":"Tech. Rep. AAAI-94","first-page":"1023","volume-title":"Acting Optimally in Partially Observable Stochastic Domains","author":"A.R. Cassandra","year":"1994","unstructured":"A.R. Cassandra, L.P. Kaelbling, M.L. Littman: Acting Optimally in Partially Observable Stochastic Domains, Tech. Rep. AAAI-94 (Department of Computer Science, Brown University, Providence 1994) pp. 1023\u20131028"},{"key":"14_CR23","volume-title":"Dynamic Programming","author":"R.E. Bellman","year":"1957","unstructured":"R.E. Bellman: Dynamic Programming (Princeton Univ. Press, Princeton 1957)"},{"issue":"9\/10","key":"14_CR24","doi-asserted-by":"publisher","first-page":"1194","DOI":"10.1177\/0278364913484072","volume":"32","author":"L.P. Kaelbling","year":"2013","unstructured":"L.P. Kaelbling, T. Lozano-P\u00e9rez: Integrated task and motion planning in belief space, Int. J. Robotics Res. 32(9\/10), 1194\u20131227 (2013)","journal-title":"Int. J. Robotics Res."},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"R.E. Fikes, N.J. Nilsson: Strips: A new approach to theorem proving in problem solving, J. Artif. Intell. 2, 189\u2013208 (1971)","journal-title":"J. Artif. Intell."},{"issue":"2","key":"14_CR26","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"P.E. Hart","year":"1968","unstructured":"P.E. Hart, N.J. Nilsson, B. Raphael: A formal basis for the heuristic determination of minimum cost paths, IEEE Trans. Syst. Sci. Cybern. 4(2), 100\u2013107 (1968)","journal-title":"IEEE Trans. Syst. Sci. Cybern."},{"key":"14_CR27","volume-title":"Automated Planning \u2013 Theory and Practice","author":"M. Ghallab","year":"2004","unstructured":"M. Ghallab, D.S. Nau, P. Traverso: Automated Planning \u2013 Theory and Practice (Elsevier, Amsterdam 2004)"},{"key":"14_CR28","first-page":"46","volume-title":"Proc. 18th Annu. Symp. Found. Comput. Sci., Providence","author":"A. Pnueli","year":"1977","unstructured":"A. Pnueli: The temporal logic of programs, Proc. 18th Annu. Symp. Found. Comput. Sci., Providence (1977) pp. 46\u201357"},{"issue":"3","key":"14_CR29","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O. Kupferman","year":"2001","unstructured":"O. Kupferman, M.Y. Vardi: Model checking of safety properties, Form. Methods Syst. Des. 19(3), 291\u2013314 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"14_CR30","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s10703-008-0058-5","volume":"34","author":"E. Plaku","year":"2009","unstructured":"E. Plaku, L.E. Kavraki, M.Y. Vardi: Hybrid systems: From verification to falsification by combining motion planning and discrete search, Form. Methods Syst. Des. 34, 157\u2013182 (2009)","journal-title":"Form. Methods Syst. Des."},{"issue":"3","key":"14_CR31","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MRA.2011.942115","volume":"18","author":"A. Bhatia","year":"2011","unstructured":"A. Bhatia, M.R. Maly, L.E. Kavraki, M.Y. Vardi: Motion planning with complex goals, IEEE Robotics Autom. Mag. 18(3), 55\u201364 (2011)","journal-title":"IEEE Robotics Autom. Mag."},{"key":"14_CR32","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1016\/B978-1-4832-1447-4.50034-1","volume-title":"Readings in Qualitative Reasoning About Physical Systems","author":"M. Vilain","year":"1990","unstructured":"M. Vilain, H. Kautz, P. van Beek: Constraint propagation algorithms for temporal reasoning: A\u00a0revised report. In: Readings in Qualitative Reasoning About Physical Systems, ed. by D.S. Weld, J. de Kleer (Morgan Kaufmann, San Francisco 1990) pp. 373\u2013381"},{"issue":"2","key":"14_CR33","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"J. Allen: Towards a general theory of action and time, Artif. Intell. 23(2), 123\u2013154 (1984)","journal-title":"Artif. Intell."},{"key":"14_CR34","volume-title":"Foundations of Constraint Satisfaction","author":"E.P.K. Tsang","year":"1993","unstructured":"E.P.K. Tsang: Foundations of Constraint Satisfaction (Academic Press, London, San Diego 1993)"},{"issue":"1\/2","key":"14_CR35","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.artint.2004.05.010","volume":"160","author":"P. Jonsson","year":"2004","unstructured":"P. Jonsson, A. Krokhin: Complexity classification in qualitative temporal constraint reasoning, Artif. Intell. 160(1\/2), 35\u201351 (2004)","journal-title":"Artif. Intell."},{"key":"14_CR36","volume-title":"AAAI Workshop Spat. Temp. Reason., Portland","author":"G. Ligozat","year":"1996","unstructured":"G. Ligozat: A new proof of tractability for ORD-horn relations, AAAI Workshop Spat. Temp. Reason., Portland (1996)"},{"key":"14_CR37","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari: Networks of constraints: Fundamental properties and applications to picture processing, Inf. Sci. 7, 95\u2013132 (1974)","journal-title":"Inf. Sci."},{"issue":"6","key":"14_CR38","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/367766.368168","volume":"5","author":"R.W. Floyd","year":"1962","unstructured":"R.W. Floyd: Algorithm 97: Shortest path, Communications ACM 5(6), 345 (1962)","journal-title":"Communications ACM"},{"key":"14_CR39","volume-title":"Proc. 4th Int. Conf. Temp. Log., Cairns","author":"L. Xu","year":"2003","unstructured":"L. Xu, B.Y. Choueiry: A new efficient algorithm for solving the simple temporal problem, Proc. 4th Int. Conf. Temp. Log., Cairns (2003)"},{"key":"14_CR40","first-page":"256","volume-title":"Proc. Int. Conf. Autom. Plan. Sched. (ICAPS), Sydney","author":"L.R. Planken","year":"2008","unstructured":"L.R. Planken, M.M. De Weerdt, R.P.J. van der Krogt: P3C: A new algorithm for the simple temporal problem, Proc. Int. Conf. Autom. Plan. Sched. (ICAPS), Sydney (2008) pp. 256\u2013263"},{"key":"14_CR41","first-page":"1319","volume-title":"Proc. 23rd Natl. Conf. Artif. Intell., Chicago","author":"C. McGann","year":"2008","unstructured":"C. McGann, F. Py, K. Rajan, J. Ryan, R. Henthorn: Adaptive control for autonomous underwater vehicles, Proc. 23rd Natl. Conf. Artif. Intell., Chicago (2008) pp. 1319\u20131324"},{"issue":"1","key":"14_CR42","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1109\/JPROC.2002.805828","volume":"91","author":"B.C. Williams","year":"2003","unstructured":"B.C. Williams, M.D. Ingham, S.H. Chung, P.H. Elliott: Model-based programming of intelligent embedded systems and robotic space explorers, Proceedings IEEE 91(1), 212\u2013237 (2003)","journal-title":"Proceedings IEEE"},{"key":"14_CR43","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1080\/095281399146607","volume":"11","author":"T. Vidal","year":"1999","unstructured":"T. Vidal, H. Fargier: Handling contingency in temporal constraint networks: From consistency to controllabilities, J. Exp. Theor. Artif. Intell. 11, 23\u201345 (1999)","journal-title":"J. Exp. Theor. Artif. Intell."},{"issue":"2","key":"14_CR44","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/s10458-009-9079-8","volume":"2","author":"P. Doherty","year":"2009","unstructured":"P. Doherty, J. Kvarnstr\u00f6m, F. Heintz: A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems, J. Auton. Agents Multi-Agent Syst. 2(2), 332\u2013377 (2009)","journal-title":"J. Auton. Agents Multi-Agent Syst."},{"issue":"4","key":"14_CR45","doi-asserted-by":"publisher","first-page":"347","DOI":"10.3233\/AIS-2012-0157","volume":"4","author":"F. Pecora","year":"2012","unstructured":"F. Pecora, M. Cirillo, F. Dell\u2019Osa, J. Ullberg, A. Saffiotti: A constraint-based approach for proactive, context-aware human support, J. Ambient Intell. Smart Environ. 4(4), 347\u2013367 (2012)","journal-title":"J. Ambient Intell. Smart Environ."},{"key":"14_CR46","series-title":"The Morgan Kaufmann Series in Artificial Intelligence","first-page":"155","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"R. Dechter: Constraint Processing, The Morgan Kaufmann Series in Artificial Intelligence (Morgan Kaufmann, San Francisco 2003) pp. 155\u2013165"},{"issue":"5","key":"14_CR47","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1142\/S0218213008004229","volume":"17","author":"A. Loutfi","year":"2008","unstructured":"A. Loutfi, S. Coradeschi, M. Daoutis, J. Melchert: Using knowledge representation for perceptual anchoring in a robotic system, Int. J. Artif. Intell. Tools 17(5), 925\u2013944 (2008)","journal-title":"Int. J. Artif. Intell. Tools"},{"issue":"8","key":"14_CR48","doi-asserted-by":"publisher","first-page":"1401","DOI":"10.1016\/j.patcog.2006.02.022","volume":"39","author":"O. Colliot","year":"2006","unstructured":"O. Colliot, O. Camara, I. Bloch: Integration of fuzzy spatial relations in deformable models \u2013 Application to brain MRI segmentation, Pattern Recogn. 39(8), 1401\u20131414 (2006)","journal-title":"Pattern Recogn."},{"key":"14_CR49","volume-title":"Annu. Meet. North Am. Fuzzy Inf. Proces. Soc., Syracuse","author":"X. Wang","year":"1997","unstructured":"X. Wang, J.M. Keller, P. Gader: Using spatial relationships as features in object recognition, Annu. Meet. North Am. Fuzzy Inf. Proces. Soc., Syracuse (1997)"},{"key":"14_CR50","volume-title":"Proc. Int. Conf. Princ. Knowl. Represent. Reason., Cambridge","author":"D.A. Randell","year":"1992","unstructured":"D.A. Randell, Z. Cui, A.G. Cohn: A Spatial Logic based on Regions and Connection, Proc. Int. Conf. Princ. Knowl. Represent. Reason., Cambridge (1992)"},{"issue":"2","key":"14_CR51","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0004-3702(03)00137-1","volume":"152","author":"S. Skiadopoulos","year":"2004","unstructured":"S. Skiadopoulos, M. Koubarakis: Composing cardinal direction relations, Artif. Intell. 152(2), 143\u2013171 (2004)","journal-title":"Artif. Intell."},{"key":"14_CR52","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-1-4020-5587-4_4","volume-title":"Handbook of Spatial Logics","author":"J. Renz","year":"2007","unstructured":"J. Renz, B. Nebel: Qualitative spatial reasoning using constraint calculi. In: Handbook of Spatial Logics, ed. by M. Aiello, I. Pratt-Hartmann, J.F.A.K. van Benthem (Springer, Berlin, Heidelberg 2007) pp. 161\u2013215"},{"issue":"2","key":"14_CR53","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0004-3702(98)00093-9","volume":"106","author":"T. Drakengren","year":"1998","unstructured":"T. Drakengren, P. Jonsson: A complete classification of tractability in Allen\u2019s algebra relative to subsets of basic relations, Artif. Intell. 106(2), 205\u2013219 (1998)","journal-title":"Artif. Intell."},{"key":"14_CR54","first-page":"588","volume-title":"Proc. 13th Int. Conf. Princ. Knowl. Represent. Reason., Rome","author":"A.G. Cohn","year":"2012","unstructured":"A.G. Cohn, J. Renz, M. Sridhar: Thinking inside the box: A comprehensive spatial representation for video analysis, Proc. 13th Int. Conf. Princ. Knowl. Represent. Reason., Rome (2012) pp. 588\u2013592"},{"key":"14_CR55","first-page":"442","volume-title":"Proc. 16th Int. Jt. Conf. Artif. Intell., Stockholm","author":"P. Balbiani","year":"1999","unstructured":"P. Balbiani, J.-F. Condotta, L. Farinas Del Cerro: A\u00a0new tractable subclass of the rectangle algebra, Proc. 16th Int. Jt. Conf. Artif. Intell., Stockholm (1999) pp. 442\u2013447"},{"key":"14_CR56","volume-title":"Proc. IROS Workshop AI-Based Robotics, Tokyo","author":"M. Mansouri","year":"2013","unstructured":"M. Mansouri, F. Pecora: A representation for spatial reasoning in robotic planning, Proc. IROS Workshop AI-Based Robotics, Tokyo (2013)"},{"key":"14_CR57","first-page":"647","volume-title":"IEEE Int. Conf. Robotics Autom. (ICRA), Hong Kong","author":"M. Mansouri","year":"2014","unstructured":"M. Mansouri, F. Pecora: More knowledge on the table: Planning with space, time and resources for robots, IEEE Int. Conf. Robotics Autom. (ICRA), Hong Kong (2014) pp. 647\u2013654"},{"issue":"2","key":"14_CR58","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1109\/TSMCC.2004.826273","volume":"34","author":"M. Skubic","year":"2004","unstructured":"M. Skubic, D. Perzanowski, S. Blisard, A. Schultz, W. Adams, M. Bugajska, D. Brock: Spatial language for human-robot dialogs, IEEE Trans. Syst. Man Cybern. C 34(2), 154\u2013167 (2004)","journal-title":"IEEE Trans. Syst. Man Cybern. C"},{"issue":"1","key":"14_CR59","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1207\/s15427633scc0601_3","volume":"6","author":"R. Moratz","year":"2006","unstructured":"R. Moratz, T. Tenbrink: Spatial reference in linguistic human-robot interaction: Iterative, empirically supported development of a model of projective relations, Spat. Cogn. Comput. 6(1), 63\u2013107 (2006)","journal-title":"Spat. Cogn. Comput."},{"key":"14_CR60","first-page":"1640","volume-title":"IEEE\/RSJ Int. Conf. Intell. Robots Syst. (IROS), Tokyo","author":"S. Guadarrama","year":"2013","unstructured":"S. Guadarrama, L. Riano, D. Golland, D. Gouhring, Y. Jia, D. Klein, P. Abbeel, T. Darrell: Grounding spatial relations for human-robot interaction, IEEE\/RSJ Int. Conf. Intell. Robots Syst. (IROS), Tokyo (2013) pp. 1640\u20131647"},{"key":"14_CR61","first-page":"163","volume-title":"IEEE Int. Conf. Robotics Autom. (ICRA), Hong Kong","author":"L. Kunze","year":"2014","unstructured":"L. Kunze, K.K. Doreswamy, N. Hawes: Using qualitative spatial relations for indirect object search, IEEE Int. Conf. Robotics Autom. (ICRA), Hong Kong (2014) pp. 163\u2013168"},{"key":"14_CR62","first-page":"4141","volume-title":"Proc. IEEE\/RSJ Int. Conf. Intell. Robots Syst., San Francisco","author":"L. Mosenlechner","year":"2011","unstructured":"L. Mosenlechner, M. Beetz: Parameterizing actions to have the appropriate effects, Proc. IEEE\/RSJ Int. Conf. Intell. Robots Syst., San Francisco (2011) pp. 4141\u20134147"},{"key":"14_CR63","first-page":"202","volume-title":"Proc. IEEE\/RSJ Int. Conf. Intell. Robots Syst., Tokyo","author":"A. Gaschler","year":"2013","unstructured":"A. Gaschler, R.P.A. Petrick, M. Giuliani, M. Rickert, A. Knoll: KVP: A knowledge of volumes approach to robot task planning, Proc. IEEE\/RSJ Int. Conf. Intell. Robots Syst., Tokyo (2013) pp. 202\u2013208"},{"key":"14_CR64","first-page":"4552","volume-title":"IEEE Int. Conf. Robotics Autom. (ICRA), Tokyo","author":"G. Havur","year":"2013","unstructured":"G. Havur, K. Haspalamutgil, C. Palaz, E. Erdem, V. Patoglu: A case study on the Tower of Hanoi challenge: Representation, reasoning and execution, IEEE Int. Conf. Robotics Autom. (ICRA), Tokyo (2013) pp. 4552\u20134559"},{"key":"14_CR65","first-page":"232","volume-title":"IEEE\/RSJ Int. Conf. Intell. Robots Syst. (IROS), Tokyo","author":"L. de Silva","year":"2013","unstructured":"L. de Silva, A.K. Pandey, R. Alami: An interface for interleaved symbolic-geometric planning and backtracking, IEEE\/RSJ Int. Conf. Intell. Robots Syst. (IROS), Tokyo (2013) pp. 232\u2013239"},{"key":"14_CR66","first-page":"1470","volume-title":"IEEE Int. Conf. Robotics Autom. (ICRA)","author":"L.P. Kaelbling","year":"2011","unstructured":"L.P. Kaelbling, T. Lozano-P\u00e9rez: Hierarchical task and motion planning in the now, IEEE Int. Conf. Robotics Autom. (ICRA) (2011) pp. 1470\u20131477"},{"key":"14_CR67","first-page":"957","volume-title":"Proc. IEEE\/RSJ Int. Conf. Intell. Robots Syst., Vilamoura","author":"F. Lagriffoul","year":"2012","unstructured":"F. Lagriffoul, D. Dimitrov, A. Saffiotti, L. Karlsson: Constraint propagation on interval bounds for dealing with geometric backtracking, Proc. IEEE\/RSJ Int. Conf. Intell. Robots Syst., Vilamoura (2012) pp. 957\u2013964"},{"key":"14_CR68","first-page":"198","volume-title":"Proc. 5th Int. Conf. Princ. Knowl. Represent. Reason. (KR\u201996), Cambridge","author":"G. de Giacomo","year":"1996","unstructured":"G. de Giacomo, L. Iocchi, D. Nardi, R. Rosati: Moving a robot: the KR&R approach at work, Proc. 5th Int. Conf. Princ. Knowl. Represent. Reason. (KR\u201996), Cambridge (1996) pp. 198\u2013209"},{"key":"14_CR69","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-85845-4_8","volume":"5243","author":"R. Hartanto","year":"2008","unstructured":"R. Hartanto, J. Hertzberg: Fusing DL reasoning with HTN planning, Lect. Notes Comput. Sci. 5243, 62\u201369 (2008)","journal-title":"Lect. Notes Comput. Sci."},{"key":"14_CR70","first-page":"27","volume-title":"Proc. ICRA-07 Workshop Semant. Inf. Robotics, Rome","author":"C. Galindo","year":"2007","unstructured":"C. Galindo, J.A. Fernandez-Madrigal, J. Gonzalez, A. Saffiotti: Using semantic information for improving efficiency of robot task planning, Proc. ICRA-07 Workshop Semant. Inf. Robotics, Rome (2007) pp. 27\u201332"},{"key":"14_CR71","volume-title":"Proc. 20th Int. Jt. Conf. Artif. Intell., Hyderabad","author":"W. Cushing","year":"2007","unstructured":"W. Cushing, S. Kambhampati, Mausam, D.S. Weld: When is temporal planning really temporal?, Proc. 20th Int. Jt. Conf. Artif. Intell., Hyderabad (2007)"},{"key":"14_CR72","first-page":"1852","volume-title":"Proc. 15th Int. Conf. Autom. Plan. Sched. (ICAPS), Monterey","author":"J.L. Bresina","year":"2005","unstructured":"J.L. Bresina, A.K. J\u00f3nsson, P.H. Morris, K. Rajan: Activity planning for the Mars exploration rovers, Proc. 15th Int. Conf. Autom. Plan. Sched. (ICAPS), Monterey (2005) pp. 1852\u20131859"},{"key":"14_CR73","volume-title":"Proc. 24th Int. Conf. Autom. Plan. Sched. (ICAPS), Portsmouth","author":"M. Cirillo","year":"2014","unstructured":"M. Cirillo, F. Pecora, H. Andreasson, T. Uras, S. Koenig: Integrated motion planning and coordination for industrial vehicles, Proc. 24th Int. Conf. Autom. Plan. Sched. (ICAPS), Portsmouth (2014)"},{"issue":"2","key":"14_CR74","first-page":"231","volume":"18","author":"S. Fratini","year":"2008","unstructured":"S. Fratini, F. Pecora, A. Cesta: Unifying planning and scheduling as timelines in a component-based perspective, Arch. Control Sci. 18(2), 231\u2013271 (2008)","journal-title":"Arch. Control Sci."},{"key":"14_CR75","first-page":"61","volume-title":"Proc. 2nd Int. Conf. Artif. Intell. Plan. Syst. (AIPS-94), Chicago","author":"M. Ghallab","year":"1994","unstructured":"M. Ghallab, H. Laruelle: Representation and control in IxTeT, a temporal planner, Proc. 2nd Int. Conf. Artif. Intell. Plan. Syst. (AIPS-94), Chicago (1994) pp. 61\u201367"},{"key":"14_CR76","volume-title":"Proc. 15th Int. Conf. Autom. Plan. Sched. (ICAPS), S\u00e3o Paulo","author":"P. Gregory","year":"2012","unstructured":"P. Gregory, D. Long, M. Fox, J.C. Beck: Planning modulo theories: Extending the planning paradigm, Proc. 15th Int. Conf. Autom. Plan. Sched. (ICAPS), S\u00e3o Paulo (2012)"},{"key":"14_CR77","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1145\/1217856.1217859","volume":"53","author":"R. Nieuwenhuis","year":"2006","unstructured":"R. Nieuwenhuis, A. Oliveras, C. Tinelli: Solving SAT and SAT modulo theories: From an abstract Davis\u2013Putnam\u2013Logemann\u2013Loveland procedure to DPLL(T), Journal ACM 53, 937\u2013977 (2006)","journal-title":"Journal ACM"},{"key":"14_CR78","volume-title":"IEEE Int. Conf. Robotics Autom. (ICRA), Hong Kong","author":"S. Nedunuri","year":"2014","unstructured":"S. Nedunuri, S. Prabhu, M. Moll, S. Chaudhuri, L.E. Kavraki: SMT-based synthesis of integrated task and motion plans for mobile manipulation, IEEE Int. Conf. Robotics Autom. (ICRA), Hong Kong (2014)"},{"key":"14_CR79","volume-title":"Proc. 28th Conf. Artif. Intell., Queb\u00e9c City","author":"U. K\u00f6ckemann","year":"2014","unstructured":"U. K\u00f6ckemann, L. Karlsson, F. Pecora: Grandpa hates robots \u2013 Interaction constraints for planning in inhabited environments, Proc. 28th Conf. Artif. Intell., Queb\u00e9c City (2014)"},{"key":"14_CR80","volume-title":"Proc. IEEE\/RSJ Int. Conf. Intell. Robots Syst., Tokyo","author":"M. Di Rocco","year":"2013","unstructured":"M. Di Rocco, F. Pecora, A. Saffiotti: When robots are late: Configuration planning for multiple robots with dynamic goals, Proc. IEEE\/RSJ Int. Conf. Intell. Robots Syst., Tokyo (2013)"},{"issue":"3","key":"14_CR81","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1109\/TSMCA.2010.2076404","volume":"41","author":"G.H. Lim","year":"2011","unstructured":"G.H. Lim, I.H. Suh, H. Suh: Ontology-based unified robot knowledge for service robots in indoor environments, IEEE Trans. Syst. Man Cybern. A 41(3), 492\u2013509 (2011)","journal-title":"IEEE Trans. Syst. Man Cybern. A"},{"key":"14_CR82","first-page":"3548","volume-title":"Proc. 2010 IEEE\/RSJ Int. Conf. Intell. Robots Syst., Taipei","author":"S. Lemaignan","year":"2010","unstructured":"S. Lemaignan, R. Ros, L. M\u00f6senlechner, R. Alami, M. Beetz: ORO, a knowledge management module for cognitive architectures in robotics, Proc. 2010 IEEE\/RSJ Int. Conf. Intell. Robots Syst., Taipei (2010) pp. 3548\u20133553"},{"issue":"5","key":"14_CR83","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1177\/0278364913481635","volume":"32","author":"M. Tenorth","year":"2013","unstructured":"M. Tenorth, M. Beetz: KnowRob \u2013 A knowledge processing infrastructure for cognition-enabled robots, Int. J. Robotics Res. 32(5), 566\u2013590 (2013)","journal-title":"Int. J. Robotics Res."},{"issue":"4","key":"14_CR84","doi-asserted-by":"publisher","first-page":"311","DOI":"10.3233\/AIS-2009-0040","volume":"1","author":"M. Daoutis","year":"2009","unstructured":"M. Daoutis, S. Coradeschi, A. Loutfi: Grounding commonsense knowledge in intelligent systems, J. Ambient Intell. Smart Environ. 1(4), 311\u2013321 (2009)","journal-title":"J. Ambient Intell. Smart Environ."},{"key":"14_CR85","first-page":"2329","volume-title":"IEEE\/RSJ Int. Conf. Intell. Robots Syst. (IROS), Nice","author":"A. Saffiotti","year":"2008","unstructured":"A. Saffiotti, M. Broxvall, M. Gritti, K. LeBlanc, R. Lundh, J. Rashid, B.S. Seo, Y.J. Cho: The PEIS-Ecology project: Vision and results, IEEE\/RSJ Int. Conf. Intell. Robots Syst. (IROS), Nice (2008) pp. 2329\u20132335"},{"key":"14_CR86","first-page":"989","volume-title":"Proc. 9th Int. Conf. Auton. Agents Multiagent Syst., Toronto","author":"X. Chen","year":"2010","unstructured":"X. Chen, J. Ji, J. Jiang, G. Jin, F. Wang, J. Xie: Developing high-level cognitive functions for service robots, Proc. 9th Int. Conf. Auton. Agents Multiagent Syst., Toronto (2010) pp. 989\u2013996"},{"key":"14_CR87","first-page":"212","volume":"4","author":"J.F. Lehman","year":"1996","unstructured":"J.F. Lehman, J.E. Laird, P. Rosenbloom: A gentle introduction to Soar, an architecture for human cognition, Invit. Cogn. Sci. 4, 212\u2013249 (1996)","journal-title":"Invit. Cogn. Sci."},{"key":"14_CR88","first-page":"31","volume-title":"Symp. Human Mem. Artif. Agents, AISB","author":"N. Derbinsky","year":"2010","unstructured":"N. Derbinsky, J.E. Laird: Extending soar with dissociated symbolic memories, Symp. Human Mem. Artif. Agents, AISB (2010) pp. 31\u201337, http:\/\/ai.eecs.umich.edu\/soar\/sitemaker\/docs\/pubs\/aisb2010_rwwa_soar9_OnlinePDF.pdf"},{"key":"14_CR89","first-page":"143","volume-title":"Proc. 18th Conf. Behav. Represent. Model. Simul., Sundance","author":"W.G. Kennedy","year":"2009","unstructured":"W.G. Kennedy, M. Rouleau, J.K. Bassett: Multiple levels of cognitive modeling within agent-based modeling, Proc. 18th Conf. Behav. Represent. Model. Simul., Sundance (2009) pp. 143\u2013144"},{"issue":"11","key":"14_CR90","doi-asserted-by":"publisher","first-page":"927","DOI":"10.1016\/j.robot.2008.08.005","volume":"56","author":"R.B. Rusu","year":"2008","unstructured":"R.B. Rusu, Z.C. Marton, N. Blodow, M. Dolha, M. Beetz: Towards 3D point cloud based object maps for household environments, Robotics Auton. Syst. J. Semant. Knowl. Robotics 56(11), 927\u2013941 (2008)","journal-title":"Robotics Auton. Syst. J. Semant. Knowl. Robotics"},{"issue":"6","key":"14_CR91","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1016\/j.robot.2008.03.005","volume":"56","author":"S. Vasudevan","year":"2008","unstructured":"S. Vasudevan, R. Siegwart: Bayesian space conceptualization and place classification for semantic maps in mobile robotics, Robotics Auton. Syst. 56(6), 522\u2013537 (2008)","journal-title":"Robotics Auton. Syst."},{"issue":"6","key":"14_CR92","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/j.robot.2008.03.007","volume":"56","author":"H. Zender","year":"2008","unstructured":"H. Zender, O. Martinez Mozos, P. Jensfelt, G.J.M. Kruijff, W. Burgard: Conceptual spatial representations for indoor mobile robots, Robotics Auton. Syst. 56(6), 493\u2013502 (2008)","journal-title":"Robotics Auton. Syst."},{"key":"14_CR93","first-page":"1471","volume-title":"Proc. Int. Jt. Conf. Artif. Intell. (IJCAI)","author":"B. Limketkai","year":"2005","unstructured":"B. Limketkai, L. Liao, D. Fox: Relational object maps for mobile robots, Proc. Int. Jt. Conf. Artif. Intell. (IJCAI) (2005) pp. 1471\u20131476"},{"key":"14_CR94","first-page":"430","volume-title":"10th IEEE-RAS Int. Conf. Humanoid Robots, Nashville","author":"M. Tenorth","year":"2010","unstructured":"M. Tenorth, L. Kunze, D. Jain, M. Beetz: KNOWROB-MAP \u2013 Knowledge-linked semantic object maps, 10th IEEE-RAS Int. Conf. Humanoid Robots, Nashville (2010) pp. 430\u2013435"},{"key":"14_CR95","first-page":"4690","volume-title":"Proc. 2006 IEEE\/RSJ Int. Conf. Intell. Robots Syst., Beijing","author":"N. Mavridis","year":"2006","unstructured":"N. Mavridis, D. Roy: Grounded situation models for robots: Where words and percepts meet, Proc. 2006 IEEE\/RSJ Int. Conf. Intell. Robots Syst., Beijing (2006) pp. 4690\u20134697"},{"key":"14_CR96","volume-title":"Proc. Robotics Sci. Syst. (RSS)","author":"D.K. Misra","year":"2014","unstructured":"D.K. Misra, J. Sung, K. Lee, A. Saxena: Tell me Dave: Context-sensitive grounding of natural language to mobile manipulation instructions, Proc. Robotics Sci. Syst. (RSS) (2014)"},{"key":"14_CR97","first-page":"259","volume-title":"Proc. 5th AMC\/IEEE Int. Conf. Hum.-Robot Interact. (HRI), Osaka","author":"T. Kollar","year":"2010","unstructured":"T. Kollar, S. Tellex, D. Roy, N. Roy: Toward understanding natural language directions, Proc. 5th AMC\/IEEE Int. Conf. Hum.-Robot Interact. (HRI), Osaka (2010) pp. 259\u2013266"},{"key":"14_CR98","first-page":"403","volume-title":"Proc. 13th Int. Symp. Exp. Robotics (ISER) Qu\u00e9bec City","author":"C. Matuszek","year":"2012","unstructured":"C. Matuszek, E. Herbst, L. Zettlemoyer, D. Fox: Learning to parse natural language commands to a robot control system, Proc. 13th Int. Symp. Exp. Robotics (ISER) Qu\u00e9bec City (2012) pp. 403\u2013415"},{"key":"14_CR99","doi-asserted-by":"publisher","first-page":"1047","DOI":"10.1109\/ICRA.2013.6630702","volume-title":"2013 IEEE Int. Conf. Robotics Autom. (ICRA)","author":"F. Duvallet","year":"2013","unstructured":"F. Duvallet, T. Kollar, A. Stentz: Imitation learning for natural language direction following through unknown environments, 2013 IEEE Int. Conf. Robotics Autom. (ICRA) (2013) pp. 1047\u20131053"},{"key":"14_CR100","first-page":"3962","volume-title":"IEEE\/RSJ Int. Conf. Intell. Robots Syst. (IROS), Vilamoura","author":"K. Zhou","year":"2012","unstructured":"K. Zhou, M. Zillich, H. Zender, M. Vincze: Web mining driven object locality knowledge acquisition for efficient robot behavior, IEEE\/RSJ Int. Conf. Intell. Robots Syst. (IROS), Vilamoura (2012) pp. 3962\u20133969"},{"key":"14_CR101","first-page":"1486","volume-title":"IEEE Int. Conf. Robotics Autom. (ICRA), Anchorage","author":"M. Tenorth","year":"2010","unstructured":"M. Tenorth, D. Nyga, M. Beetz: Understanding and executing instructions for everyday manipulation tasks from the World Wide Web, IEEE Int. Conf. Robotics Autom. (ICRA), Anchorage (2010) pp. 1486\u20131491"},{"issue":"2","key":"14_CR102","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MRA.2011.940993","volume":"18","author":"M. Tenorth","year":"2011","unstructured":"M. Tenorth, U. Klank, D. Pangercic, M. Beetz: Web-enabled robots \u2013 Robots that use the web as an information resource, Robotics Autom. Mag. 18(2), 58\u201368 (2011)","journal-title":"Robotics Autom. Mag."},{"issue":"2","key":"14_CR103","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/MRA.2011.941632","volume":"18","author":"M. Waibel","year":"2011","unstructured":"M. Waibel, M. Beetz, R. D\u2019Andrea, R. Janssen, M. Tenorth, J. Civera, J. Elfring, D. G\u00e1lvez-L\u00f3pez, K. H\u00e4ussermann, J.M.M. Montiel, A. Perzylo, B. Schie\u00dfle, O. Zweigle, R. van de Molengraft: RoboEarth \u2013 A world wide web for robots, Robotics Autom. Mag. 18(2), 69\u201382 (2011)","journal-title":"Robotics Autom. Mag."},{"issue":"4","key":"14_CR104","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/s12369-012-0157-8","volume":"4","author":"S. Osentoski","year":"2012","unstructured":"S. Osentoski, B. Pitzer, C. Crick, G. Jay, S. Dong, D.H. Grollman, H.B. Suay, O.C. Jenkins: Remote robotic laboratories for learning from demonstration \u2013 Enabling user interaction and shared experimentation, Int. J. Soc. Robotics 4(4), 449\u2013461 (2012)","journal-title":"Int. J. Soc. Robotics"},{"key":"14_CR105","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MRA.2011.940995","volume":"18","author":"M.B. Blake","year":"2011","unstructured":"M.B. Blake, S.L. Remy, Y. Wei, A.M. Howard: Robots on the web, IEEE Robotics Autom. Mag. 18, 33\u201343 (2011)","journal-title":"IEEE Robotics Autom. Mag."},{"key":"14_CR106","first-page":"438","volume-title":"IEEE Int. Conf. Robotics Autom. (ICRA)","author":"D. Hunziker","year":"2013","unstructured":"D. Hunziker, M. Gajamohan, M. Waibel, R. D\u2019Andrea: Rapyuta: The RoboEarth cloud engine, IEEE Int. Conf. Robotics Autom. (ICRA) (2013) pp. 438\u2013444"},{"issue":"2","key":"14_CR107","first-page":"55","volume":"13","author":"D. McDermott","year":"1992","unstructured":"D. McDermott: Robot planning, AI Magazine 13(2), 55\u201379 (1992)","journal-title":"AI Magazine"},{"issue":"4","key":"14_CR108","first-page":"71","volume":"20","author":"M.E. Pollack","year":"1999","unstructured":"M.E. Pollack, J.F. Horty: There\u2019s more to life than making plans: Plan management in dynamic, multiagent environments, AI Magazine 20(4), 71\u201383 (1999)","journal-title":"AI Magazine"},{"key":"14_CR109","series-title":"Tech. Rep. CVC TR-98-003\/DCS TR-1165","volume-title":"PDDL \u2013 The Planning Domain Definition Language","author":"D. McDermott","year":"1998","unstructured":"D. McDermott, M. Ghallab, A. Howe, C. Knoblock, A. Ram, M. Veloso, D. Weld, D. Wilkins: PDDL \u2013 The Planning Domain Definition Language, Tech. Rep. CVC TR-98-003\/DCS TR-1165 (Yale Center for Computational Vision and Control, New Haven 1998)"},{"key":"14_CR110","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"M. Fox, D. Long: PDDL2.1: An extension of PDDL for expressing temporal planning domains, J. Artif. Intell. Res. 20, 61\u2013124 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"14_CR111","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/11008941_11","volume":"15","author":"F. Gravot","year":"2005","unstructured":"F. Gravot, S. Cambon, R. Alami: aSyMov: A planner that deals with intricate symbolic and geometric problems, Springer Tracts Adv. Robotics 15, 100\u2013110 (2005)","journal-title":"Springer Tracts Adv. Robotics"},{"key":"14_CR112","first-page":"702","volume-title":"Proc. 37th IEEE Conf. Decis. Control, Tampa","author":"R. Alur","year":"1997","unstructured":"R. Alur, T. Henzinger, H. Wong-Toi: Symbolic analysis of hybrid systems, Proc. 37th IEEE Conf. Decis. Control, Tampa (1997) pp. 702\u2013707"},{"key":"14_CR113","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"R. Alur, T. Henzinger, P. Ho: Automatic symbolic verification of embedded systems, IEEE Trans. Softw. Eng. 22, 181\u2013201 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR114","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1613\/jair.1565","volume":"24","author":"M. Beetz","year":"2005","unstructured":"M. Beetz, H. Grosskreutz: Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior, J. Artif. Intell. Res. 24, 799\u2013849 (2005)","journal-title":"J. Artif. Intell. Res."},{"key":"14_CR115","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/08839518908949915","volume":"3","author":"K. Passino","year":"1989","unstructured":"K. Passino, P. Antsaklis: A system and control-theoretic perspective on artificial intelligence planning systems, Appl. Artif. Intell. 3, 1\u201332 (1989)","journal-title":"Appl. Artif. Intell."},{"key":"14_CR116","doi-asserted-by":"publisher","DOI":"10.21236\/ADA254568","volume-title":"Planning and Control","author":"T. Dean","year":"1991","unstructured":"T. Dean, M. Wellmann: Planning and Control (Morgan Kaufmann Publishers, San Mateo 1991)"},{"issue":"4","key":"14_CR117","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1177\/027836499801700402","volume":"17","author":"R. Alami","year":"1998","unstructured":"R. Alami, R. Chatila, S. Fleury, M. Ghallab, F. Ingrand: An architecture for autonomy, Int. J. Robotics Res. 17(4), 315\u2013337 (1998)","journal-title":"Int. J. Robotics Res."},{"issue":"2\/3","key":"14_CR118","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1080\/095281397147103","volume":"9","author":"R.P. Bonasso","year":"1997","unstructured":"R.P. Bonasso, R.J. Firby, E. Gat, D. Kortenkamp, D.P. Miller, M.G. Slack: Experiences with an architecture for intelligent, reactive agents, J. Exp. Theor. Artif. Intell. 9(2\/3), 237\u2013256 (1997)","journal-title":"J. Exp. Theor. Artif. Intell."},{"key":"14_CR119","first-page":"1019","volume-title":"Proc. 13th Conf. Neural Inf. Process. Syst.","author":"D. Andre","year":"2001","unstructured":"D. Andre, S. Russell: Programmable reinforcement learning agents, Proc. 13th Conf. Neural Inf. Process. Syst. (2001) pp. 1019\u20131025"},{"key":"14_CR120","first-page":"119","volume-title":"18th Natl. Conf. Artif. Intell., Edmonton","author":"D. Andre","year":"2002","unstructured":"D. Andre, S.J. Russell: State abstraction for programmable reinforcement learning agents, 18th Natl. Conf. Artif. Intell., Edmonton (2002) pp. 119\u2013125"},{"issue":"1\/2","key":"14_CR121","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(99)00052-1","volume":"112","author":"R.S. Sutton","year":"1999","unstructured":"R.S. Sutton, D. Precup, S.P. Singh: Between MDPs and Semi-MDPs: A framework for temporal abstraction in reinforcement learning, Artif. Intell. 112(1\/2), 181\u2013211 (1999)","journal-title":"Artif. Intell."},{"key":"14_CR122","series-title":"Ph.D. Thesis","volume-title":"Temporal Abstraction in Reinforcement Learning","author":"D. Precup","year":"2000","unstructured":"D. Precup: Temporal Abstraction in Reinforcement Learning, Ph.D. Thesis (University of Massachusetts, Amherst 2000)"},{"issue":"1\/2","key":"14_CR123","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1010014712513","volume":"4","author":"M. Beetz","year":"2001","unstructured":"M. Beetz: Structured reactive controllers, J. Auton. Agents Multi-Agent Syst. 4(1\/2), 25\u201355 (2001)","journal-title":"J. Auton. Agents Multi-Agent Syst."},{"key":"14_CR124","volume-title":"A Reactive Plan Language","author":"D. McDermott","year":"1991","unstructured":"D. McDermott: A Reactive Plan Language (Yale University, New Haven 1991)"},{"key":"14_CR125","volume-title":"Proc. 6th Int. Symp. Artif. Intell. Robotics Autom. Space (ISAIRAS)","author":"M. Ingham","year":"2001","unstructured":"M. Ingham, R. Ragno, B. Williams: A reactive model-based programming language for robotic space explorers, Proc. 6th Int. Symp. Artif. Intell. Robotics Autom. Space (ISAIRAS) (2001)"},{"key":"14_CR126","volume-title":"Intention, Plans, and Practical Reason","author":"M. Bratman","year":"1987","unstructured":"M. Bratman: Intention, Plans, and Practical Reason (Harvard Univ. Press, Cambridge 1987)"},{"key":"14_CR127","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M. Bratman","year":"1988","unstructured":"M. Bratman, D. Israel, M. Pollack: Plan and resource-bounded practical reasoning, Comput. Intell. 4, 349\u2013355 (1988)","journal-title":"Comput. Intell."},{"key":"14_CR128","first-page":"972","volume-title":"Proc. 11th Int. Jt. Conf. Artif. Intell.","author":"M. Georgeff","year":"1989","unstructured":"M. Georgeff, F. Ingrand: Decision making in an embedded reasing system, Proc. 11th Int. Jt. Conf. Artif. Intell. (1989) pp. 972\u2013978"},{"issue":"8","key":"14_CR129","doi-asserted-by":"publisher","first-page":"2454","DOI":"10.1109\/JPROC.2012.2200552","volume":"100","author":"M. Beetz","year":"2012","unstructured":"M. Beetz, D. Jain, L. Mosenlechner, M. Tenorth, L. Kunze, N. Blodow, D. Pangercic: Cognition-enabled autonomous robot control for the realization of home chore task intelligence, Proceedings IEEE 100(8), 2454\u20132471 (2012)","journal-title":"Proceedings IEEE"},{"issue":"4","key":"14_CR130","first-page":"27","volume":"15","author":"D.S. Weld","year":"1994","unstructured":"D.S. Weld: An introduction to least commitment planning, AI Magazine 15(4), 27\u201361 (1994)","journal-title":"AI Magazine"},{"issue":"2","key":"14_CR131","first-page":"93","volume":"20","author":"D.S. Weld","year":"1999","unstructured":"D.S. Weld: Recent advances in AI planning, AI Magazine 20(2), 93\u2013123 (1999)","journal-title":"AI Magazine"},{"issue":"2","key":"14_CR132","first-page":"35","volume":"21","author":"D.V. McDermott","year":"2000","unstructured":"D.V. McDermott: The 1998 AI planning systems competition, AI Magazine 21(2), 35\u201355 (2000)","journal-title":"AI Magazine"},{"key":"14_CR133","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J. Hoffmann","year":"2001","unstructured":"J. Hoffmann, B. Nebel: 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":"14_CR134","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"A.L. Blum","year":"1997","unstructured":"A.L. Blum, M.L. Furst: Fast planning through plan graph analysis, J. Artif. Intell. 90, 281\u2013300 (1997)","journal-title":"J. Artif. Intell."},{"issue":"1\/2","key":"14_CR135","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1018985923441","volume":"22","author":"F. Bacchus","year":"1998","unstructured":"F. Bacchus, F. Kabanza: Planning for temporally extended goals, Ann. Math. Artif. Intell. 22(1\/2), 5\u201327 (1998)","journal-title":"Ann. Math. Artif. Intell."},{"key":"14_CR136","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"D. Nau","year":"2003","unstructured":"D. Nau, O. Ilghami, U. Kuter, J.W. Murdock, D. Wu, F. Yaman: SHOP2: An HTN planning system, J. Artif. Intell. Res. 20, 379\u2013404 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"14_CR137","doi-asserted-by":"crossref","unstructured":"D. McDermott: Transformational planning of reactive behavior, Tech. Rep. (Yale University, New Haven 1992)","DOI":"10.21236\/ADA263332"},{"key":"14_CR138","unstructured":"P. H. Winston: Learning Structural Descriptions from Examples, AI Tech. Rep. 231 (MIT, Cambridge 1970)"},{"key":"14_CR139","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-322060-8.50018-8","volume-title":"Case-Based Planning: Viewing Planning as a Memory Task","author":"K.J. Hammond","year":"1989","unstructured":"K.J. Hammond: Case-Based Planning: Viewing Planning as a Memory Task (Academic Press, Waltham 1989)"},{"key":"14_CR140","first-page":"94","volume-title":"Proc. 7th Natl. Conf. Artif. Intell.","author":"R.G. Simmons","year":"1988","unstructured":"R.G. Simmons: A theory of debugging plans and interpretations, Proc. 7th Natl. Conf. Artif. Intell. (1988) pp. 94\u201399"},{"key":"14_CR141","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46436-0","volume-title":"Concurrent Reactive Plans: Anticipating and Forestalling Execution Failures","author":"M. Beetz","year":"2000","unstructured":"M. Beetz: Concurrent Reactive Plans: Anticipating and Forestalling Execution Failures, Lecture Notes in Artificial Intelligence, Vol. 1772 (Springer, Berlin, Heidelberg, 2000)"},{"key":"14_CR142","series-title":"Informatik Aktuell","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-58322-3_20","volume-title":"Informatik 2000","author":"H. Grosskreutz","year":"2000","unstructured":"H. Grosskreutz: Probabilistic projection and belief update in the pGOLOG framework. In: Informatik 2000, Informatik Aktuell, ed. by K. Mehlhorn, G. Snelting (Springer, Berlin, Heidelberg 2000) pp. 233\u2013249"},{"issue":"3","key":"14_CR143","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1023\/A:1010512415344","volume":"67","author":"L. Morgenstern","year":"2001","unstructured":"L. Morgenstern: Mid-sized axiomatizations of commonsense problems: A case study in egg cracking, Studia Log. 67(3), 333\u2013384 (2001)","journal-title":"Studia Log."},{"key":"14_CR144","first-page":"160","volume-title":"Proc. 10th IEEE-RAS Int. Conf. Humanoid Robots (Humanoids)","author":"N. Blodow","year":"2010","unstructured":"N. Blodow, D. Jain, Z.-C. Marton, M. Beetz: Perception and probabilistic anchoring for dynamic world state logging, Proc. 10th IEEE-RAS Int. Conf. Humanoid Robots (Humanoids) (2010) pp. 160\u2013166"},{"key":"14_CR145","unstructured":"N.J. Nilsson: Shakey the Robot, Tech. Note , Vol. TN 323 (SRI International, Stanford 1984) http:\/\/www.ai.sri.com\/shakey\/"},{"key":"14_CR146","volume-title":"The Thinking Computer: Mind Inside Matter","author":"B. Raphael","year":"1976","unstructured":"B. Raphael: The Thinking Computer: Mind Inside Matter (W.H. Freeman, San Francisco 1976)"},{"key":"14_CR147","unstructured":"Journal of Artificial Intelligence Research: http:\/\/www.jair.org\/"},{"key":"14_CR148","unstructured":"European Conference on Artificial Intelligence: http:\/\/www.eccai.org\/ecai.shtml"},{"key":"14_CR149","unstructured":"AAAI Conference on Artificial Intelligence: http:\/\/www.aaai.org\/Conferences\/AAAI\/aaai.php"},{"key":"14_CR150","unstructured":"International Conference on Automated Planning and Scheduling: http:\/\/www.icaps-conference.org\/"},{"issue":"1","key":"14_CR151","doi-asserted-by":"publisher","first-page":"63","DOI":"10.3233\/AIC-130578","volume":"27","author":"F. Ingrand","year":"2014","unstructured":"F. Ingrand, M. Ghallab: Robotics and artificial intelligence: A perspective on deliberation functions, AI Communications 27(1), 63\u201380 (2014)","journal-title":"AI Communications"}],"container-title":["Springer Handbooks","Springer Handbook of Robotics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32552-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,18]],"date-time":"2022-08-18T06:07:23Z","timestamp":1660802843000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-32552-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319325507","9783319325521"],"references-count":151,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32552-1_14","relation":{},"ISSN":["2522-8692","2522-8706"],"issn-type":[{"value":"2522-8692","type":"print"},{"value":"2522-8706","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"27 July 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}