{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T15:01:13Z","timestamp":1776092473915,"version":"3.50.1"},"reference-count":49,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIC"],"published-print":{"date-parts":[[2019,3,13]]},"DOI":"10.3233\/aic-180604","type":"journal-article","created":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T15:46:50Z","timestamp":1547826410000},"page":"31-57","source":"Crossref","is-referenced-by-count":11,"title":["Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects"],"prefix":"10.1177","volume":"32","author":[{"given":"Gregor","family":"Behnke","sequence":"first","affiliation":[{"name":"Institute of Artificial Intelligence, Ulm University, Germany. E-mails:\u00a0gregor.behnke@uni-ulm.de,\u00a0marvin.schiller@alumni.uni-ulm.de,\u00a0pascal.bercher@uni-ulm.de,\u00a0mario.schmautz@uni-ulm.de,\u00a0birte.glimm@uni-ulm.de,\u00a0susanne.biundo@uni-ulm.de"}]},{"given":"Marvin","family":"Schiller","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Ulm University, Germany. E-mails:\u00a0gregor.behnke@uni-ulm.de,\u00a0marvin.schiller@alumni.uni-ulm.de,\u00a0pascal.bercher@uni-ulm.de,\u00a0mario.schmautz@uni-ulm.de,\u00a0birte.glimm@uni-ulm.de,\u00a0susanne.biundo@uni-ulm.de"},{"name":"Corporate Research Sector, Robert Bosch GmbH, Renningen, Germany. E-mails:\u00a0marvin.schiller@de.bosch.com,\u00a0michael.dorna@de.bosch.com,\u00a0michael.dambier@de.bosch.com"}]},{"given":"Matthias","family":"Kraus","sequence":"additional","affiliation":[{"name":"Institute of Communications Engineering, Ulm University, Germany. E-mails:\u00a0matthias.kraus@uni-ulm.de,\u00a0wolfgang.minker@uni-ulm.de"}]},{"given":"Pascal","family":"Bercher","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Ulm University, Germany. E-mails:\u00a0gregor.behnke@uni-ulm.de,\u00a0marvin.schiller@alumni.uni-ulm.de,\u00a0pascal.bercher@uni-ulm.de,\u00a0mario.schmautz@uni-ulm.de,\u00a0birte.glimm@uni-ulm.de,\u00a0susanne.biundo@uni-ulm.de"}]},{"given":"Mario","family":"Schmautz","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Ulm University, Germany. E-mails:\u00a0gregor.behnke@uni-ulm.de,\u00a0marvin.schiller@alumni.uni-ulm.de,\u00a0pascal.bercher@uni-ulm.de,\u00a0mario.schmautz@uni-ulm.de,\u00a0birte.glimm@uni-ulm.de,\u00a0susanne.biundo@uni-ulm.de"}]},{"given":"Michael","family":"Dorna","sequence":"additional","affiliation":[{"name":"Corporate Research Sector, Robert Bosch GmbH, Renningen, Germany. E-mails:\u00a0marvin.schiller@de.bosch.com,\u00a0michael.dorna@de.bosch.com,\u00a0michael.dambier@de.bosch.com"}]},{"given":"Michael","family":"Dambier","sequence":"additional","affiliation":[{"name":"Corporate Research Sector, Robert Bosch GmbH, Renningen, Germany. E-mails:\u00a0marvin.schiller@de.bosch.com,\u00a0michael.dorna@de.bosch.com,\u00a0michael.dambier@de.bosch.com"}]},{"given":"Wolfgang","family":"Minker","sequence":"additional","affiliation":[{"name":"Institute of Communications Engineering, Ulm University, Germany. E-mails:\u00a0matthias.kraus@uni-ulm.de,\u00a0wolfgang.minker@uni-ulm.de"}]},{"given":"Birte","family":"Glimm","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Ulm University, Germany. E-mails:\u00a0gregor.behnke@uni-ulm.de,\u00a0marvin.schiller@alumni.uni-ulm.de,\u00a0pascal.bercher@uni-ulm.de,\u00a0mario.schmautz@uni-ulm.de,\u00a0birte.glimm@uni-ulm.de,\u00a0susanne.biundo@uni-ulm.de"}]},{"given":"Susanne","family":"Biundo","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Ulm University, Germany. E-mails:\u00a0gregor.behnke@uni-ulm.de,\u00a0marvin.schiller@alumni.uni-ulm.de,\u00a0pascal.bercher@uni-ulm.de,\u00a0mario.schmautz@uni-ulm.de,\u00a0birte.glimm@uni-ulm.de,\u00a0susanne.biundo@uni-ulm.de"}]}],"member":"179","reference":[{"issue":"1","key":"10.3233\/AIC-180604_ref1","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MIS.2004.1265878","article-title":"MAPGEN: Mixed-initiative planning and scheduling for the mars exploration rover mission","volume":"19","author":"Ai-Chang","year":"2004","journal-title":"Intelligent Systems, IEEE"},{"issue":"7","key":"10.3233\/AIC-180604_ref2","first-page":"64","article-title":"Likert scales and data analyses","volume":"40","author":"Allen","year":"2007","journal-title":"Quality progress"},{"key":"10.3233\/AIC-180604_ref3","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1613\/jair.4017","article-title":"Generating natural language descriptions from OWL ontologies: The NaturalOWL system","volume":"48","author":"Androutsopoulos","year":"2013","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/AIC-180604_ref4","unstructured":"F.\u00a0Baader, D.\u00a0Calvanese, D.\u00a0McGuinness, P.\u00a0Patel-Schneider and D.\u00a0Nardi, The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2003."},{"issue":"1\/2","key":"10.3233\/AIC-180604_ref5","doi-asserted-by":"crossref","first-page":"123","DOI":"10.2307\/2332517","article-title":"Significance tests for 2\u00d72 tables","volume":"34","author":"Barnard","year":"1947","journal-title":"Biometrika"},{"key":"10.3233\/AIC-180604_ref6","unstructured":"G.\u00a0Behnke, P.\u00a0Bercher, S.\u00a0Biundo, B.\u00a0Glimm, D.\u00a0Ponomaryov and M.\u00a0Schiller, Integrating Ontologies and Planning for Cognitive Systems, in: Proceedings of the 28th International Workshop on Description Logics (DL 2015), CEUR Workshop Proceedings, 2015."},{"key":"10.3233\/AIC-180604_ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2018.00022"},{"key":"10.3233\/AIC-180604_ref8","doi-asserted-by":"crossref","unstructured":"G.\u00a0Behnke, D.\u00a0H\u00f6ller and S.\u00a0Biundo, totSAT \u2013 Totally-ordered hierarchical planning through SAT, in: Proceedings of the 32nd AAAI Conference on AI (AAAI 2018), AAAI Press, 2018, pp. 6110\u20136118.","DOI":"10.1609\/aaai.v32i1.12083"},{"key":"10.3233\/AIC-180604_ref9","doi-asserted-by":"crossref","unstructured":"G.\u00a0Behnke, D.\u00a0H\u00f6ller and S.\u00a0Biundo, Bringing order to chaos\u00a0\u2013 A compact representation of partial order in SAT-based HTN planning, in: Proceedings of the 33rd AAAI Conference on AI (AAAI 2019), AAAI Press, 2019.","DOI":"10.1609\/aaai.v33i01.33017520"},{"key":"10.3233\/AIC-180604_ref10","first-page":"1442","volume-title":"Coherence Across Components in Cognitive Systems \u2013 One Ontology to Rule Them All, in: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015)","author":"Behnke","year":"2015"},{"key":"10.3233\/AIC-180604_ref11","doi-asserted-by":"crossref","unstructured":"G.\u00a0Behnke, M.\u00a0Schiller, M.\u00a0Kraus, P.\u00a0Bercher, M.\u00a0Schmautz, M.\u00a0Dorna, W.\u00a0Minker, B.\u00a0Glimm and S.\u00a0Biundo, Instructing novice users on how to use tools in DIY projects, in: Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), IJCAI, 2018, pp. 5805\u20135807.","DOI":"10.24963\/ijcai.2018\/844"},{"key":"10.3233\/AIC-180604_ref12","doi-asserted-by":"crossref","unstructured":"P.\u00a0Bercher, S.\u00a0Biundo, T.\u00a0Geier, T.\u00a0H\u00f6rnle, F.\u00a0Nothdurft, F.\u00a0Richter and B.\u00a0Schattenberg, Plan, repair, execute, explain\u00a0\u2013 how planning helps to assemble your home theater, in: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014), AAAI Press, 2014, pp. 386\u2013394.","DOI":"10.1609\/icaps.v24i1.13664"},{"key":"10.3233\/AIC-180604_ref13","doi-asserted-by":"crossref","unstructured":"P.\u00a0Bercher, S.\u00a0Keen and S.\u00a0Biundo, Hybrid planning heuristics based on task decomposition graphs, in: Proceedings of the 7th Annual Symposium on Combinatorial Search (SoCS 2014), AAAI Press, 2014, pp. 35\u201343.","DOI":"10.1609\/socs.v5i1.18323"},{"key":"10.3233\/AIC-180604_ref14","doi-asserted-by":"publisher","DOI":"10.18725\/OPARU-11023"},{"key":"10.3233\/AIC-180604_ref15","doi-asserted-by":"crossref","unstructured":"P.\u00a0Bercher, F.\u00a0Richter, T.\u00a0H\u00f6rnle, T.\u00a0Geier, D.\u00a0H\u00f6ller, G.\u00a0Behnke, F.\u00a0Nielsen, F.\u00a0Honold, F.\u00a0Sch\u00fcssel, S.\u00a0Reuter, W.\u00a0Minker, M.\u00a0Weber, K.\u00a0Dietmayer and S.\u00a0Biundo, Advanced user assistance for setting up a home theater, in: Companion Technology \u2013 a Paradigm Shift in Human-Technology Interaction, S.\u00a0Biundo and A.\u00a0Wendemuth, eds, Cognitive Technologies, Springer, 2017, pp. 485\u2013491, Chap. 24.","DOI":"10.1007\/978-3-319-43665-4_24"},{"key":"10.3233\/AIC-180604_ref16","doi-asserted-by":"crossref","unstructured":"P.\u00a0Bercher, F.\u00a0Richter, T.\u00a0H\u00f6rnle, T.\u00a0Geier, D.\u00a0H\u00f6ller, G.\u00a0Behnke, F.\u00a0Nothdurft, F.\u00a0Honold, W.\u00a0Minker, M.\u00a0Weber and S.\u00a0Biundo, A planning-based assistance system for setting up a home theater, in: Proceedings of the 29th AAAI Conference on AI (AAAI 2015), AAAI Press, 2015, pp. 4264\u20134265.","DOI":"10.1609\/aaai.v29i1.9274"},{"key":"10.3233\/AIC-180604_ref17","unstructured":"A.\u00a0Borgida, E.\u00a0Franconi and I.\u00a0Horrocks, Explaining ALC subsumption, in: Proceedings of the European Conference on Artificial Intelligence (ECAI 2000), IOS Press, 2000, pp. 209\u2013213."},{"issue":"1","key":"10.3233\/AIC-180604_ref19","first-page":"69","article-title":"Complexity results for HTN planning","volume":"18","author":"Erol","year":"1996","journal-title":"Annals of Mathematics and AI"},{"key":"10.3233\/AIC-180604_ref20","unstructured":"J.\u00a0Fernandez-Olivares, L.\u00a0Castillo, O.\u00a0Garcia-Perez and F.\u00a0Palao, Bringing users and planning technology together. Experiences in SIADEX, in: Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS 2006), 2006, pp. 11\u201320."},{"issue":"2","key":"10.3233\/AIC-180604_ref21","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/514183.514185","article-title":"Principled design of the modern web architecture","volume":"2","author":"Fielding","year":"2002","journal-title":"ACM Transactions on Internet Technology (TOIT)"},{"key":"10.3233\/AIC-180604_ref22","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","article-title":"PDDL2.1: An extension to PDDL for expressing temporal planning domains","volume":"20","author":"Fox","year":"2003","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.3233\/AIC-180604_ref23","unstructured":"T.\u00a0Geier and P.\u00a0Bercher, On the decidability of HTN planning with task insertion, in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), AAAI Press, 2011, pp. 1955\u20131961."},{"key":"10.3233\/AIC-180604_ref24","doi-asserted-by":"crossref","unstructured":"M.\u00a0Ghallab, D.S.\u00a0Nau and P.\u00a0Traverso, Automated Planning and Acting, Cambridge University Press, 2016.","DOI":"10.1017\/CBO9781139583923"},{"issue":"3","key":"10.3233\/AIC-180604_ref25","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","article-title":"HermiT: An OWL 2 reasoner","volume":"53","author":"Glimm","year":"2014","journal-title":"Journal of Automated Reasoning"},{"key":"10.3233\/AIC-180604_ref26","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1109\/IE.2014.60","volume-title":"Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems, in: Proceedings of the 10th International Conference on Intelligent Environments (IE 2014)","author":"Honold","year":"2014"},{"issue":"1","key":"10.3233\/AIC-180604_ref27","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1207\/S15327566IJCE0401_04","article-title":"Foundations for an empirically determined scale of trust in automated systems","volume":"4","author":"Jian","year":"2000","journal-title":"International Journal of Cognitive Ergonomics"},{"key":"10.3233\/AIC-180604_ref28","doi-asserted-by":"crossref","unstructured":"M.\u00a0Kraus, G.\u00a0Behnke, P.\u00a0Bercher, M.\u00a0Schiller, S.\u00a0Biundo, B.\u00a0Glimm and W.\u00a0Minker, A multimodal dialogue framework for cloud-based companion systems, in: Proceedings of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018), 2018.","DOI":"10.1007\/978-981-13-9443-0_36"},{"key":"10.3233\/AIC-180604_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15545-6_22"},{"issue":"3\u20134","key":"10.3233\/AIC-180604_ref30","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1017\/S1351324900002539","article-title":"Information state and dialogue management in the TRINDI dialogue move engine toolkit","volume":"6","author":"Larsson","year":"2000","journal-title":"Natural language engineering"},{"key":"10.3233\/AIC-180604_ref31","first-page":"227","article-title":"OntoVerbal: A\u00a0generic tool and practical application to SNOMED CT","volume":"4","author":"Liang","year":"2013","journal-title":"International Journal of Advanced Computer Science and Applications (IJACSA)"},{"key":"10.3233\/AIC-180604_ref32","unstructured":"M.\u00a0Madsen and S.\u00a0Gregor, Measuring human-computer trust, in: 11th Australasian Conference on Information Systems (ACIS 2000), G.\u00a0Gable and M.\u00a0Vitale, eds, Queensland University of Technology, Brisbane, 2000."},{"issue":"2","key":"10.3233\/AIC-180604_ref33","first-page":"35","article-title":"The 1998 AI planning systems competition","volume":"21","author":"McDermott","year":"2000","journal-title":"AI Magazine"},{"issue":"1","key":"10.3233\/AIC-180604_ref35","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/505282.505285","article-title":"Spoken dialogue technology: Enabling the conversational user interface","volume":"34","author":"McTear","year":"2002","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"2","key":"10.3233\/AIC-180604_ref37","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1037\/h0043158","article-title":"The magical number seven, plus or minus two: Some limits on our capacity for processing information","volume":"63","author":"Miller","year":"1956","journal-title":"Psychological review"},{"key":"10.3233\/AIC-180604_ref38","unstructured":"K.\u00a0Myers, P.\u00a0Jarvis, W.\u00a0Tyson and M.\u00a0Wolverton, A mixed-initiative framework for robust plan sketching, in: Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS 2003), AAAI Press, 2003, pp.\u00a0256\u2013265."},{"key":"10.3233\/AIC-180604_ref39","unstructured":"T.\u00a0Nguyen, R.\u00a0Power, P.\u00a0Piwek and S.\u00a0Williams, Measuring the understandability of deduction rules for OWL, in: First International Workshop on Debugging Ontologies and Ontology Mappings (WoDOOM12), P.\u00a0Lambrix, G.\u00a0Qi and M.\u00a0Horridge, eds, Link\u00f6ping University Electronic Press, 2012, pp. 1\u201312."},{"key":"10.3233\/AIC-180604_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38288-8_8"},{"key":"10.3233\/AIC-180604_ref41","unstructured":"T.\u00a0Perleth, M.\u00a0Schiller and B.\u00a0Glimm, Applying a model of text comprehension to automated verbalizations of EL derivations, in: Proceedings of the 31st International Workshop on Description Logics, Vol. 2211, M.\u00a0Ortiz and T.\u00a0Schneider, eds, CEUR, 2018."},{"key":"10.3233\/AIC-180604_ref42","unstructured":"M.E.\u00a0Pollack, Planning technology for intelligent cognitive orthotics, in: Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems (AIPS), AAAI Press, 2002, pp. 322\u2013332."},{"key":"10.3233\/AIC-180604_ref43","first-page":"312","article-title":"BDI agents: From theory to practice","volume":"95","author":"Rao","year":"1995","journal-title":"ICMAS"},{"key":"10.3233\/AIC-180604_ref44","unstructured":"S.\u00a0Rudolph, M.\u00a0Kr\u00f6tzsch and P.\u00a0Hitzler, All elephants are bigger than all mice, in: Proceedings of the 21st International Workshop on Description Logics (DL), CEUR Workshop Proceedings Vol. 353, CEUR Workshop Proceedings, Vol. 353, 2008."},{"key":"10.3233\/AIC-180604_ref45","unstructured":"M.\u00a0Schiller, G.\u00a0Behnke, P.\u00a0Bercher, M.\u00a0Kraus, M.\u00a0Dorna, F.\u00a0Richter, S.\u00a0Biundo, B.\u00a0Glimm and W.\u00a0Minker, Evaluating knowledge-based assistance for DIY, in: Mensch und Computer 2018 \u2013 Workshopband, Gesellschaft f\u00fcr Informatik eV, 2018."},{"key":"10.3233\/AIC-180604_ref46","doi-asserted-by":"crossref","unstructured":"M.\u00a0Schiller, G.\u00a0Behnke, M.\u00a0Schmautz, P.\u00a0Bercher, M.\u00a0Kraus, M.\u00a0Dorna, W.\u00a0Minker, B.\u00a0Glimm and S.\u00a0Biundo, A paradigm for coupling procedural and conceptual knowledge in companion systems, in: Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017), IEEE, 2017.","DOI":"10.1109\/COMPANION.2017.8287072"},{"key":"10.3233\/AIC-180604_ref47","unstructured":"M.R.\u00a0Schiller, F.\u00a0Schiller and B.\u00a0Glimm, Testing the adequacy of automated explanations of EL subsumptions, in: Proceedings of the 30th International Workshop on Description Logics (DL), CEUR Workshop Proceedings, Vol. 1879, 2017."},{"key":"10.3233\/AIC-180604_ref48","unstructured":"S.\u00a0Sengupta, T.\u00a0Chakraborti, S.\u00a0Sreedharan, S.G.\u00a0Vadlamudi and S.\u00a0Kambhampati, RADAR \u2013 a proactive decision support system for human-in-the-loop planning, in: The 2017 AAAI Fall Symposium Series: Technical Reports, AAAI Press, 2017, pp. 269\u2013276."},{"key":"10.3233\/AIC-180604_ref49","doi-asserted-by":"crossref","unstructured":"C.\u00a0Steinberger and J.\u00a0Michael, Towards cognitive assisted living 3.0, in: Proceedings of the SmarterAAL Workshop Co-Located with PERCOM, IEEE, 2018.","DOI":"10.1109\/PERCOMW.2018.8480188"},{"key":"10.3233\/AIC-180604_ref50","doi-asserted-by":"publisher","DOI":"10.1186\/2041-1480-2-S2-S5"},{"issue":"1","key":"10.3233\/AIC-180604_ref51","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0968-090X(96)00025-3","article-title":"A simple procedure for the assessment of acceptance of advanced transport telematics","volume":"5","author":"Van Der Laan","year":"1997","journal-title":"Transportation research. Part C, Emerging technologies"},{"key":"10.3233\/AIC-180604_ref52","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/W15-4622"}],"container-title":["AI Communications"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AIC-180604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,10]],"date-time":"2025-03-10T14:56:40Z","timestamp":1741618600000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AIC-180604"}},"subtitle":[],"editor":[{"given":"Paul","family":"Weng","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2019,3,13]]},"references-count":49,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/aic-180604","relation":{},"ISSN":["1875-8452","0921-7126"],"issn-type":[{"value":"1875-8452","type":"electronic"},{"value":"0921-7126","type":"print"}],"subject":[],"published":{"date-parts":[[2019,3,13]]}}}