default search action
Daniel Höller
Person information
- affiliation: Saarland University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Daniel Höller:
The TOAD System for Totally Ordered HTN Planning. J. Artif. Intell. Res. 80: 613-663 (2024) - [c43]Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns:
Decision-Focused Learning to Predict Action Costs for Planning. ECAI 2024: 4060-4067 - [c42]Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann:
New Fuzzing Biases for Action Policy Testing. ICAPS 2024: 162-167 - [c41]Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch:
Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. ICAPS 2024: 555-564 - [c40]Songtuan Lin, Daniel Höller, Pascal Bercher:
Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions. SOCS 2024: 55-63 - [i5]Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns:
Decision-Focused Learning to Predict Action Costs for Planning. CoRR abs/2408.06876 (2024) - 2023
- [b1]Daniel Höller:
Hierarchical Planning: Expressivity Analysis, Solving Techniques, and Problem Compilations. University of Ulm, Germany, 2023 - [j7]Timo P. Gros
, Joschka Groß
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. ACM Trans. Model. Comput. Simul. 33(4): 17:1-17:28 (2023) - [c39]Julia Wichlacz, Daniel Höller, Daniel Fiser, Jörg Hoffmann:
A Landmark-Cut Heuristic for Lifted Optimal Planning. ECAI 2023: 2623-2630 - 2022
- [c38]Gregor Behnke
Making Translations to Classical Planning Competitive with Other HTN Planners. AAAI 2022: 9687-9697 - [c37]Daniel Höller, Gregor Behnke:
Encoding Lifted Classical Planning in Propositional Logic. ICAPS 2022: 134-144 - [c36]Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke:
Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS 2022: 145-150 - [c35]Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann:
Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS 2022: 353-361 - [c34]Julia Wichlacz, Daniel Höller, Jörg Hoffmann:
Landmark Heuristics for Lifted Classical Planning. IJCAI 2022: 4665-4671 - 2021
- [j6]Pascal Bercher
Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling. AI Mag. 42(1): 83-85 (2021) - [j5]Daniel Höller
The PANDA Framework for Hierarchical Planning. Künstliche Intell. 35(3): 391-396 (2021) - [c33]Daniel Höller, Pascal Bercher
Landmark Generation in HTN Planning. AAAI 2021: 11826-11834 - [c32]Daniel Höller:
Translating Totally Ordered HTN Planning Problems to Classical Planning Problems Using Regular Approximation of Context-Free Languages. ICAPS 2021: 159-167 - [c31]Daniel Höller, Gregor Behnke:
Loop Detection in the PANDA Planning System. ICAPS 2021: 168-173 - [c30]Pascal Lauer, Álvaro Torralba, Daniel Fiser
Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. IJCAI 2021: 4119-4126 - [c29]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf:
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. QEST 2021: 197-216 - [c28]Julia Wichlacz, Daniel Höller, Jörg Hoffmann:
Landmark Heuristics for Lifted Planning - Extended Abstract. SOCS 2021: 242-244 - 2020
- [j4]Daniel Höller
HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. 67: 835-880 (2020) - [c27]Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher
On Succinct Groundings of HTN Planning Problems. AAAI 2020: 9775-9784 - [c26]Daniel Höller, Gregor Behnke, Pascal Bercher
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. AAAI 2020: 9883-9891 - [c25]Arne Köhn, Julia Wichlacz, Álvaro Torralba
Generating Instructions at Different Levels of Abstraction. COLING 2020: 2802-2813 - [c24]Daniel Höller, Pascal Bercher
Delete- and Ordering-Relaxation Heuristics for HTN Planning. IJCAI 2020: 4076-4083 - [c23]Daniel Höller, Pascal Bercher
HTN Plan Repair via Model Transformation. KI 2020: 88-101 - [c22]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf:
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. QEST 2020: 11-17 - [c21]Julia Wichlacz, Daniel Höller, Álvaro Torralba
Applying Monte-Carlo Tree Search in HTN Planning. SOCS 2020: 82-90 - [i4]Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf:
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. CoRR abs/2008.00766 (2020) - [i3]Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller:
Generating Instructions at Different Levels of Abstraction. CoRR abs/2010.03982 (2020)
2010 – 2019
- 2019
- [c20]Gregor Behnke, Daniel Höller, Susanne Biundo:
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI 2019: 7520-7529 - [c19]Gregor Behnke
Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI 2019: 5500-5508 - [c18]Daniel Höller, Pascal Bercher
On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI 2019: 6171-6175 - [c17]Pascal Bercher
A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations. IJCAI 2019: 6267-6275 - [i2]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford:
Hierarchical Planning in the IPC. CoRR abs/1909.04405 (2019) - [i1]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford:
HDDL - A Language to Describe Hierarchical Planning Problems. CoRR abs/1911.05499 (2019) - 2018
- [c16]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
Plan and Goal Recognition as HTN Planning. AAAI Workshops 2018: 607-613 - [c15]Gregor Behnke, Daniel Höller, Susanne Biundo:
totSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI 2018: 6110-6118 - [c14]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS 2018: 114-122 - [c13]Gregor Behnke
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. ICTAI 2018: 73-80 - [c12]Daniel Höller, Gregor Behnke
Plan and Goal Recognition as HTN Planning. ICTAI 2018: 466-473 - 2017
- [c11]Gregor Behnke, Daniel Höller, Susanne Biundo:
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS 2017: 20-28 - [c10]Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, Susanne Biundo:
Help me make a dinner! Challenges when assisting humans in action planning. ICCT 2017 - [c9]Pascal Bercher
An Admissible HTN Planning Heuristic. IJCAI 2017: 480-488 - [p2]Pascal Bercher
User-Centered Planning. Companion Technology 2017: 79-100 - [p1]Pascal Bercher
Advanced User Assistance for Setting Up a Home Theater. Companion Technology 2017: 485-491 - 2016
- [j3]Susanne Biundo, Daniel Höller
Special Issue on Companion Technologies. Künstliche Intell. 30(1): 5-9 (2016) - [j2]Susanne Biundo, Daniel Höller
Companion-Technology: An Overview. Künstliche Intell. 30(1): 11-20 (2016) - [j1]Pascal Bercher
Interview with David E. Smith. Künstliche Intell. 30(1): 101-105 (2016) - [c8]Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha:
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. ICAPS 2016: 20-28 - [c7]Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo:
Change the Plan - How Hard Can That Be? ICAPS 2016: 38-46 - [c6]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS 2016: 158-165 - [c5]Pascal Bercher
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI 2016: 225-233 - 2015
- [c4]Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo:
A Planning-Based Assistance System for Setting Up a Home Theater. AAAI 2015: 4264-4265 - [c3]Gregor Behnke, Daniel Höller, Susanne Biundo:
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS 2015: 25-33 - [c2]Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
User-Centered Planning - A Discussion on Planning in the Presence of Human Users. ISCT 2015: 79-83 - 2014
- [c1]Daniel Höller, Gregor Behnke
Language Classification of Hierarchical Planning Problems. ECAI 2014: 447-452
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 21:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: