Daniel Höller
Orcid: 0000-0002-2776-9288Affiliations:
- Saarland University, Germany
According to our database1,
Daniel Höller
authored at least 57 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions.
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024
Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages.
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
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
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling.
AI Mag., 2021
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
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
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version.
CoRR, 2020
Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the 28th International Conference on Computational Linguistics, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
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
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017
Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
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
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
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
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014