Daniel Höller
Daniel Höller
Bestätigte E-Mail-Adresse bei uni-ulm.de - Startseite
TitelZitiert vonJahr
Language Classification of Hierarchical Planning Problems
D Höller, G Behnke, P Bercher, S Biundo
21st European Conference on Artificial Intelligence (ECAI 2014), 447--452, 2014
232014
A Planning-Based Assistance System for Setting Up a Home Theater
P Bercher, F Richter, T Hörnle, T Geier, D Höller, G Behnke, F Nothdurft, ...
29th AAAI Conference on Artificial Intelligence,, 4264-4265, 2015
212015
Companion-technology: an overview
S Biundo, D Höller, B Schattenberg, P Bercher
KI-Künstliche Intelligenz 30 (1), 11-20, 2016
202016
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition
G Behnke, D Höller, S Biundo
25th International Conference on Automated Planning and Scheduling (ICAPS …, 2015
192015
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages
D Höller, G Behnke, P Bercher, S Biundo
26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 2016
152016
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems
R Alford, G Behnke, D Höller, P Bercher, S Biundo, D Aha
26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 2016
122016
This is a solution!(... but is it though?)-verifying solutions of hierarchical planning problems
G Behnke, D Höller, S Biundo
Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
112017
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks
P Bercher, D Höller, G Behnke, S Biundo
22nd European Conference on Artificial Intelligence (ECAI 2016), 2016
112016
Change the Plan - How Hard Can That Be?
G Behnke, D Höller, P Bercher, S Biundo
26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 2016
102016
An Admissible HTN Planning Heuristic
P Bercher, G Behnke, D Höller, S Biundo
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017
72017
Tracking branches in trees-A propositional encoding for solving partially-ordered HTN planning problems
G Behnke, D Höller, S Biundo
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
62018
A generic method to guide HTN progression search with classical heuristics
D Höller, P Bercher, G Behnke, S Biundo
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
62018
totSAT-Totally-ordered hierarchical planning through SAT
G Behnke, D Höller, S Biundo
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
62018
Interview with David E. Smith
P Bercher, D Höller
KI-Künstliche Intelligenz, 1-5, 2016
62016
User-Centered Planning
P Bercher, D Höller, G Behnke, S Biundo
International Symposium on Companion Technology (ISCT 2015), 2015
6*2015
Finding User-friendly Linearizations of Partially Ordered Plans
D Höller, P Bercher, F Richter, M Schiller, T Geier, S Biundo
28th PuK Workshop ”Planen, Scheduling und Konfigurieren, Entwerfen” (PuK 2014), 2014
52014
Advanced user assistance for setting up a home theater
P Bercher, F Richter, T Hörnle, T Geier, D Höller, G Behnke, F Nielsen, ...
Companion Technology, 485-491, 2017
42017
Plan and goal recognition as HTN planning
D Höller, G Behnke, P Bercher, S Biundo
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
32018
Help me make a dinner! Challenges when assisting humans in action planning
G Behnke, B Leichtmann, P Bercher, D Höller, V Nitsch, M Baumann, ...
Proc. of the 2nd Int. Conf. on Companion Technology (ICCT 2017). IEEE, 2017
22017
Special Issue on Companion Technologies
S Biundo, D Höller, P Bercher
KI-Künstliche Intelligenz, 1-5, 2016
22016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20