{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T15:01:15Z","timestamp":1776092475228,"version":"3.50.1"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T00:00:00Z","timestamp":1623801600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T00:00:00Z","timestamp":1623801600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["T3 of SFB\/TRR62"],"award-info":[{"award-number":["T3 of SFB\/TRR62"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1007\/s13218-021-00721-x","type":"journal-article","created":{"date-parts":[[2021,6,16]],"date-time":"2021-06-16T12:02:36Z","timestamp":1623844956000},"page":"367-375","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Do It Yourself, but Not Alone: Companion-Technology for Home Improvement\u2014Bringing a Planning-Based Interactive DIY Assistant to Life"],"prefix":"10.1007","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0795-4320","authenticated-orcid":false,"given":"Pascal","family":"Bercher","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Behnke","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Kraus","sequence":"additional","affiliation":[]},{"given":"Marvin","family":"Schiller","sequence":"additional","affiliation":[]},{"given":"Dietrich","family":"Manstetten","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Dambier","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Dorna","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Minker","sequence":"additional","affiliation":[]},{"given":"Birte","family":"Glimm","sequence":"additional","affiliation":[]},{"given":"Susanne","family":"Biundo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,16]]},"reference":[{"key":"721_CR1","doi-asserted-by":"crossref","unstructured":"Behnke G, Bercher P, Kraus M, Schiller M, Mickeleit K, H\u00e4ge T, Dorna M, Dambier M, Minker W, Glimm B, Biundo S (2020) New developments for Robert\u2014assisting novice users even better in DIY projects. In: ICAPS. AAAI Press, pp. 343\u2013347","DOI":"10.1609\/icaps.v30i1.6679"},{"issue":"62","key":"721_CR2","first-page":"75","volume":"21","author":"G Behnke","year":"2018","unstructured":"Behnke G, Biundo S (2018) X and more parallelism: integrating LTL-next into SAT-based planning with trajectory constraints while allowing for even more parallelism. Intell Artif 21(62):75\u201390","journal-title":"Intell Artif"},{"key":"721_CR3","unstructured":"Behnke G, H\u00f6ller D, Bercher P, Biundo S (2016) Change the plan\u2014how hard can that be? In: ICAPS. AAAI Press, pp 38\u201346"},{"key":"721_CR4","doi-asserted-by":"crossref","unstructured":"Behnke G, H\u00f6ller D, Biundo S (2015) On the complexity of HTN plan verification and its implications for plan recognition. In: ICAPS. AAAI Press, pp 25\u201333","DOI":"10.1609\/icaps.v25i1.13728"},{"key":"721_CR5","doi-asserted-by":"crossref","unstructured":"Behnke G, H\u00f6ller D, Biundo S (2019) Bringing order to chaos\u2013a compact representation of partial order in SAT-based HTN planning. In: AAAI. AAAI Press, pp 7520\u20137529","DOI":"10.1609\/aaai.v33i01.33017520"},{"key":"721_CR6","doi-asserted-by":"crossref","unstructured":"Behnke G, H\u00f6ller D, Biundo S (2019) Finding optimal solutions in HTN planning\u2014a SAT-based approach. pp 5500\u20135508. ijcai.org","DOI":"10.24963\/ijcai.2019\/764"},{"key":"721_CR7","doi-asserted-by":"crossref","unstructured":"Behnke G, H\u00f6ller D, Schmid A, Bercher P, Biundo S (2020) On succinct groundings of HTN planning problems. In: AAAI. AAAI Press, pp 9775\u20139784","DOI":"10.1609\/aaai.v34i06.6529"},{"key":"721_CR8","doi-asserted-by":"crossref","unstructured":"Behnke G, H\u00f6ller D, Biundo S (2018) Tracking branches in trees\u2014a propositional encoding for solving partially-ordered HTN planning problems. In: IEEE international conference on tools with AI (ICTAI). IEEE Computer Society, pp 73\u201380","DOI":"10.1109\/ICTAI.2018.00022"},{"issue":"1","key":"721_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.3233\/AIC-180604","volume":"32","author":"G Behnke","year":"2019","unstructured":"Behnke G, Schiller M, Kraus M, Bercher P, Schmautz M, Dorna M, Dambier M, Minker W, Glimm B, Biundo S (2019) Alice in DIY-wonderland or: instructing novice users on how to use tools in DIY projects. AI Commun 32(1):31\u201357","journal-title":"AI Commun"},{"key":"721_CR10","doi-asserted-by":"crossref","unstructured":"Bercher P, Alford R, H\u00f6ller D (2019) A survey on hierarchical planning\u2014one abstract idea, many concrete realizations. In: IJCAI. pp 6267\u20136275. ijcai.org","DOI":"10.24963\/ijcai.2019\/875"},{"key":"721_CR11","doi-asserted-by":"crossref","unstructured":"Bercher P, Behnke G, H\u00f6ller D, Biundo S (2017) An admissible HTN planning heuristic. In: IJCAI. pp 480\u2013488. ijcai.org","DOI":"10.24963\/ijcai.2017\/68"},{"key":"721_CR12","doi-asserted-by":"crossref","unstructured":"Bercher P, Biundo S, Geier T, Hoernle T, Nothdurft F, Richter F, Schattenberg B (2014) Plan, repair, execute, explain\u2014how planning helps to assemble your home theater. In: ICAPS. AAAI Press, pp 386\u2013394","DOI":"10.1609\/icaps.v24i1.13664"},{"key":"721_CR13","unstructured":"Bercher P, Keen S, Biundo S (2014) Hybrid planning heuristics based on task decomposition graphs. In: Annual symposium on combinatorial search (SoCS). AAAI Press, pp 35\u201343"},{"key":"721_CR14","doi-asserted-by":"crossref","unstructured":"Bercher P, Olz C (2020) POP $$\\equiv$$ POCL, right? Complexity results for partial order (causal link) makespan minimization. AAAI Press, pp 9785\u20139793","DOI":"10.1609\/aaai.v34i06.6530"},{"key":"721_CR15","unstructured":"Bercher P, Richter F, Honold F, Nielsen F, Sch\u00fcssel F, Geier T, H\u00f6rnle T, Reuter S, H\u00f6ller D, Behnke G, Dietmayer K, Minker W, Weber M, Biundo S (2018) A Companion-system architecture for realizing individualized and situation-adaptive user assistance. Tech. rep., Ulm University"},{"issue":"3\u20134","key":"721_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/j.cogsys.2010.12.005","volume":"12","author":"S Biundo","year":"2011","unstructured":"Biundo S, Bercher P, Geier T, M\u00fcller F, Schattenberg B (2011) Advanced user assistance based on AI planning. Cogn Syst Res 12(3\u20134):219\u2013236","journal-title":"Cogn Syst Res"},{"key":"721_CR17","unstructured":"Biundo S, Schattenberg B (2001) From abstract crisis to concrete relief\u2013a preliminary report on combining state abstraction and HTN planning. In: European conference on planning (ECP). AAAI Press, pp 157\u2013168"},{"issue":"1","key":"721_CR18","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 (2016) Companion-technology for cognitive technical systems. K\u00fcnstliche Intelligenz 30(1):71\u201375","journal-title":"K\u00fcnstliche Intelligenz"},{"key":"721_CR19","volume-title":"Companion technology\u2014a paradigm shift in human-technology interaction","author":"S Biundo","year":"2017","unstructured":"Biundo S, Wendemuth A (2017) An introduction to companion-technology. In: Biundo S, Wendemuth A (eds) Companion technology\u2014a paradigm shift in human-technology interaction. Springer, Berlin"},{"issue":"1","key":"721_CR20","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF02136175","volume":"18","author":"K Erol","year":"1996","unstructured":"Erol K, Hendler JA, Nau DS (1996) Complexity results for HTN planning. Ann Math Artif Intell (AMAI) 18(1):69\u201393","journal-title":"Ann Math Artif Intell (AMAI)"},{"key":"721_CR21","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox M, Long D (2003) PDDL2.1: an extension to PDDL for expressing temporal planning domains. J Artif Intell Res (JAIR) 20:61\u2013124","journal-title":"J Artif Intell Res (JAIR)"},{"key":"721_CR22","doi-asserted-by":"crossref","unstructured":"H\u00f6ller D, Bercher P, Behnke G, Biundo S (2018) A generic method to guide HTN progression search with classical heuristics. In: ICAPS. AAAI Press, pp 114\u2013122","DOI":"10.1609\/icaps.v28i1.13900"},{"key":"721_CR23","doi-asserted-by":"crossref","unstructured":"H\u00f6ller D, Bercher P, Behnke G, Biundo S (2019) On guiding search in HTN planning with classical planning heuristics. In: IJCAI. pp 6171\u20136175. ijcai.org","DOI":"10.24963\/ijcai.2019\/857"},{"key":"721_CR24","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1613\/jair.1.11282","volume":"67","author":"D H\u00f6ller","year":"2020","unstructured":"H\u00f6ller D, Bercher P, Behnke G, Biundo S (2020) HTN planning as heuristic progression search. J Artif Intell Res (JAIR) 67:835\u2013880","journal-title":"J Artif Intell Res (JAIR)"},{"key":"721_CR25","unstructured":"H\u00f6ller D, Bercher P, Richter F, Schiller M, Geier T, Biundo S (2014) Finding user-friendly linearizations of partially ordered plans. In: Workshop \u201cPlanen, Scheduling und Konfigurieren, Entwerfen\u201d (PuK)"},{"key":"721_CR26","doi-asserted-by":"crossref","unstructured":"H\u00f6ller D, Behnke G, Bercher P, Biundo S, Fiorino H, Pellier D, Alford R (2020) HDDL: an extension to PDDL for expressing hierarchical planning problems. In: AAAI. AAAI Press, pp 9883\u20139891","DOI":"10.1609\/aaai.v34i06.6542"},{"key":"721_CR27","unstructured":"Kraus M, Fischbach F, Jansen P, Minker W (2020) A comparison of explicit and implicit proactive dialogue strategies for conversational recommendation. In: Language Resources and Evaluation Conference (LREC). ELRA, pp 429\u2013435"},{"key":"721_CR28","doi-asserted-by":"crossref","unstructured":"Kraus M, Schiller M, Behnke G, Bercher P, Biundo S, Glimm B, Minker W (2019) A Multimodal dialogue framework for cloud-based companion systems. Springer, pp 405\u2013410","DOI":"10.1007\/978-981-13-9443-0_36"},{"key":"721_CR29","doi-asserted-by":"crossref","unstructured":"Kraus M, Schiller M, Behnke G, Bercher P, Dorna M, Dambier M, Glimm B, Biundo S, Minker W (2020) \u201cWas that successful\u201d On integrating proactive meta-dialogue in a DIY-assistant system using multimodal cues. In: International conference on multimodal interaction (ICMI). ACM","DOI":"10.1145\/3382507.3418818"},{"key":"721_CR30","doi-asserted-by":"crossref","unstructured":"Kraus M, Wagner N, Minker W (2020) Effects of proactive dialogue strategies on human-computer trust. In: ACM conference on user modeling, adaptation and personalization (UMAP). Association for Computing Machinery, pp 107\u2013116","DOI":"10.1145\/3340631.3394840"},{"key":"721_CR31","unstructured":"Leichtmann B, Bercher P, H\u00f6ller D, Behnke G, Biundo S, Nitsch V, Baumann M (2018) Towards a companion system incorporating human planning behavior\u2014a qualitative analysis of human strategies. In: Transdisciplinary conference on support technologies (TCST). pp 89\u201398"},{"key":"721_CR32","unstructured":"Mattm\u00fcller R, Rintanen J (2007) Planning for temporally extended goals as propositional satisfiability. In: IJCAI. AAAI Press, pp 1966\u20131971"},{"key":"721_CR33","doi-asserted-by":"crossref","unstructured":"Nothdurft F, Richter F, Minker W (2014) Probabilistic human\u2013computer trust handling. In: Annual meeting of the special interest group on discourse and dialogue (SIGDIAL). Association for Computational Linguistics, pp 51\u201359","DOI":"10.3115\/v1\/W14-4307"},{"key":"721_CR34","unstructured":"Olz C, Bercher P (2019) Eliminating redundant actions in partially ordered plans\u2014a complexity analysis. In: ICAPS. AAAI Press, pp 310\u2013319"},{"key":"721_CR35","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Annual symposium on Foundations of computer science (SFCS). IEEE, pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"721_CR36","unstructured":"Schiller M, Behnke G, Bercher P, Kraus M, Dorna M, Richter F, Biundo S, Glimm B Minker W (2018) Evaluating knowledge-based assistance for DIY. In: MCI Workshop \u201cDigital Companion\u201d, pp 925\u2013930"},{"key":"721_CR37","doi-asserted-by":"crossref","unstructured":"Schiller M, Behnke G, Schmautz M, Bercher P, Kraus M, Dorna M, Minker W, Glimm B, Biundo S (2017) A paradigm for coupling procedural and conceptual knowledge in companion systems. In: International conference on computer technology (ICCT). IEEE","DOI":"10.1109\/COMPANION.2017.8287072"},{"key":"721_CR38","unstructured":"Schiller M, Schiller F, Glimm B (2017) Testing the adequacy of automated explanations of el subsumptions. In: Proceedings of DL 2017, CEUR Workshop, 1879"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-021-00721-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13218-021-00721-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-021-00721-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T09:41:36Z","timestamp":1672479696000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13218-021-00721-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,16]]},"references-count":38,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2021,11]]}},"alternative-id":["721"],"URL":"https:\/\/doi.org\/10.1007\/s13218-021-00721-x","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,16]]},"assertion":[{"value":"25 August 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 April 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 June 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}