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

2020

413.
G. Behnke, P. Bercher, M. Kraus, M. Schiller, K. Mickeleit, T. Häge, M. Dorna, M. Dambier, W. Minker, B. Glimm and S. Biundo, "New Developments for Robert – Assisting Novice Users Even Better in DIY Projects" in Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), AAAI Press, Oct.2020.
File:http://gki.informatik.uni-freiburg.de/papers/behnke-etal-icaps20.pdf
412.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Planning as Heuristic Progression Search" , Journal of Artificial Intelligence Research (JAIR), vol. 67, pp. 835--880, Apr. 2020. AAAI Press.
File:https://jair.org/index.php/jair/article/view/11282/26578
411.
G. Behnke, D. Höller, A. Schmid, P. Bercher and S. Biundo, "On Succinct Groundings of HTN Planning Problems" in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), AAAI Press, Feb.2020.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/AAAI-BehnkeG.1770.pdf
410.
P. Bercher and C. Olz, "POP ≡ POCL, right? Complexity Results for Partial Order (Causal Link) Makespan Minimization" in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), AAAI Press, Feb.2020.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Bercher2020POPvsPOCL.pdf
409.
D. Höller, G. Behnke, P. Bercher, S. Biundo, H. Fiorino, D. Pellier and R. Alford, "HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems" in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), AAAI Press, Feb.2020.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Hoeller2020HDDL.pdf
408.
F. Lindner, R. Mattmüller and B. Nebel, "Evaluation of the Moral Permissibility of Action Plans" , Artificial Intelligence, vol. 287, 2020.
DOI:https://doi.org/10.1016/j.artint.2020.103350
407.
F. Lindner, "Permissibility-under-a-description reasoning for deontological robots" in RoboPhilosophy 2020, 2020.
406.
S. Tolmeijer, A. Weiss, M. Hanheide, F. Lindner, T. M. Powers, C. Dixon and M. L. Tielman, "Taxonomy of Trust-Relevant Failures and Mitigation Strategies" in HRI '20: Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, 2020.
DOI:https://doi.org/10.1145/3319502.3374793
405.
B. Krarup, S. Krivic, F. Lindner and D. Long, "Towards Contrastive Explanations for Comparing the Ethics of Plans" in Against Robot Dystopias: Thinking through the ethical, legal and societal issues of robotics and automation (AGAINST-20), Workshop at ICRA 2020, 2020.

2019

404.
G. Behnke, "Hierarchical planning through propositional logic - highly efficient, versatile, and flexible", Dec. 2019.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/thesis_behnke_main.pdf
403.
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.
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019HDDL.pdf
402.
Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning.
File:https://icaps19.icaps-conference.org/workshops/Hierarchical-Planning/HPLAN2019Proceedings.pdf
401.
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.
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019ProgressionHeuristics.pdf
400.
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.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019Grounding.pdf
399.
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.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019HTNIPC.pdf
398.
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.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019satoptimal.pdf
397.
C. Olz and P. Bercher, "Eliminating Redundant Actions in Partially Ordered Plans -- A Complexity Analysis" in Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), AAAI Press, 2019. pp. 310--319.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Olz2019StepElimination.pdf
396.
B. Glimm and Y. Kazakov, "Classical Algorithms for Reasoning and Explanation in Description Logics" in Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures, Markus Krötzsch and Daria Stepanova, Eds. Springer, 2019. pp. 1--64.
DOI:10.1007/978-3-030-31423-1_1
File:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/GliKaz19Classical.pdf
395.
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.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019orderchaos.pdf
394.
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
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf
393.
A. Steigmiller and B. Glimm, "Absorption-Based Query Entailment Checking for Expressive Description Logics" in Proceedings of the 32nd International Workshop on Description Logics (DL 2019) Band 2373 aus CEUR Workshop Proceedings, CEUR-WS.org, 2019.
File:http://ceur-ws.org/Vol-2373/paper-25.pdf
392.
A. Steigmiller and B. Glimm, "Absorption-Based Query Answering for Expressive Description Logics" in Proceedings of the 18th International Semantic Web Conference (ISWC 2019) Band 11778 aus Lecture Notes in Computer Science, Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Eds. Cham: Springer International Publishing, 2019. pp. 593--611.
ISBN:978-3-030-30793-6
File:https://link.springer.com/chapter/10.1007%2F978-3-030-30793-6_34
391.
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.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Bercher2019HierarchicalPlanningSurvey.pdf
390.
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.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf

2018

389.
B. Leichtmann, P. Bercher, D. Höller, G. Behnke, S. Biundo, V. Nitsch and M. Baumann, "Towards a Companion System Incorporating Human Planning Behavior -- A Qualitative Analysis of Human Strategies" in Proceedings der dritten transdisziplinären Konferenz "Technische Unterstützungssysteme, die die Menschen wirklich wollen" (engl: Proceedings of the 3rd "Transdisciplinary Conference on Support Technologies"), TCST 2018, 2018. pp. 89--98.
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Leichtmann2018HumanPlanningBehavior.pdf