Daniel Höller
Daniel Höller
Bestätigte E-Mail-Adresse bei cs.uni-saarland.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
442014
Companion-Technology: An Overview
S Biundo, D Höller, B Schattenberg, P Bercher
KI-Künstliche Intelligenz 30 (1), 11-20, 2016
42*2016
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
352015
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
272016
A Generic Method to Guide HTN Progression Search With Classical Heuristics
D Höller, P Bercher, G Behnke, S Biundo
28th International Conference on Automated Planning and Scheduling (ICAPS …, 2018
252018
An Admissible HTN Planning Heuristic
P Bercher, G Behnke, D Höller, S Biundo
26th International Joint Conference on Artificial Intelligence (IJCAI 2017 …, 2017
252017
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
252016
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 (AAAI 2015), 4264-4265, 2015
252015
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), 225-233, 2016
242016
totSAT – Totally-ordered hierarchical planning through SAT
G Behnke, D Höller, S Biundo
32nd AAAI Conference on Artificial Intelligence (AAAI 2018), 6110-6118, 2018
222018
This is a solution!(... but is it though?) – Verifying solutions of hierarchical planning problems
G Behnke, D Höller, S Biundo
27th International Conference on Automated Planning and Scheduling (ICAPS …, 2017
222017
A Survey on Hierarchical Planning – One Abstract Idea, Many Concrete Realizations
P Bercher, R Alford, D Höller
28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019
212019
Plan and goal recognition as HTN planning
D Höller, G Behnke, P Bercher, S Biundo
30th International Conference on Tools with Artificial Intelligence (ICTAI …, 2018
212018
Bringing order to chaos – A compact representation of partial order in SAT-based HTN planning
G Behnke, D Höller, S Biundo
33rd AAAI Conference on Artificial Intelligence (AAAI 2019), 7520-7529, 2019
182019
Tracking branches in trees – A propositional encoding for solving partially-ordered HTN planning problems
G Behnke, D Höller, S Biundo
30th International Conference on Tools with Artificial Intelligence (ICTAI …, 2018
162018
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
162016
Finding Optimal Solutions in HTN Planning – A SAT-based Approach
G Behnke, D Höller, S Biundo
28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019
142019
On Guiding Search in HTN Planning with Classical Planning Heuristics
D Höller, P Bercher, G Behnke, S Biundo
28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019
102019
HTN plan repair using unmodified planning systems
D Höller, P Bercher, G Behnke, S Biundo
1st ICAPS Workshop on Hierarchical Planning (HPlan 2018), 26-30, 2018
82018
User-Centered Planning
P Bercher, D Höller, G Behnke, S Biundo
1st International Symposium on Companion Technology (ISCT 2015), 2015
8*2015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20