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

407.
H. Qiu, A. Ayara and B. Glimm, "A Knowledge Architecture Layer for Map Data in Autonomous Vehicles" in Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2020), IEEE, 2020.
File:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20a.pdf
406.
M. Kraus, F. Fischbach, P. Jansen and W. Minker, "A Comparison of Explicit and Implicit Proactive Dialogue Strategies for Conversational Recommendation" in Proceedings of the 12th International Conference on Language Resources and Evaluation (LREC 2020), ELRA, 2020. pp. 429--435.
File:pdfhttps://www.aclweb.org/anthology/2020.lrec-1.54.pdf

2019

405.
G. Behnke, "Hierarchical planning through propositional logic - highly efficient, versatile, and flexible", Dec. 2019.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/thesis_behnke_main.pdf
404.
Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning.
File:pdfhttps://icaps19.icaps-conference.org/workshops/Hierarchical-Planning/HPLAN2019Proceedings.pdf
403.
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. pp. 6171--6175.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019ProgressionHeuristics.pdf
402.
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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019Grounding.pdf
401.
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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019HTNIPC.pdf
400.
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:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019HDDL.pdf
399.
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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019satoptimal.pdf
398.
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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Olz2019StepElimination.pdf
397.
B. Glimm and Y. Kazakov, "Classical Algorithms for Reasoning and Explanation in Description Logics" in Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School, 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
396.
Y. Suryawanshi, H. Qiu, A. Ayara and B. Glimm, "An Ontological Model for Map Data in Automotive Systems" in Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE 2019), IEEE, 2019. pp. 140--147.
File:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/SQAG19a.pdf
395.
G. Behnke, M. R. G. 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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf
394.
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:pdfhttp://ceur-ws.org/Vol-2373/paper-25.pdf
393.
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:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/StGl2019-ABQA-ISWC.pdf
392.
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. pp. 6267-6275.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Bercher2019HierarchicalPlanningSurvey.pdf
391.
M. Kraus, M. R. G. 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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf
390.
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. pp. 7520--7529.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019orderchaos.pdf

2018

389.
G. Behnke, D. Höller and S. Biundo, "totSAT - Totally-Ordered Hierarchical Planning through SAT" in Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), AAAI 2018, New Orleans, February 2–7, AAAI Press, 2018. pp. 6110--6118.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018totSAT.pdf
388.
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.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller2018PlanRec.pdf
387.
Pascal Bercher and Daniel Höller and Susanne Biundo and Ron Alford, Eds., Proceedings of the 1st ICAPS Workshop on Hierarchical Planning.
File:pdfhttp://icaps18.icaps-conference.org/fileadmin/alg/conferences/icaps18/workshops/workshop08/docs/HierarchicalPlanningProceedings.pdf
386.
G. Behnke, M. R. G. 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
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018DIY.pdf
385.
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:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Leichtmann2018HumanPlanningBehavior.pdf
384.
G. Behnke, D. Höller and S. Biundo, "Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems" in Proceedings of the First ICAPS Workshop on Hierarchical Planning, 2018. pp. 40--47.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018partSAT.pdf
383.
G. Behnke and S. Biundo, "X and more Parallelism - Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism" in Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS), 2018. pp. 1--10.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018satltl.pdf