This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

2019

399.
M. Kraus, M. Schiller, G. Behnke, P. Bercher, S. Biundo, B. Glimm and W. Minker, "9th International Workshop on Spoken Dialogue Systems", Rafael Banchs and Luis Fernando D'Haro and Haizhou Li, Eds. Springer, 2019.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf
398.
P. Bercher, R. Alford and D. Höller, "A Survey on Hierarchical Planning -- One Abstract Idea, Many Concrete Realizations" in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), IJCAI, 2019.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Bercher2019HierarchicalPlanningSurvey.pdf
397.
G. Behnke, M. Schiller, M. Kraus, P. Bercher, M. Schmautz, M. Dorna, M. Dambier, W. Minker, B. Glimm and S. Biundo, "Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects", AI Communications, vol. 32, no. 1, pp. 31-57, 2019. IOS Press.
DOI: 10.3233/AIC-180604
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf
396.
G. Behnke, D. Höller and S. Biundo, "Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-based HTN Planning" in Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), AAAI Press, 2019.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019orderchaos.pdf
395.
C. Olz and P. Bercher, "Eliminating Redundant Actions in Partially Ordered Plans -- A Complexity Analysis" in Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2019), AAAI Press, 2019. pp. 310--319.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Olz2019StepElimination.pdf
394.
G. Behnke, D. Höller and S. Biundo, "Finding Optimal Solutions in HTN Planning - A SAT-based Approach" in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 2019.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019satoptimal.pdf
393.
D. Höller, G. Behnke, P. Bercher, S. Biundo, H. Fiorino, D. Pellier and R. Alford, "HDDL -- A Language to Describe Hierarchical Planning Problems" in Proceedings of the Second ICAPS Workshop on Hierarchical Planning, 2019. pp. 6--14.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019HDDL.pdf
392.
G. Behnke, D. Höller, P. Bercher, S. Biundo, D. Pellier, H. Fiorino and R. Alford, "Hierarchical Planning in the IPC" in Proceedings of the Workshop on the International Planning Competition, 2019.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019HTNIPC.pdf
391.
G. Behnke, D. Höller, P. Bercher and S. Biundo, "More Succinct Grounding of HTN Planning Problems -- Preliminary Results" in Proceedings of the Second ICAPS Workshop on Hierarchical Planning, 2019. pp. 40--48.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019Grounding.pdf
390.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "On Guiding Search in HTN Planning with Classical Planning Heuristics" in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), IJCAI, 2019.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019ProgressionHeuristics.pdf
389.
Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning.

2018

388.
P. Bercher, F. Richter, F. Honold, F. Nielsen, F. Schüssel, T. Geier, T. Hörnle, S. Reuter, D. Höller, G. Behnke, M. Weber, K. Dietmayer, W. Minker and S. Biundo, "A Companion-System Architecture for Realizing Individualized and Situation-Adaptive User Assistance", 2018.
387.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "A Generic Method to Guide HTN Progression Search with Classical Heuristics" in Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), AAAI Press, 2018. pp. 114--122.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Progression.pdf
386.
M. Kraus, G. Behnke, P. Bercher, M. Schiller, S. Biundo, B. Glimm and W. Minker, "A Multimodal Dialogue Framework for Cloud-Based Companion Systems" in Proc. of the 10th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018), 2018.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Kraus2018CompanionCloudDemo.pdf
385.
T. Perleth, M. Schiller and B. Glimm, "Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations" in Proceedings of DL 2018, CEUR Workshop Proceedings Vol. 2211, 2018.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/PerlethSchillerGlimmDL2018.pdf
384.
M. Brenner and B. Glimm, "Embracing Change by Abstraction Materialization Maintenance for Large ABoxes" in Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), AAAI Press, 2018.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/BrGl18a.pdf
383.
Y. Kazakov and P. Skocovsky, "Enumerating Justifications using Resolution" in IJCAR, Didier Galmiche and Stephan Schulz and Roberto Sebastiani, Eds. Springer, 2018. pp. 609--626.
DOI: 10.1007/978-3-319-94205-6
fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/KazSko18Justifications_IJCAR.pdf
382.
M. Schiller, G. Behnke, P. Bercher, M. Kraus, M. Dorna, F. Richter, S. Biundo, B. Glimm and W. Minker, "Evaluating Knowledge-Based Assistance for DIY" in Proceedings of MCI Workshop "Digital Companion", 2018. pp. 925--930.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/MCI-WS19-schillerEtAl2018.pdf
381.
F. Richter, "Hierarchical planning under uncertainty", Dissertation, Ulm University, Germany, 2018.
380.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Plan Repair Using Unmodified Planning Systems" in Proceedings of the First ICAPS Workshop on Hierarchical Planning, 2018. pp. 26--30.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Repair.pdf
379.
P. Bercher, "Hybrid Planning -- From Theory to Practice", Dissertation, Ulm University, 2018.
378.
P. Bercher, "Hybrides Planen — Von der Theorie zur Praxis" in Proc. of Ausgezeichnete Informatikdissertationen, Gesellschaft für Informatik, 2018.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Bercher2018DissertationAbstract.pdf
377.
G. Behnke, M. Schiller, M. Kraus, P. Bercher, M. Schmautz, M. Dorna, W. Minker, B. Glimm and S. Biundo, "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--5807.
DOI: 10.24963/ijcai.2018/844
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018DIY.pdf
376.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "Plan and Goal Recognition as HTN Planning" in Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR 2018), 2018. pp. 607--613.
http://www.planrec.org/PAIR/PAIR18/Papers/HollerPair18.pdf
375.
D. Höller, G. Behnke, P. Bercher and S. Biundo, "Plan and Goal Recognition as HTN Planning" in Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018), IEEE Computer Society, 2018. pp. 466--473.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller2018PlanRec.pdf