{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:51:11Z","timestamp":1743151871818,"version":"3.40.3"},"publisher-location":"Cham","reference-count":58,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319436647"},{"type":"electronic","value":"9783319436654"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-43665-4_5","type":"book-chapter","created":{"date-parts":[[2017,12,4]],"date-time":"2017-12-04T12:10:01Z","timestamp":1512389401000},"page":"79-100","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["User-Centered Planning"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Bercher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"H\u00f6ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Behnke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanne","family":"Biundo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,5]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Alford, R., Shivashankar, V., Kuter, U., Nau, D.S.: HTN problem spaces: structure, algorithms, termination. In: Proceedings of the 5th Annual Symposium on Combinatorial Search (SoCS), pp. 2\u20139. AAAI Press, Palo Alto (2012)","DOI":"10.1609\/socs.v3i1.18239"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Alford, R., Shivashankar, V., Kuter, U., Nau, D.: On the feasibility of planning graph style heuristics for HTN planning. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS), pp. 2\u201310. AAAI Press, Palo Alto (2014)","DOI":"10.1609\/icaps.v24i1.13630"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Alford, R., Bercher, P., Aha, D.: Tight bounds for HTN planning. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS), pp. 7\u201315. AAAI Press, Palo Alto (2015)","DOI":"10.1609\/icaps.v25i1.13721"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Alford, R., Bercher, P., Aha, D.: Tight bounds for HTN planning with task insertion. In: Proceedings of the 25th International Joint Conference on AI (IJCAI), pp. 1502\u20131508. AAAI Press, Palo Alto (2015)","DOI":"10.1609\/icaps.v25i1.13721"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Behnke, G., H\u00f6ller, D., Biundo, S.: On the complexity of HTN plan verification and its implications for plan recognition. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS), pp. 25\u201333. AAAI Press, Palo Alto (2015)","DOI":"10.1609\/icaps.v25i1.13728"},{"key":"5_CR6","unstructured":"Behnke, G., Ponomaryov, D., Schiller, M., Bercher, P., Nothdurft, F., Glimm, B., Biundo, S.: Coherence across components in cognitive systems \u2013 one ontology to rule them all. In: Proceedings of the 25th International Joint Conference on AI (IJCAI), pp. 1442\u20131449. AAAI Press, Palo Alto (2015)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Behnke, G., H\u00f6ller, D., Bercher, P., Biundo, S.: Change the plan - how hard can that be? In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS), pp.\u00a038\u201346. AAAI Press, Palo Alto (2016)","DOI":"10.1609\/icaps.v26i1.13754"},{"key":"5_CR8","unstructured":"Bercher, P., Biundo, S.: A heuristic for hybrid planning with preferences. In: Proceedings of the 25th International Florida AI Research Society Conference (FLAIRS), pp. 120\u2013123. AAAI Press, Palo Alto (2012)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s13218-015-0403-y","volume":"30","author":"P. Bercher","year":"2016","unstructured":"Bercher, P., H\u00f6ller, D.: Interview with David E. Smith. K\u00fcnstliche Intelligenz 30, 101\u2013105 (2016). doi:10.1007\/s13218-015-0403-y","journal-title":"Smith. K\u00fcnstliche Intelligenz"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Bercher, P., Geier, T., Biundo, S.: Using state-based planning heuristics for partial-order causal-link planning. In: Advances in AI, Proceedings of the 36th German Conference on AI (KI), pp. 1\u201312. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-40942-4_1"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Bercher, P., Geier, T., Richter, F., Biundo, S.: On delete relaxation in partial-order causal-link planning. In: Proceedings of the 25th International Conference on Tools with AI (ICTAI), pp. 674\u2013681. IEEE Computer Society, New York (2013)","DOI":"10.1109\/ICTAI.2013.105"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Bercher, P., Biundo, S., Geier, T., H\u00f6rnle, T., Nothdurft, F., Richter, F., Schattenberg, B.: Plan, repair, execute, explain - how planning helps to assemble your home theater. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS), pp. 386\u2013394. AAAI Press, Palo Alto (2014)","DOI":"10.1609\/icaps.v24i1.13664"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Bercher, P., Keen, S., Biundo, S.: Hybrid planning heuristics based on task decomposition graphs. In: Proceedings of the 7th Annual Symposium on Combinatorial Search (SoCS), pp. 35\u201343. AAAI Press, Palo Alto (2014)","DOI":"10.1609\/socs.v5i1.18323"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Bercher, P., Richter, F., H\u00f6rnle, T., Geier, T., H\u00f6ller, D., Behnke, G., Nothdurft, F., Honold, F., Minker, W., Weber, M., Biundo, S.: A planning-based assistance system for setting up a home theater. In: Proceedings of the 29th National Conference on Artificial Intelligence (AAAI), pp. 4264\u20134265. AAAI Press, Palo Alto (2015)","DOI":"10.1609\/aaai.v29i1.9274"},{"key":"5_CR15","unstructured":"Bercher, P., H\u00f6ller, D., Behnke, G., Biundo, S.: More than a name? On implications of preconditions and effects of compound HTN planning tasks. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), pp. 225\u2013233. IOS Press (2016)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Bertrand, G., Nothdurft, F., Honold, F., Sch\u00fcssel, F.: CALIGRAPHI-creation of adaptive dialogues using a graphical interface. In: 35th Annual Computer Software and Applications Conference (COMPSAC), pp. 393\u2013400. IEEE, New York (2011)","DOI":"10.1109\/COMPSAC.2011.58"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Bidot, J., Schattenberg, B., Biundo, S.: Plan repair in hybrid planning. In: Advances in AI, Proceedings of the 31st German Conference on AI (KI), pp. 169\u2013176. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85845-4_21"},{"key":"5_CR18","unstructured":"Biundo, S., Schattenberg, B.: From abstract crisis to concrete relief (a preliminary report on combining state abstraction and HTN planning). In: Proceedings of the 6th European Conference on Planning (ECP), pp. 157\u2013168. AAAI Press, Palo Alto (2001)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s13218-015-0414-8","volume":"30","author":"S. Biundo","year":"2016","unstructured":"Biundo, S., Wendemuth, A.: Companion-technology for cognitive technical systems. K\u00fcnstliche Intelligenz 30, 71\u201375 (2016). doi:10.1007\/s13218-015-0414-8","journal-title":"K\u00fcnstliche Intelligenz"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Biundo, S., Bercher, P., Geier, T., M\u00fcller, F., Schattenberg, B.: Advanced user assistance based on AI planning. Cogn. Syst. Res. 12(3\u20134), 219\u2013236 (2011); Special Issue on Complex Cognition","DOI":"10.1016\/j.cogsys.2010.12.005"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/s13218-015-0419-3","volume":"30","author":"S. Biundo","year":"2016","unstructured":"Biundo, S., H\u00f6ller, D., Schattenberg, B., Bercher, P.: Companion-technology: an overview. K\u00fcnstliche Intelligenz 30, 11\u201320 (2016). doi:10.1007\/s13218-015-0419-3","journal-title":"K\u00fcnstliche Intelligenz"},{"issue":"1\u20132","key":"5_CR22","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(94)90081-7","volume":"94","author":"T. Bylander","year":"1994","unstructured":"Bylander, T.: The computational complexity of propositional STRIPS planning. Artif. Intell. 94(1\u20132), 165\u2013204 (1994)","journal-title":"Artif. Intell."},{"key":"5_CR23","unstructured":"Edelkamp, S.: On the compilation of plan constraints and preferences. In: Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS), pp. 374\u2013377. AAAI Press, Palo Alto (2006)"},{"key":"5_CR24","unstructured":"Elkawkagy, M., Schattenberg, B., Biundo, S.: Landmarks in hierarchical planning. In: Proceedings of the 20th European Conference on AI (ECAI), pp. 229\u2013234. IOS Press, Amsterdam (2010)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Elkawkagy, M., Bercher, P., Schattenberg, B., Biundo, S.: Improving hierarchical planning performance by the use of landmarks. In: Proceedings of the 26th National Conference on Artificial Intelligence (AAAI), pp. 1763\u20131769. AAAI Press, Palo Alto (2012)","DOI":"10.1609\/aaai.v26i1.8366"},{"key":"5_CR26","unstructured":"Erol, K., Hendler, J.A., Nau, D.S.: UMCP: a sound and complete procedure for hierarchical task-network planning. In: Proceedings of the 2nd International Conference on AI Planning Systems (AIPS), pp. 249\u2013254. AAAI Press, Palo Alto (1994)"},{"issue":"1","key":"5_CR27","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF02136175","volume":"18","author":"K. Erol","year":"1996","unstructured":"Erol, K., Hendler, J.A., Nau, D.S.: Complexity results for HTN planning. Ann. Math. Artif. Intell. 18(1), 69\u201393 (1996)","journal-title":"Ann. Math. Artif. Intell."},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Fiedler, A.: P.rex: an interactive proof explainer. In: Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR), pp. 416\u2013420. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45744-5_33"},{"key":"5_CR29","unstructured":"Geier, T., Bercher, P.: On the decidability of HTN planning with task insertion. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), pp. 1955\u20131961. AAAI Press, Palo Alto (2011)"},{"key":"5_CR30","unstructured":"Holland-Minkley, A.M., Barzilay, R., Constable, R.L.: Verbalization of high-level formal proofs. In: Proceedings of the 16th National Conference on AI and the 11th Innovative Applications of AI Conference (AAAI\/IAAI), pp. 277\u2013284. AAAI Press, Palo Alto (1999)"},{"key":"5_CR31","unstructured":"H\u00f6ller, D., Behnke, G., Bercher, P., Biundo, S.: Language classification of hierarchical planning problems. In: Proceedings of the 21st European Conference on AI (ECAI), pp. 447\u2013452. IOS Press, Amsterdam (2014)"},{"key":"5_CR32","unstructured":"H\u00f6ller, D., Bercher, P., Richter, F., Schiller, M., Geier, T., Biundo, S.: Finding user-friendly linearizations of partially ordered plans. In: 28th PuK Workshop \u201cPlanen, Scheduling und Konfigurieren, Entwerfen\u201d (PuK) (2014)"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"H\u00f6ller, D., Behnke, G., Bercher, P., Biundo, S.: Assessing the expressivity of planning formalisms through the comparison to formal languages. In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS), pp.\u00a0158\u2013165. AAAI Press, Palo Alto (2016)","DOI":"10.1609\/icaps.v26i1.13758"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Honold, F., Sch\u00fcssel, F., Weber, M.: Adaptive probabilistic fission for multimodal systems. In: Proceedings of the 24th Australian Computer-Human Interaction Conference (OzCHI), pp. 222\u2013231. ACM, New York (2012)","DOI":"10.1145\/2414536.2414575"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Honold, F., Bercher, P., Richter, F., Nothdurft, F., Geier, T., Barth, R., H\u00f6rnle, T., Sch\u00fcssel, F., Reuter, S., Rau, M., Bertrand, G., Seegebarth, B., Kurzok, P., Schattenberg, B., Minker, W., Weber, M., Biundo, S.: Companion-technology: towards user- and situation-adaptive functionality of technical systems. In: International Conference on Intelligent Environments (IE), pp. 378\u2013381. IEEE, New York (2014). http:\/\/companion.informatik.uni-ulm.de\/ie2014\/companion-system.mp4","DOI":"10.1109\/IE.2014.60"},{"key":"5_CR36","unstructured":"Kambhampati, S., Mali, A., Srivastava, B.: Hybrid planning for partially hierarchical domains. In: Proceedings of the 15th National Conference on AI (AAAI), pp. 882\u2013888. AAAI Press, Palo Alto (1998)"},{"key":"5_CR37","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1613\/jair.2857","volume":"36","author":"E. Keyder","year":"2009","unstructured":"Keyder, E., Geffner, H.: Soft goals can be compiled away. J. Artif. Intell. Res. 36, 547\u2013556 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR38","unstructured":"Kowalski, R.A.: Predicate logic as programming language. In: IFIP Congress, pp. 569\u2013574 (1974)"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Lin, N., Kuter, U., Sirin, E.: Web service composition with user preferences. In: Proceedings of the 5th European Semantic Web Conference (ESWC), pp. 629\u2013643. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-68234-9_46"},{"issue":"1","key":"5_CR40","first-page":"13","volume":"24","author":"J.B. Lyons","year":"2016","unstructured":"Lyons, J.B., Koltai, K.S., Ho, N.T., Johnson, W.B., Smith, D.E., Shively, R.J.: Engineering trust in complex automated systems. Ergon. Des. 24(1), 13\u201317 (2016). https:\/\/doi.org\/10.1177\/1064804615611272","journal-title":"Ergon. Des."},{"key":"5_CR41","unstructured":"McAllester, D., Rosenblitt, D.: Systematic nonlinear planning. In: Proceedings of the 9th National Conference on AI (AAAI), pp. 634\u2013639. AAAI Press, Palo Alto (1991)"},{"key":"5_CR42","doi-asserted-by":"crossref","unstructured":"Muir, B.M.: Trust in automation: part I. theoretical issues in the study of trust and human intervention in automated systems. Ergonomics 37(11), 1905\u20131922 (1994)","DOI":"10.1080\/00140139408964957"},{"key":"5_CR43","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"D.S. Nau","year":"2003","unstructured":"Nau, D.S., Au, T.C., Ilghami, O., Kuter, U., Murdock, J.W., Wu, D., Yaman, F.: SHOP2: an HTN planning system. J. Artif. Intell. Res. 20, 379\u2013404 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR44","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/MIS.2005.20","volume":"20","author":"D.S. Nau","year":"2005","unstructured":"Nau, D.S., Au, T.C., Ilghami, O., Kuter, U., Wu, D., Yaman, F., Mu\u00f1oz-Avila, H., Murdock, J.W.: Applications of SHOP and SHOP2. IEEE Intell. Syst. 20, 34\u201341 (2005)","journal-title":"IEEE Intell. Syst."},{"issue":"1-2","key":"5_CR45","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/0004-3702(94)00082-C","volume":"76","author":"B. Nebel","year":"1995","unstructured":"Nebel, B., Koehler, J.: Plan reuse versus plan generation: a theoretical and empirical analysis. Artif. Intell. 76(1-2), 427\u2013454 (1995)","journal-title":"Artif. Intell."},{"key":"5_CR46","unstructured":"Nguyen, X., Kambhampati, S.: Reviving partial order planning. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI), pp. 459\u2013466. Morgan Kaufmann, San Francisco (2001)"},{"key":"5_CR47","doi-asserted-by":"crossref","unstructured":"Nothdurft, F., Bertrand, G., Heinroth, T., Minker, W.: GEEDI - guards for emotional and explanatory dialogues. In: 6th International Conference on Intelligent Environments (IE), pp. 90\u201395. IEEE, New York (2010)","DOI":"10.1109\/IE.2010.24"},{"key":"5_CR48","doi-asserted-by":"crossref","unstructured":"Nothdurft, F., Honold, F., Zablotskaya, K., Diab, A., Minker, W.: Application of verbal intelligence in dialog systems for multimodal interaction. In: 10th International Conference on Intelligent Environments (IE), pp. 361\u2013364. IEEE, New York (2014)","DOI":"10.1109\/IE.2014.59"},{"issue":"2","key":"5_CR49","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1518\/001872097778543886","volume":"39","author":"R. Parasuraman","year":"1997","unstructured":"Parasuraman, R., Riley, V.: Humans and automation: use, misuse, disuse, abuse. Hum. Factors: J. Hum. Factors Ergon. Soc. 39(2), 230\u2013253 (1997)","journal-title":"Hum. Factors: J. Hum. Factors Ergon. Soc."},{"key":"5_CR50","unstructured":"Penberthy, J.S., Weld, D.S.: UCPOP: a sound, complete, partial order planner for ADL. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 103\u2013114. Morgan Kaufmann, San Francisco (1992)"},{"key":"5_CR51","unstructured":"Porteous, J., Sebastia, L., Hoffmann, J.: On the extraction, ordering, and usage of landmarks in planning. In: Proceedings of the 6th European Conference on Planning (ECP), pp. 37\u201348. AAAI Press, Palo Alto (2001)"},{"key":"5_CR52","volume-title":"Artificial Intelligence \u2013 A Modern Approach","author":"S. Russell","year":"1994","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence \u2013 A Modern Approach, 1 edn. Prentice-Hall, Englewood Cliffs (1994)","edition":"1"},{"key":"5_CR53","doi-asserted-by":"crossref","unstructured":"Seegebarth, B., M\u00fcller, F., Schattenberg, B., Biundo, S.: Making hybrid plans more clear to human users \u2013 a formal approach for generating sound explanations. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS), pp. 225\u2013233. AAAI Press, Palo Alto (2012)","DOI":"10.1609\/icaps.v22i1.13503"},{"key":"5_CR54","doi-asserted-by":"crossref","unstructured":"Simons, M.: Proof presentation for Isabelle. In: Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics (TPHOLs), pp. 259\u2013274. Springer, Berlin (1997)","DOI":"10.1007\/BFb0028399"},{"key":"5_CR55","unstructured":"Sohrabi, S., Baier, J.A., McIlraith, S.A.: HTN planning with preferences. In: Proceedings of the 21st International Joint Conference on AI (IJCAI), pp. 1790\u20131797. AAAI Press, Palo Alto (2009)"},{"issue":"2","key":"5_CR56","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.entcs.2006.09.025","volume":"174","author":"S. Trac","year":"2007","unstructured":"Trac, S., Puzis, Y., Sutcliffe, G.: An interactive derivation viewer. Electron. Notes Theor. Comput. Sci. 174(2), 109\u2013123 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR57","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1613\/jair.1136","volume":"20","author":"H.L.S. Younes","year":"2003","unstructured":"Younes, H.L.S., Simmons, R.G.: VHPOP: versatile heuristic partial order planner. J. Artif. Intell. Res. 20, 405\u2013430 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR58","unstructured":"Zhu, L., Givan, R.: Heuristic planning via roadmap deduction. In: IPC-4 Booklet, pp. 64\u201366 (2004)"}],"container-title":["Cognitive Technologies","Companion Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43665-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T16:43:39Z","timestamp":1693327419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43665-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319436647","9783319436654"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43665-4_5","relation":{},"ISSN":["1611-2482","2197-6635"],"issn-type":[{"type":"print","value":"1611-2482"},{"type":"electronic","value":"2197-6635"}],"subject":[],"published":{"date-parts":[[2017]]}}}