| 2025 | ICAPS | Is This Plan Necessarily Redundant? On the Computational Complexity of Unobserved Domain Learning. | Pascal Bachor, Maurice Dekker, Gregor Behnke |
| 2025 | ICAPS | Hardness of Chosen Length Planning Games and Regular Fixed Methods FOND HTN Planning. | Maurice Dekker, Gregor Behnke |
| 2025 | JELIA | AxSAT - Bringing Axioms to SAT Planning. | Gregor Behnke, David Speck, Daniel Gnad |
| 2024 | AAAI | Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis. | Pascal Bachor, Gregor Behnke |
| 2024 | AAAI | Symbolic Reasoning Methods for AI Planning. | Gregor Behnke |
| 2024 | ECAI | Contributions to the Journal Track. | Gregor Behnke |
| 2024 | ECAI | Barely Decidable Fragments of Planning. | Maurice Dekker, Gregor Behnke |
| 2024 | ICAPS | On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification. | Gregor Behnke, Marcel Steinmetz |
| 2023 | AAAI | On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. | Songtuan Lin, Gregor Behnke, Simona Ondrckov, Roman Bartk, Pascal Bercher |
| 2023 | ECAI | Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning. | Songtuan Lin, Gregor Behnke, Pascal Bercher |
| 2023 | FlAIRS | Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. | Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke |
| 2023 | ICAART | On the Impact of Grounding on HTN Plan Verification via Parsing. | Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke |
| 2023 | ICAIL | On the Semantic Difference of Judicial and Standard Language. | Gregor Behnke, Niklas Wais |
| 2022 | AAAI | Making Translations to Classical Planning Competitive with Other HTN Planners. | Gregor Behnke, Florian Pollitt, Daniel Hller, Pascal Bercher, Ron Alford |
| 2022 | FlAIRS | On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. | Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke |
| 2021 | AAAI | Symbolic Search for Optimal Total-Order HTN Planning. | Gregor Behnke, David Speck |
| 2021 | ICTAI | On the Verification of Totally-Ordered HTN Plans. | Roman Bartk, Simona Ondrckov, Gregor Behnke, Pascal Bercher |
| 2021 | KR | Correcting Hierarchical Plans by Action Deletion. | Roman Bartk, Simona Ondrckov, Gregor Behnke, Pascal Bercher |
| 2020 | AAAI | On Succinct Groundings of HTN Planning Problems. | Gregor Behnke, Daniel Hller, Alexander Schmid, Pascal Bercher, Susanne Biundo |
| 2020 | AAAI | HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. | Daniel Hller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford |
| 2020 | ICMI | "Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. | Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker |
| 2020 | IJCAI | Delete- and Ordering-Relaxation Heuristics for HTN Planning. | Daniel Hller, Pascal Bercher, Gregor Behnke |
| 2020 | ICTAI | A Novel Parsing-based Approach for Verification of Hierarchical Plans. | Roman Bartk, Simona Ondrckov, Adrien Maillard, Gregor Behnke, Pascal Bercher |
| 2020 | KI | HTN Plan Repair via Model Transformation. | Daniel Hller, Pascal Bercher, Gregor Behnke, Susanne Biundo |
| 2019 | AAAI | Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. | Gregor Behnke, Daniel Hller, Susanne Biundo |
| 2019 | IJCAI | Finding Optimal Solutions in HTN Planning - A SAT-based Approach. | Gregor Behnke, Daniel Hller, Susanne Biundo |
| 2019 | IJCAI | On Guiding Search in HTN Planning with Classical Planning Heuristics. | Daniel Hller, Pascal Bercher, Gregor Behnke, Susanne Biundo |
| 2018 | AAAI | totSAT - Totally-Ordered Hierarchical Planning Through SAT. | Gregor Behnke, Daniel Hller, Susanne Biundo |
| 2018 | AAAI | Plan and Goal Recognition as HTN Planning. | Daniel Hller, Pascal Bercher, Gregor Behnke, Susanne Biundo |
| 2018 | IJCAI | Instructing Novice Users on How to Use Tools in DIY Projects. | Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo |
| 2018 | ICTAI | Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. | Gregor Behnke, Daniel Hller, Susanne Biundo |
| 2018 | ICTAI | Plan and Goal Recognition as HTN Planning. | Daniel Hller, Gregor Behnke, Pascal Bercher, Susanne Biundo |
| 2017 | IJCAI | An Admissible HTN Planning Heuristic. | Pascal Bercher, Gregor Behnke, Daniel Hller, Susanne Biundo |
| 2016 | ECAI | More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. | Pascal Bercher, Daniel Hller, Gregor Behnke, Susanne Biundo |
| 2015 | AAAI | A Planning-Based Assistance System for Setting Up a Home Theater. | Pascal Bercher, Felix Richter, Thilo Hrnle, Thomas Geier, Daniel Hller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo |
| 2015 | IJCAI | Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. | Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo |
| 2015 | SIGdial | The Interplay of User-Centered Dialog Systems and AI Planning. | Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker |
| 2014 | ECAI | Language Classification of Hierarchical Planning Problems. | Daniel Hller, Gregor Behnke, Pascal Bercher, Susanne Biundo |