Daniel Höller

Orcid: 0000-0002-2776-9288

Affiliations:
  • Saarland University, Germany


According to our database1, Daniel Höller authored at least 51 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version.
ACM Trans. Model. Comput. Simul., October, 2023

Hierarchical Planning: Expressivity Analysis, Solving Techniques, and Problem Compilations.
PhD thesis, 2023

A Landmark-Cut Heuristic for Lifted Optimal Planning.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022
Landmark Heuristics for Lifted Classical Planning.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Debugging a Policy: Automatic Action-Policy Testing in AI Planning.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Compiling HTN Plan Verification Problems into HTN Planning Problems.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Encoding Lifted Classical Planning in Propositional Logic.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Making Translations to Classical Planning Competitive with Other HTN Planners.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
The PANDA Framework for Hierarchical Planning.
Künstliche Intell., 2021

Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling.
AI Mag., 2021

Landmark Heuristics for Lifted Planning - Extended Abstract.
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Loop Detection in the PANDA Planning System.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Translating Totally Ordered HTN Planning Problems to Classical Planning Problems Using Regular Approximation of Context-Free Languages.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Landmark Generation in HTN Planning.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
HTN Planning as Heuristic Progression Search.
J. Artif. Intell. Res., 2020

Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version.
CoRR, 2020

Applying Monte-Carlo Tree Search in HTN Planning.
Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020

Tracking the Race Between Deep Reinforcement Learning and Imitation Learning.
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

HTN Plan Repair via Model Transformation.
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Delete- and Ordering-Relaxation Heuristics for HTN Planning.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Generating Instructions at Different Levels of Abstraction.
Proceedings of the 28th International Conference on Computational Linguistics, 2020

HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

On Succinct Groundings of HTN Planning Problems.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
HDDL - A Language to Describe Hierarchical Planning Problems.
CoRR, 2019

Hierarchical Planning in the IPC.
CoRR, 2019

On Guiding Search in HTN Planning with Classical Planning Heuristics.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Finding Optimal Solutions in HTN Planning - A SAT-based Approach.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

A Generic Method to Guide HTN Progression Search with Classical Heuristics.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Plan and Goal Recognition as HTN Planning.
Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

totSAT - Totally-Ordered Hierarchical Planning Through SAT.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Advanced User Assistance for Setting Up a Home Theater.
Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

User-Centered Planning.
Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

An Admissible HTN Planning Heuristic.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Help me make a dinner! Challenges when assisting humans in action planning.
Proceedings of the International Conference on Companion Technology, 2017

This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016
Companion-Technology: An Overview.
Künstliche Intell., 2016

Special Issue on Companion Technologies.
Künstliche Intell., 2016

Interview with David E. Smith.
Künstliche Intell., 2016

More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Change the Plan - How Hard Can That Be?
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
User-Centered Planning - A Discussion on Planning in the Presence of Human Users.
Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

A Planning-Based Assistance System for Setting Up a Home Theater.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Language Classification of Hierarchical Planning Problems.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014


  Loading...