Daniel Höller

61 papers A* 28A 4B 6Misc 1Journal 13Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Learning Heuristic Functions for HTN Planning. AAAI Daniel Höller
2024	A	`conf`	Decision-Focused Learning to Predict Action Costs for Planning. ECAI Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns
2024	J	`jnl`	Decision-Focused Learning to Predict Action Costs for Planning. CoRR Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns
2024	A*	`conf`	Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. ICAPS Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch
2024	B	`conf`	Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions. SOCS Songtuan Lin, Daniel Höller, Pascal Bercher
2024	A*	`conf`	New Fuzzing Biases for Action Policy Testing. ICAPS Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann
2024	—	`conf`	Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages. Principles of Verification (3) Timo P. Gros, Nicola J. Müller, Daniel Höller, Verena Wolf
2024	J	`jnl`	The TOAD System for Totally Ordered HTN Planning. J. Artif. Intell. Res. Daniel Höller
2023	A	`conf`	A Landmark-Cut Heuristic for Lifted Optimal Planning. ECAI Julia Wichlacz, Daniel Höller, Daniel Fiser, Jörg Hoffmann
2023	J	`jnl`	DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. ACM Trans. Model. Comput. Simul. Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, Verena Wolf
2023	—	`—`	Hierarchical Planning: Expressivity Analysis, Solving Techniques, and Problem Compilations. Daniel Höller
2022	A*	`conf`	Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke
2022	A*	`conf`	Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS 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
2022	A*	`conf`	Encoding Lifted Classical Planning in Propositional Logic. ICAPS Daniel Höller, Gregor Behnke
2022	A*	`conf`	Landmark Heuristics for Lifted Classical Planning. IJCAI Julia Wichlacz, Daniel Höller, Jörg Hoffmann
2022	A*	`conf`	Making Translations to Classical Planning Competitive with Other HTN Planners. AAAI Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford
2021	—	`conf`	DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. QEST Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Verena Wolf
2021	A*	`conf`	Landmark Generation in HTN Planning. AAAI Daniel Höller, Pascal Bercher
2021	B	`conf`	Landmark Heuristics for Lifted Planning - Extended Abstract. SOCS Julia Wichlacz, Daniel Höller, Jörg Hoffmann
2021	A*	`conf`	Loop Detection in the PANDA Planning System. ICAPS Daniel Höller, Gregor Behnke
2021	A*	`conf`	Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. IJCAI Pascal Lauer, Álvaro Torralba, Daniel Fiser, Daniel Höller, Julia Wichlacz, Jörg Hoffmann
2021	J	`jnl`	Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling. AI Mag. Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Vikas Shivashankar, Ron Alford
2021	J	`jnl`	The PANDA Framework for Hierarchical Planning. Künstliche Intell. Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2021	A*	`conf`	Translating Totally Ordered HTN Planning Problems to Classical Planning Problems Using Regular Approximation of Context-Free Languages. ICAPS Daniel Höller
2020	B	`conf`	Applying Monte-Carlo Tree Search in HTN Planning. SOCS Julia Wichlacz, Daniel Höller, Álvaro Torralba, Jörg Hoffmann
2020	A*	`conf`	Delete- and Ordering-Relaxation Heuristics for HTN Planning. IJCAI Daniel Höller, Pascal Bercher, Gregor Behnke
2020	B	`conf`	Generating Instructions at Different Levels of Abstraction. COLING Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller
2020	J	`jnl`	Generating Instructions at Different Levels of Abstraction. CoRR Arne Köhn, Julia Wichlacz, Álvaro Torralba, Daniel Höller, Jörg Hoffmann, Alexander Koller
2020	A*	`conf`	HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. AAAI Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford
2020	Misc	`conf`	HTN Plan Repair via Model Transformation. KI Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2020	J	`jnl`	HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2020	A*	`conf`	On Succinct Groundings of HTN Planning Problems. AAAI Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo
2020	J	`jnl`	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. CoRR Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
2020	—	`conf`	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. QEST Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf
2019	A*	`conf`	A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations. IJCAI Pascal Bercher, Ron Alford, Daniel Höller
2019	A*	`conf`	Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI Gregor Behnke, Daniel Höller, Susanne Biundo
2019	A*	`conf`	Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI Gregor Behnke, Daniel Höller, Susanne Biundo
2019	J	`jnl`	HDDL - A Language to Describe Hierarchical Planning Problems. CoRR Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
2019	J	`jnl`	Hierarchical Planning in the IPC. CoRR Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
2019	A*	`conf`	On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018	A*	`conf`	A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018	—	`conf`	Plan and Goal Recognition as HTN Planning. AAAI Workshops Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018	B	`conf`	Plan and Goal Recognition as HTN Planning. ICTAI Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2018	B	`conf`	Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. ICTAI Gregor Behnke, Daniel Höller, Susanne Biundo
2018	A*	`conf`	totSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI Gregor Behnke, Daniel Höller, Susanne Biundo
2017	—	`ch.`	Advanced User Assistance for Setting Up a Home Theater. Companion Technology Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Felix Schüssel, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer, Susanne Biundo
2017	A*	`conf`	An Admissible HTN Planning Heuristic. IJCAI Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo
2017	—	`conf`	Help me make a dinner! Challenges when assisting humans in action planning. ICCT Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, Susanne Biundo
2017	A*	`conf`	This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS Gregor Behnke, Daniel Höller, Susanne Biundo
2017	—	`ch.`	User-Centered Planning. Companion Technology Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
2016	A*	`conf`	Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2016	A*	`conf`	Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. ICAPS Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha
2016	A*	`conf`	Change the Plan - How Hard Can That Be? ICAPS Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo
2016	J	`jnl`	Companion-Technology: An Overview. Künstliche Intell. Susanne Biundo, Daniel Höller, Bernd Schattenberg, Pascal Bercher
2016	J	`jnl`	Interview with David E. Smith. Künstliche Intell. Pascal Bercher, Daniel Höller
2016	A	`conf`	More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
2016	J	`jnl`	Special Issue on Companion Technologies. Künstliche Intell. Susanne Biundo, Daniel Höller, Pascal Bercher
2015	A*	`conf`	A Planning-Based Assistance System for Setting Up a Home Theater. AAAI Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo
2015	A*	`conf`	On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS Gregor Behnke, Daniel Höller, Susanne Biundo
2015	—	`conf`	User-Centered Planning - A Discussion on Planning in the Presence of Human Users. ISCT Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
2014	A	`conf`	Language Classification of Hierarchical Planning Problems. ECAI Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo