Gregor Behnke
28 publications
6 venues
H Index 16
Affiliation
University of Freiburg, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Encoding Lifted Classical Planning in Propositional Logic.
|
ICAPS | 2022 | 0 |
| Compiling HTN Plan Verification Problems into HTN Planning Problems.
|
ICAPS | 2022 | 0 |
| Making Translations to Classical Planning Competitive with Other HTN Planners.
|
AAAI | 2022 | 0 |
| Correcting Hierarchical Plans by Action Deletion.
|
KR | 2021 | 0 |
| Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning.
|
ICAPS | 2021 | 3 |
| Loop Detection in the PANDA Planning System.
|
ICAPS | 2021 | 2 |
| Symbolic Search for Optimal Total-Order HTN Planning.
|
AAAI | 2021 | 2 |
| HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.
|
AAAI | 2020 | 22 |
| Delete- and Ordering-Relaxation Heuristics for HTN Planning.
|
IJCAI | 2020 | 7 |
| New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
|
ICAPS | 2020 | 9 |
| HTN Planning as Heuristic Progression Search.
|
JAIR | 2020 | 16 |
| On Succinct Groundings of HTN Planning Problems.
|
AAAI | 2020 | 19 |
| Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.
|
AAAI | 2019 | 28 |
| On Guiding Search in HTN Planning with Classical Planning Heuristics.
|
IJCAI | 2019 | 16 |
| Finding Optimal Solutions in HTN Planning - A SAT-based Approach.
|
IJCAI | 2019 | 24 |
| totSAT - Totally-Ordered Hierarchical Planning Through SAT.
|
AAAI | 2018 | 37 |
| A Generic Method to Guide HTN Progression Search with Classical Heuristics.
|
ICAPS | 2018 | 32 |
| Instructing Novice Users on How to Use Tools in DIY Projects.
|
IJCAI | 2018 | 11 |
| An Admissible HTN Planning Heuristic.
|
IJCAI | 2017 | 29 |
| This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems.
|
ICAPS | 2017 | 22 |
| Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
|
ICAPS | 2016 | 34 |
| Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
|
ICAPS | 2016 | 32 |
| More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.
|
ECAI | 2016 | 28 |
| Change the Plan - How Hard Can That Be?
|
ICAPS | 2016 | 23 |
| On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.
|
ICAPS | 2015 | 40 |
| Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
|
IJCAI | 2015 | 20 |
| A Planning-Based Assistance System for Setting Up a Home Theater.
|
AAAI | 2015 | 24 |
| Language Classification of Hierarchical Planning Problems.
|
ECAI | 2014 | 50 |