Gregor Behnke
38 publications
8 venues
H Index 18
Affiliation
University of Freiburg, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Comparing State-Representations for DEL Model Checking.
|
TARK | 2025 | 0 |
| AxSAT - Bringing Axioms to SAT Planning.
|
JELIA | 2025 | 0 |
| Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis.
|
AAAI | 2024 | 5 |
| Symbolic Reasoning Methods for AI Planning.
|
AAAI | 2024 | 1 |
| Contributions to the Journal Track.
|
ECAI | 2024 | 0 |
| Barely Decidable Fragments of Planning.
|
ECAI | 2024 | 1 |
| On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification.
|
ICAPS | 2024 | 0 |
| On Partial Satisfaction Planning with Total-Order HTNs.
|
ICAPS | 2023 | 1 |
| Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.
|
ECAI | 2023 | 0 |
| On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.
|
AAAI | 2023 | 6 |
| Compiling HTN Plan Verification Problems into HTN Planning Problems.
|
ICAPS | 2022 | 10 |
| Making Translations to Classical Planning Competitive with Other HTN Planners.
|
AAAI | 2022 | 16 |
| Encoding Lifted Classical Planning in Propositional Logic.
|
ICAPS | 2022 | 15 |
| Loop Detection in the PANDA Planning System.
|
ICAPS | 2021 | 12 |
| Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning.
|
ICAPS | 2021 | 12 |
| Symbolic Search for Optimal Total-Order HTN Planning.
|
AAAI | 2021 | 12 |
| Correcting Hierarchical Plans by Action Deletion.
|
KR | 2021 | 10 |
| New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
|
ICAPS | 2020 | 16 |
| HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.
|
AAAI | 2020 | 106 |
| On Succinct Groundings of HTN Planning Problems.
|
AAAI | 2020 | 34 |
| Delete- and Ordering-Relaxation Heuristics for HTN Planning.
|
IJCAI | 2020 | 17 |
| HTN Planning as Heuristic Progression Search.
|
JAIR | 2020 | 47 |
| On Guiding Search in HTN Planning with Classical Planning Heuristics.
|
IJCAI | 2019 | 28 |
| Finding Optimal Solutions in HTN Planning - A SAT-based Approach.
|
IJCAI | 2019 | 42 |
| Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.
|
AAAI | 2019 | 43 |
| Instructing Novice Users on How to Use Tools in DIY Projects.
|
IJCAI | 2018 | 12 |
| A Generic Method to Guide HTN Progression Search with Classical Heuristics.
|
ICAPS | 2018 | 52 |
| totSAT - Totally-Ordered Hierarchical Planning Through SAT.
|
AAAI | 2018 | 66 |
| This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems.
|
ICAPS | 2017 | 31 |
| An Admissible HTN Planning Heuristic.
|
IJCAI | 2017 | 59 |
| Change the Plan - How Hard Can That Be?
|
ICAPS | 2016 | 28 |
| Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
|
ICAPS | 2016 | 52 |
| More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.
|
ECAI | 2016 | 42 |
| Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
|
ICAPS | 2016 | 48 |
| A Planning-Based Assistance System for Setting Up a Home Theater.
|
AAAI | 2015 | 25 |
| Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
|
IJCAI | 2015 | 24 |
| On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.
|
ICAPS | 2015 | 51 |
| Language Classification of Hierarchical Planning Problems.
|
ECAI | 2014 | 74 |