Foundations of Artificial Intelligence (FAI) Group
divider line


   About me    Publications    Activities    Software    Teaching    FAI Group Members

divider line my picture

Daniel Höller

Computer Science Department
Foundations of Artificial Intelligence (FAI) Group
Campus E 1.1, R. 3.13
Universität des Saarlandes
66123 Saarbrücken, Germany

Mail:

My alumni web page from Ulm University can be found here.
You can also find me on Google Scholar and DBLP.

divider line

Research Interests

I am interested in many practical and theoretical aspects of planning and related tasks like plan explanation, plan recognition, plan repair and plan verification.

So far, my work mainly focused on hierarchical planning, especially HTN planning. In this area, I have been working on solvers based on heuristic search and based on transformations to propositional logic, on expressivity analysis of planning formalisms, and on problem compilation.

Short CV

I have joined the Foundations of Artificial Intelligence (FAI) Group of Jörg Hoffmann in January 2020. From November 2013 to December 2019 I was working at the Institute of Artificial Intelligence at Ulm University headed by Susanne Biundo.

Awards

Software

My former colleague from Ulm Gregor Behnke and me are the main developers of the HTN planning system PANDA. I am the main developer of the planning system TOAD.