Institute of Artificial Intelligence

Daniel Höller

I have left the institute in January 2020. This website will not be maintained anymore. You can find my new one here.

I studied Computer Science at Bonn-Rhein-Sieg University from 2007 to 2013 and received my M.Sc. degree in November 2013. From 2009 to 2013 I have been working on Automated Planning at Fraunhofer Institute for Intelligent Analysis and Information Systems in different projects in the fields of Robotics and Multiagent Systems.

I joined the Institute in November 2013. Since then, I am working on Automated Planning and Plan Recognition in the context of the Transregional Collaborative Research Centre SFB/Transregio 62.

You can also find me on DBLP and Google Scholar.

Further Information

  • Research Interests

    I am especially interested in the practical and theoretical aspects of (classical and hierarchical) Planning and related tasks like Plan Explanation, Plan Recognition, Plan Repair and Plan Verification.

  • Professional Activities

    • I was member of the Program Committee of the ICAPS in 2020
    • I was member of the Organzing Commitee and the Program Committee of the 3rd ICAPS Workshop on Hierarchical Planning in 2020
    • I was member of the Program Committee of the AAAI conference in 2020
    • I was member of the Program Committee of the ECAI in 2020
    • I was member of the Program Committee of the ICAPS in 2019
    • I was member of the Program Committee of the 2nd ICAPS Workshop on Hierarchical Planning in 2019
    • Together with Pacal Bercher, Susanne Biundo and Ron Alford, I have organized the First ICAPS Workshop on Hierarchical Planning and was member of its Program Committee in 2018
    • Together with Pacal Bercher, I have given an ICAPS tutorial on HTN Planning in 2018
    • I was reviewer for IJCAI-2019, AAAI-2019, ICAPS-2018, AAAI-2018, IJCAI/ECAI-2018 (co-located), ICAPS-2017, ICAPS-2016, and ICAPS-2015, the ACM Transactions on Intelligent Systems and Technology, and for the German AI Journal
    • I was guest editor of the Special Issue "Companion Technologies" of the German AI Journal in 2016 (Volume 30, Number 1)

  • Teaching

    Ulm University

    • Automated Planning (summer terms 2018, 2017, and 2015)
    • Introduction to Artificial Intelligence (winter terms 2019/20, 2018/19, 2017/18, 2016/17, 2015/16, 2014/15, and 2013/14)
    • Introduction to Computer Science (summer term 2019)
    • Seminars on AI (winter term 2019/20, summer term 2019, winter term 2018/19, summer term 2018, winter term 2017/18, summer term 2017, winter term 2016/17, summer term 2016, winter term 2015/16, summer term 2015, and winter term 2013/14)

    Bonn-Rhein-Sieg University

    • Algebraic and Number-theoretic Foundations of Computer Science (winter term 2012/13)
    • Theoretical Computer Science (winter term 2012/13)

  • Awards

    • The paper A Generic Method to Guide HTN Progression Search with Classical Heuristics by D. Höller, P. Bercher, G. Behnke and S. Biundo won the ICAPS Best Student Paper Award 2018.
      The paper shows how to use heuristics from classical planning to guide the search in HTN planning.
    • The paper Plan and Goal Recognition as HTN Planning by D. Höller, G. Behnke, P. Bercher and S. Biundo won the ICTAI Best Paper Award 2018.
      The paper introduces an approach to transform plan and goal recognition problems into HTN planning problems.
    • The paper Towards a Companion System Incorporating Human Planning Behavior - A Qualitative Analysis of Human Strategies by B. Leichtmann, P. Bercher, D. Höller, G. Behnke, S. Biundo, V. Nitsch, and M. Baumann won the TCTS Best Paper Award 2018 at the 3rd Transdisciplinary Conference Transdisciplinary Conference on Support Technologies.

  • Software

    The PANDA Planning System

    My colleague Gregor Behnke and I are the main developers of the current version of the hierarchical planning system PANDA and its extensions.

Publications

2017

14.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "User-Centered Planning" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction,Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 79--100.
DOI:10.1007/978-3-319-43665-4_5
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher2017CompBookUCPlanning.pdf

