{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:30:16Z","timestamp":1743013816318,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"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_7","type":"book-chapter","created":{"date-parts":[[2017,12,4]],"date-time":"2017-12-04T12:10:01Z","timestamp":1512389401000},"page":"123-144","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Behnke","sequence":"first","affiliation":[]},{"given":"Florian","family":"Nielsen","sequence":"additional","affiliation":[]},{"given":"Marvin","family":"Schiller","sequence":"additional","affiliation":[]},{"given":"Denis","family":"Ponomaryov","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Bercher","sequence":"additional","affiliation":[]},{"given":"Birte","family":"Glimm","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Minker","sequence":"additional","affiliation":[]},{"given":"Susanne","family":"Biundo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,5]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MIS.2004.1265878","volume":"19","author":"M. Ai-Chang","year":"2004","unstructured":"Ai-Chang, M., Bresina, J., Charest, L., Chase, A., Hsu, J.J., Jonsson, A., Kanefsky, B., Morris, P., Rajan, K., Yglesias, J., Chafin, B., Dias, W., Maldague, P.: MAPGEN: mixed-initiative planning and scheduling for the Mars exploration rover mission. IEEE Intell. Syst. 19(1), 8\u201312 (2004)","journal-title":"IEEE Intell. Syst."},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1613\/jair.4017","volume":"48","author":"I. Androutsopoulos","year":"2013","unstructured":"Androutsopoulos, I., Lampouras, G., Galanis, D.: Generating natural language descriptions from OWL ontologies: the NaturalOWL system. J. Artif. Intell. Res. 48, 671\u2013715 (2013)","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR3","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 24th International Joint Conference on Artificial Intelligence (IJCAI), pp. 1442\u20131449. AAAI Press, Palo Alto, CA (2015)"},{"key":"7_CR4","volume-title":"Change the plan \u2013 how hard can that be? In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS)","author":"G. Behnke","year":"2016","unstructured":"Behnke, G., H\u00f6ller, D., Bercher, P., Biundo, S.: Change the plan \u2013 how hard can that be? In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, Palo Alto, CA (2016)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bercher, P., H\u00f6ller, D.: Interview with David E. Smith. K\u00fcnstl. Intell. (2016). doi:10.1007\/s13218-015-0403-y. Special Issue on Companion Technologies","DOI":"10.1007\/s13218-015-0403-y"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bercher, P., Biundo, S., Geier, T., Hoernle, 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, CA (2014)","DOI":"10.1609\/icaps.v24i1.13664"},{"key":"7_CR7","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). AAAI Press, Palo Alto, CA (2015)","DOI":"10.1609\/aaai.v29i1.9274"},{"key":"7_CR8","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, CA (2001)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Biundo, S., H\u00f6ller, D., Schattenberg, B., Bercher, P.: Companion-technology: an overview. K\u00fcnstl. Intell. (2016). doi:10.1007\/s13218-015-0419-3. Special Issue on Companion Technologies","DOI":"10.1007\/s13218-015-0419-3"},{"key":"7_CR10","unstructured":"Borgida, A., Franconi, E., Horrocks, I.: Explaining ALC subsumption. In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), pp. 209\u2013213. IOS Press, Palo Alto, CA (2000)"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0010-0277(77)90019-1","volume":"5","author":"R. Byrne","year":"1977","unstructured":"Byrne, R.: Planning meals: problem solving on a real data-base. Cognition 5, 287\u2013332 (1977)","journal-title":"Cognition"},{"key":"7_CR12","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 Artificial Intelligence Planning Systems (AIPS), pp. 249\u2013254. AAAI Press, Palo Alto, CA (1994)"},{"key":"7_CR13","unstructured":"Ferguson, G., Allen, J.F.: TRIPS: an integrated intelligent problem-solving assistant. In: Proceedings of the 15h National Conference on Artificial Intelligence (AAAI), pp. 567\u2013572. AAAI Press, Palo Alto, CA (1998)"},{"key":"7_CR14","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, CA (2011)"},{"issue":"2","key":"7_CR15","first-page":"73","volume":"26","author":"Y. Gil","year":"2005","unstructured":"Gil, Y.: Description logics and planning. AI Mag. 26(2), 73\u201384 (2005)","journal-title":"AI Mag."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Hassenzahl, M., Burmester, M., Koller, F.: AttrakDiff: Ein Fragebogen zur Messung wahrgenommener hedonischer und pragmatischer Qualit\u00e4t. In: Mensch & Computer 2003: Interaktion in Bewegung, pp. 187\u2013196. Teubner, Wiesbaden (2003)","DOI":"10.1007\/978-3-322-80058-9_19"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1207\/s15516709cog0304_1","volume":"3","author":"B. Hayes-Roth","year":"1979","unstructured":"Hayes-Roth, B., Hayes-Roth, F.: A cognitive model of planning. Cogn. Sci. 3, 275\u2013310 (1979)","journal-title":"Cogn. Sci."},{"key":"7_CR18","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":"7_CR19","unstructured":"Horridge, M.: Justification based explanations in ontologies. Ph.D. thesis, University of Manchester, Manchester (2011)"},{"key":"7_CR20","unstructured":"Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.H.: The Manchester OWL syntax. In: Proceedings of the OWLED\u201906 Workshop on OWL: Experiences and Directions, vol. 216 (2006). CEUR Workshop Proceedings"},{"issue":"1","key":"7_CR21","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/SW-2012-0063","volume":"4","author":"T. Kuhn","year":"2013","unstructured":"Kuhn, T.: The understandability of OWL statements in controlled English. Semantic Web 4(1), 101\u2013115 (2013)","journal-title":"Semantic Web"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Lin, N., Kuter, U., Sirin, E.: Web service composition with user preferences. In: The Semantic Web: Research and Applications. Lecture Notes in Computer Science, vol. 5021, pp. 629\u2013643. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68234-9_46"},{"key":"7_CR23","unstructured":"Madsen, M., Gregor, S.: Measuring human-computer trust. In: Proceedings of the 11th Australasian Conference on Information Systems (ACIS), pp. 6\u20138 (2000)"},{"key":"7_CR24","unstructured":"McAllester, D., Rosenblitt, D.: Systematic nonlinear planning. In: Proceedings of the 9th National Conference on Artificial Intelligence (AAAI), pp. 634\u2013639. AAAI Press, Palo Alto, CA (1991)"},{"key":"7_CR25","unstructured":"Myers, K.L., Jarvis, P., Tyson, M., Wolverton, M.: A mixed-initiative framework for robust plan sketching. In: 13th International Conference on Automated Planning and Scheduling (ICAPS), pp. 256\u2013266. AAAI Press, Palo Alto, CA (2003)"},{"issue":"2","key":"7_CR26","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., Mu\u00f1oz-Avila, H., Murdock, J.W., Wu, D., Yaman, F.: Applications of SHOP and SHOP2. IEEE Intell. Syst. 20(2), 34\u201341 (2005)","journal-title":"IEEE Intell. Syst."},{"key":"7_CR27","unstructured":"NCICB (NCI Center for Bioinformatics): http:\/\/ncicb.nci.nih.gov\/xml\/owl\/EVS\/ (2015). Thesaurus.owl. Accessed 9 Feb 2015"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Nguyen, T.A.T., Power, R., Piwek, P., Williams, S.: Predicting the understandability of OWL inferences. In: The Semantic Web: Semantics and Big Data. Lecture Notes in Computer Science, vol. 7882, pp. 109\u2013123. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38288-8_8"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Nothdurft, F., Richter, F., Minker, W.: Probabilistic human-computer trust handling. In: Proceedings of the Annual Meeting of the Special Interest Group on Discourse and Dialogue, pp. 51\u201359. ACL, Menlo Park, CA (2014). http:\/\/www.aclweb.org\/anthology\/W14-4307","DOI":"10.3115\/v1\/W14-4307"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Nothdurft, F., Behnke, G., Bercher, P., Biundo, S., Minker, W.: The interplay of user-centered dialog systems and AI planning. In: Proceedings of the 16th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL), pp. 344\u2013353. ACL, Menlo Park, CA (2015)","DOI":"10.18653\/v1\/W15-4646"},{"key":"7_CR31","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, Los Altos, CA (1992)"},{"key":"7_CR32","unstructured":"Pichler, M., Seufert, T.: Two strategies to measure cognitive load. In: EARLI Conference 2011. Education for a Global Networked Society, pp. 928\u2013929. European Association for Research on Learning and Instruction, Leuven (2011)"},{"key":"7_CR33","unstructured":"Pulido, J.C., Gonz\u00e1lez, J.C., Gonz\u00e1lez-Ferrer, A., Garc\u00eda, J., Fern\u00e1ndez, F., Bandera, A., Bustos, P., Su\u00e1rez, C.: Goal-directed generation of exercise sets for upper-limb rehabilitation. In: Proceedings of the 5th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS), pp. 38\u201345 (2014)"},{"key":"7_CR34","unstructured":"Schiller, M., Glimm, B.: Towards explicative inference for OWL. In: Proceedings of the 26th International Description Logic Workshop, vol. 1014, pp. 930\u2013941. CEUR (2013)"},{"key":"7_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Appl. Artif. Intell. 48, 1\u201326 (1991)","journal-title":"Appl. Artif. Intell."},{"key":"7_CR36","unstructured":"Sirin, E.: Combining description logic reasoning with AI planning for composition of web services. Ph.D. thesis, University of Maryland at College Park (2006)"},{"issue":"4","key":"7_CR37","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","volume":"1","author":"E. Sirin","year":"2004","unstructured":"Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for web service composition using SHOP2. Web Semant. 1(4), 377\u2013396 (2004)","journal-title":"Web Semant."},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR), pp. 292\u2013297. Springer, Berlin (2006)","DOI":"10.1007\/11814771_26"},{"key":"7_CR39","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1090\/dimacs\/031\/05","volume":"31","author":"M.Y. Vardi","year":"1997","unstructured":"Vardi, M.Y.: Why is modal logic so robustly decidable? Descriptive Complex. Finite Models 31, 149\u2013184 (1997)","journal-title":"Descriptive Complex. Finite Models"}],"container-title":["Cognitive Technologies","Companion Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43665-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T16:43:36Z","timestamp":1693327416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43665-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319436647","9783319436654"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43665-4_7","relation":{},"ISSN":["1611-2482","2197-6635"],"issn-type":[{"type":"print","value":"1611-2482"},{"type":"electronic","value":"2197-6635"}],"subject":[],"published":{"date-parts":[[2017]]}}}