← Authors

Gregor Behnke

14 papers · 2015–2024 · 2 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird πŸŒ‰ Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) πŸƒ Academic Marathon (9) 🐝 Cross-Pollinator (4) 🌈 Renaissance Researcher (5) πŸ—ΊοΈ Taxonomy Completionist (12) 🧬 Topic Evolution πŸ† Keyword Champion (2) πŸ’Ž Century Club (14) πŸ—ƒοΈ Keyword Collector (53) πŸš€ Conference Pioneer πŸ”₯ Unstoppable (8) πŸ“ˆ Trend Setter

Conferences

AAAI (8) IJCAI (6)

Top co-authors

Pascal Bercher (9) Daniel HΓΆller (8) Susanne Biundo (8) Ron Alford (2) Marvin Schiller (2) Birte Glimm (2) Michael Dorna (1) Denis Ponomaryov (1) Damien Pellier (1) Florian Nothdurft (1)

Keywords

automated planning (6) hierarchical task network (6) htn planning (5) hierarchical planning (5) hierarchical task network planning (3) optimal planning (3) heuristic search (3) classical planning (3) planning algorithm (2) plan verification (2) sat solving (2) propositional logic (2) domain-independent planning (2) sat planning (2) task decomposition graph (1) admissible heuristic (1) complexity analysis (1) partial order (1) integer programming (1) task decomposition (1)

Papers

Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis AAAI 2024
Symbolic Reasoning Methods for AI Planning AAAI 2024
On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm AAAI 2023
Making Translations to Classical Planning Competitive with Other HTN Planners AAAI 2022
Symbolic Search for Optimal Total-Order HTN Planning AAAI 2021
Delete- and Ordering-Relaxation Heuristics for HTN Planning IJCAI 2020
On Succinct Groundings of HTN Planning Problems AAAI 2020
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems AAAI 2020
Finding Optimal Solutions in HTN Planning - A SAT-based Approach IJCAI 2019
On Guiding Search in HTN Planning with Classical Planning Heuristics IJCAI 2019
Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning AAAI 2019
Instructing Novice Users on How to Use Tools in DIY Projects IJCAI 2018
An Admissible HTN Planning Heuristic IJCAI 2017
Coherence Across Components in Cognitive Systems β€” One Ontology to Rule Them All IJCAI 2015