2016

13.
P. Bercher and D. Höller, "Interview with David E. Smith" , Künstliche Intelligenz, vol. 30, no. 1, pp. 101--105, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0403-y.
DOI:10.1007/s13218-015-0403-y
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Smith2016Interview.pdf
12.
S. Biundo, D. Höller and P. Bercher, "Special Issue on Companion Technologies" , Künstliche Intelligenz, vol. 30, no. 1, pp. 5-9, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0421-9.
DOI:10.1007/s13218-015-0421-9
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016Editorial.pdf
11.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks" in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), IOS Press, 2016. pp. 225--233.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Bercher16HybridPlanningComplexities.pdf
10.
R. Alford, G. Behnke, D. Höller, P. Bercher, S. Biundo and D. Aha, "Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems" in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 26th International Conference on Automated Planning and Scheduling, London, June 12 - 17, 2016, AAAI Press, 2016. pp. 20--28.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Alford16BoundToPlan.pdf
9.
S. Biundo, D. Höller, B. Schattenberg and P. Bercher, "Companion-Technology: An Overview" , Künstliche Intelligenz, vol. 30, no. 1, pp. 11-20, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0419-3.
DOI:10.1007/s13218-015-0419-3
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016CompanionSurvey.pdf
8.
G. Behnke, D. Höller, P. Bercher and S. Biundo, "Change the Plan - How hard can that be?" in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 26th International Conference on Automated Planning and Scheduling, London, June 12 - 17, 2016, AAAI Press, 2016. pp. 38--46.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Behnke16ChangeThePlan.pdf
7.
D. Höller, G. Behnke, P. Bercher and S. Biundo, "Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages" in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 26th International Conference on Automated Planning and Scheduling, London, June 12 - 17, 2016, AAAI Press, 2016. pp. 158--165.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Hoeller16Expressivity.pdf

2015

6.
P. Bercher, F. Richter, T. Hörnle, T. Geier, D. Höller, G. Behnke, F. Nothdurft, F. Honold, W. Minker, M. Weber and S. Biundo, "A Planning-based Assistance System for Setting Up a Home Theater" in Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), AAAI Press, 2015. pp. 4264--4265.
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15DemoSystem.pdf
5.
G. Behnke, D. Höller and S. Biundo, "On the Complexity of HTN Plan Verification and its Implications for Plan Recognition" in Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), 25th International Conference on Automated Planning and Scheduling, Jerusalem, 7-11 June 2015,Ronen Brafman, Carmel Domshlak, Patrik Haslum, Shlomo Zilberstein, Eds. AAAI Press, 2015. pp. 25-33.
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke2015HTNVerification.pdf
4.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "User-Centered Planning - A Discussion on Planning in the Presence of Human Users" in Proceedings of the First International Symposium on Companion Technology (ISCT 2015), First International Symposium on Companion Technology (ISCT 2015), Ulm, Germany, 23. - 25. September 2015, 2015. pp. 79--82.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15UserCenteredDiscussion.pdf

2014

3.
D. Höller, P. Bercher, F. Richter, M. R. G. Schiller, T. Geier and S. Biundo, "Finding User-friendly Linearizations of Partially Ordered Plans" in 28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014), 2014.
Weblink:http://www.puk-workshop.de/puk2014/prog.html
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Hoeller14PlanLinearization.pdf
2.
D. Höller, G. Behnke, P. Bercher and S. Biundo, "Language Classification of Hierarchical Planning Problems" in Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, 18-22 August 2014,Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry, Eds. Amsterdam: IOS Press, 2014. pp. 447-452.
DOI:10.3233/978-1-61499-419-0-447
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Hoeller2014HtnLanguages.pdf

2011

1.
D. Höller and C. Mies, "Integration of a PDDL Planning Framework into the Multi-Agent Simulation System LAMPSys" in 26th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (<prt>PuK</prt> 2011), 2011.
File:http://www.puk-workshop.de/puk2011/paper/PuK2011HoellerMies.pdf