Daniel Höller

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 a member of the Program Committee of the ICAPS in 2019
    • Together with Pacal Bercher, Susanne Biundo and Ron Alford, I have organized the First ICAPS Workshop on Hierarchical Planning in 2018
    • I was member of the Program Committee of the ICAPS Workshop on Hierarchical Planning in 2019 and 2018
    • Together with Pacal Bercher, I have given an ICAPS tutorial on HTN Planning in 2018
    • I was reviewer for IJCAI-2019, ICAPS-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 2018/19, 2017/18, 2016/17, 2015/16, 2014/15, and 2013/14)
    • Introduction to Computer Science (summer term 2019)
    • Seminars on AI (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 describes an improved progression algorithm and 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


2016

10.
pdf
Behnke, Gregor; Höller, Daniel; Bercher, Pascal; Biundo, Susanne
Change the Plan - How hard can that be?
Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) , Seite 38--46.
Herausgeber: AAAI Press,
2016
9.
pdf
Höller, Daniel; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages
Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) , Seite 158--165.
Herausgeber: AAAI Press,
2016
8.
pdf
Alford, Ron; Behnke, Gregor; Höller, Daniel; Bercher, Pascal; Biundo, Susanne; Aha, David
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems
Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) , Seite 20--28.
Herausgeber: AAAI Press,
2016
7.
pdf
Bercher, Pascal; Höller, Daniel; Behnke, Gregor; Biundo, Susanne
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) , Seite 225--233.
Herausgeber: IOS Press,
2016

2015

6.
pdf
Bercher, Pascal; Höller, Daniel; Behnke, Gregor; Biundo, Susanne
User-Centered Planning - A Discussion on Planning in the Presence of Human Users
Proceedings of the First International Symposium on Companion Technology (ISCT 2015) , Seite 79--82.
2015
5.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
On the Complexity of HTN Plan Verification and its Implications for Plan Recognition
In Ronen Brafman, Carmel Domshlak, Patrik Haslum, Shlomo Zilberstein, Editor, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015) , Seite 25-33.
Herausgeber: AAAI Press,
2015
4.
pdf
Bercher, Pascal; Richter, Felix; Hörnle, Thilo; Geier, Thomas; Höller, Daniel; Behnke, Gregor; Nothdurft, Florian; Honold, Frank; Minker, Wolfgang; Weber, Michael; Biundo, Susanne
A Planning-based Assistance System for Setting Up a Home Theater
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) , Seite 4264--4265.
Herausgeber: AAAI Press,
2015

2014

3.
pdf
Höller, Daniel; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne
Language Classification of Hierarchical Planning Problems
In Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry, Editor, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014) Band 263 aus Frontiers in Artificial Intelligence and Applications , Seite 447-452.
Herausgeber: IOS Press, Amsterdam
2014
2.
pdf
Höller, Daniel; Bercher, Pascal; Richter, Felix; Schiller, Marvin; Geier, Thomas; Biundo, Susanne
Finding User-friendly Linearizations of Partially Ordered Plans
28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014)
2014

2011

1.
pdf
Höller, Daniel; Mies, Christoph
Integration of a PDDL Planning Framework into the Multi-Agent Simulation System LAMPSys
26th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2011)
2011
Export als: BibTeX, XML