Daniel Höller

31 publications

7 venues

H Index 16

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
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