Daniel Höller
31 publications
7 venues
H Index 16
Affiliation
Saarland University, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Encoding Lifted Classical Planning in Propositional Logic.
|
ICAPS | 2022 | 0 |
| Debugging a Policy: Automatic Action-Policy Testing in AI Planning.
|
ICAPS | 2022 | 0 |
| Compiling HTN Plan Verification Problems into HTN Planning Problems.
|
ICAPS | 2022 | 0 |
| Making Translations to Classical Planning Competitive with Other HTN Planners.
|
AAAI | 2022 | 0 |
| Landmark Heuristics for Lifted Classical Planning.
|
IJCAI | 2022 | 0 |
| Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning.
|
IJCAI | 2021 | 1 |
| Landmark Heuristics for Lifted Planning - Extended Abstract.
|
SOCS | 2021 | 0 |
| Translating Totally Ordered HTN Planning Problems to Classical Planning Problems Using Regular Approximation of Context-Free Languages.
|
ICAPS | 2021 | 4 |
| Loop Detection in the PANDA Planning System.
|
ICAPS | 2021 | 2 |
| Landmark Generation in HTN Planning.
|
AAAI | 2021 | 2 |
| HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.
|
AAAI | 2020 | 22 |
| Applying Monte-Carlo Tree Search in HTN Planning.
|
SOCS | 2020 | 1 |
| Delete- and Ordering-Relaxation Heuristics for HTN Planning.
|
IJCAI | 2020 | 7 |
| Generating Instructions at Different Levels of Abstraction.
|
COLING | 2020 | 2 |
| HTN Planning as Heuristic Progression Search.
|
JAIR | 2020 | 16 |
| On Succinct Groundings of HTN Planning Problems.
|
AAAI | 2020 | 19 |
| Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.
|
AAAI | 2019 | 28 |
| On Guiding Search in HTN Planning with Classical Planning Heuristics.
|
IJCAI | 2019 | 16 |
| A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations.
|
IJCAI | 2019 | 35 |
| Finding Optimal Solutions in HTN Planning - A SAT-based Approach.
|
IJCAI | 2019 | 24 |
| totSAT - Totally-Ordered Hierarchical Planning Through SAT.
|
AAAI | 2018 | 37 |
| A Generic Method to Guide HTN Progression Search with Classical Heuristics.
|
ICAPS | 2018 | 32 |
| An Admissible HTN Planning Heuristic.
|
IJCAI | 2017 | 29 |
| This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems.
|
ICAPS | 2017 | 22 |
| Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
|
ICAPS | 2016 | 34 |
| Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
|
ICAPS | 2016 | 32 |
| More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.
|
ECAI | 2016 | 28 |
| Change the Plan - How Hard Can That Be?
|
ICAPS | 2016 | 23 |
| On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.
|
ICAPS | 2015 | 40 |
| A Planning-Based Assistance System for Setting Up a Home Theater.
|
AAAI | 2015 | 24 |
| Language Classification of Hierarchical Planning Problems.
|
ECAI | 2014 | 50 |