Language Classification of Hierarchical Planning Problems. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo (ECAI, 2014)

A Planning-Based Assistance System for Setting Up a Home Theater. - Pascal Bercher; Felix Richter 001; Thilo Hörnle; Thomas Geier; Daniel Höller; Gregor Behnke; Florian Nothdurft; Frank Honold; Wolfgang Minker; Michael Weber 001; Susanne Biundo (AAAI, 2015)

On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. - Gregor Behnke; Daniel Höller; Susanne Biundo (ICAPS, 2015)

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. - Gregor Behnke; Marvin R. G. Schiller; Denis K. Ponomaryov; Florian Nothdurft; Pascal Bercher; Wolfgang Minker; Birte Glimm; Susanne Biundo (ISCT, 2015)

User-Centered Planning - A Discussion on Planning in the Presence of Human Users. - Pascal Bercher; Daniel Höller; Gregor Behnke; Susanne Biundo (ISCT, 2015)

Integrating Ontologies and Planning for Cognitive Systems. - Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Denis K. Ponomaryov; Marvin R. G. Schiller (Description Logics, 2015)

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 (IJCAI, 2015)

The Interplay of User-Centered Dialog Systems and AI Planning. - Florian Nothdurft; Gregor Behnke; Pascal Bercher; Susanne Biundo; Wolfgang Minker (SIGDIAL Conference, 2015)

Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. - Ron Alford; Gregor Behnke; Daniel Höller; Pascal Bercher; Susanne Biundo; David W. Aha (ICAPS, 2016)

Change the Plan - How Hard Can That Be? - Gregor Behnke; Daniel Höller; Pascal Bercher; Susanne Biundo (ICAPS, 2016)

Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo (ICAPS, 2016)

More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. - Pascal Bercher; Daniel Höller; Gregor Behnke; Susanne Biundo (ECAI, 2016)

User Involvement in Collaborative Decision-Making Dialog Systems. - Florian Nothdurft; Pascal Bercher; Gregor Behnke; Wolfgang Minker (IWSDS, 2016)

This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. - Gregor Behnke; Daniel Höller; Susanne Biundo (ICAPS, 2017)

Help me make a dinner! Challenges when assisting humans in action planning. - Gregor Behnke; Benedikt Leichtmann; Pascal Bercher; Daniel Höller; Verena Nitsch; Martin Baumann 001; Susanne Biundo (ICCT, 2017)

Sloth - The interactive workout planner. - Gregor Behnke; Florian Nielsen; Marvin R. G. Schiller; Pascal Bercher; Matthias Kraus 001; Wolfgang Minker; Birte Glimm; Susanne Biundo (ICCT, 2017)

A paradigm for coupling procedural and conceptual knowledge in companion systems. - Marvin R. G. Schiller; Gregor Behnke; Mario Schmautz; Pascal Bercher; Matthias Kraus 001; Michael Dorna; Wolfgang Minker; Birte Glimm; Susanne Biundo (ICCT, 2017)

An Admissible HTN Planning Heuristic. - Pascal Bercher; Gregor Behnke; Daniel Höller; Susanne Biundo (IJCAI, 2017)

To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. - Gregor Behnke; Florian Nielsen; Marvin R. G. Schiller; Denis K. Ponomaryov; Pascal Bercher; Birte Glimm; Wolfgang Minker; Susanne Biundo (Companion Technology, 2017)

User-Centered Planning. - Pascal Bercher; Daniel Höller; Gregor Behnke; Susanne Biundo (Companion Technology, 2017)

Advanced User Assistance for Setting Up a Home Theater. - Pascal Bercher; Felix Richter 001; Thilo Hörnle; Thomas Geier; Daniel Höller; Gregor Behnke; Florian Nielsen; Frank Honold; Felix Schüssel; Stephan Reuter; Wolfgang Minker; Michael Weber 001; et al. (Companion Technology, 2017)

totSAT - Totally-Ordered Hierarchical Planning Through SAT. - Gregor Behnke; Daniel Höller; Susanne Biundo (AAAI, 2018)

Plan and Goal Recognition as HTN Planning. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (AAAI Workshops, 2018)

A Generic Method to Guide HTN Progression Search with Classical Heuristics. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (ICAPS, 2018)

Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. - Gregor Behnke; Daniel Höller; Susanne Biundo (ICTAI, 2018)

Instructing Novice Users on How to Use Tools in DIY Projects. - Gregor Behnke; Marvin R. G. Schiller; Matthias Kraus 001; Pascal Bercher; Mario Schmautz; Michael Dorna; Wolfgang Minker; Birte Glimm; Susanne Biundo (IJCAI, 2018)

A Multimodal Dialogue Framework for Cloud-Based Companion Systems. - Matthias Kraus 001; Marvin R. G. Schiller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Wolfgang Minker (IWSDS, 2018)

Evaluating Knowledge-Based Assistance for DIY. - Marvin R. G. Schiller; Gregor Behnke; Pascal Bercher; Matthias Kraus 001; Michael Dorna; Felix Richter 001; Susanne Biundo; Birte Glimm; Wolfgang Minker (MuC (Workshopband), 2018)

X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. - Gregor Behnke; Susanne Biundo (Inteligencia Artif., 2018)

Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. - Gregor Behnke; Daniel Höller; Susanne Biundo (AAAI, 2019)

Finding Optimal Solutions in HTN Planning - A SAT-based Approach. - Gregor Behnke; Daniel Höller; Susanne Biundo (IJCAI, 2019)

On Guiding Search in HTN Planning with Classical Planning Heuristics. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (IJCAI, 2019)

Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. - Gregor Behnke; Marvin R. G. Schiller; Matthias Kraus 001; Pascal Bercher; Mario Schmautz; Michael Dorna; Michael Dambier; Wolfgang Minker; Birte Glimm; Susanne Biundo (AI Commun., 2019)

Hierarchical Planning in the IPC. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Humbert Fiorino; Damien Pellier; Ronald Alford (CoRR, 2019)

HDDL - A Language to Describe Hierarchical Planning Problems. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Humbert Fiorino; Damien Pellier; Ronald Alford (CoRR, 2019)

Hierarchical planning through propositional logic : highly efficient, versatile, and flexible - Gregor Behnke (2019)

Hierarchisches Planen durch Propositionale Logik. - Gregor Behnke (Ausgezeichnete Informatikdissertationen, 2019)

On Succinct Groundings of HTN Planning Problems. - Gregor Behnke; Daniel Höller; Alexander Schmid 003; Pascal Bercher; Susanne Biundo (AAAI, 2020)

HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Humbert Fiorino; Damien Pellier; Ron Alford (AAAI, 2020)

New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. - Gregor Behnke; Pascal Bercher; Matthias Kraus 001; Marvin R. G. Schiller; Kristof Mickeleit; Timo Häge; Michael Dorna; Michael Dambier; Dietrich Manstetten; Wolfgang Minker; Birte Glimm; Susanne Biundo (ICAPS, 2020)

"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. - Matthias Kraus 001; Marvin R. G. Schiller; Gregor Behnke; Pascal Bercher; Michael Dorna; Michael Dambier; Birte Glimm; Susanne Biundo; Wolfgang Minker (ICMI, 2020)

A Novel Parsing-based Approach for Verification of Hierarchical Plans. - Roman Barták; Simona Ondrcková; Adrien Maillard; Gregor Behnke; Pascal Bercher (ICTAI, 2020)

Delete- and Ordering-Relaxation Heuristics for HTN Planning. - Daniel Höller; Pascal Bercher; Gregor Behnke (IJCAI, 2020)

HTN Plan Repair via Model Transformation. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (KI, 2020)

HTN Planning as Heuristic Progression Search. - Daniel Höller; Pascal Bercher; Gregor Behnke; Susanne Biundo (J. Artif. Intell. Res., 2020)

Symbolic Search for Optimal Total-Order HTN Planning. - Gregor Behnke; David Speck 001 (AAAI, 2021)

Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning. - Gregor Behnke (ICAPS, 2021)

Loop Detection in the PANDA Planning System. - Daniel Höller; Gregor Behnke (ICAPS, 2021)

On the Verification of Totally-Ordered HTN Plans. - Roman Barták; Simona Ondrcková; Gregor Behnke; Pascal Bercher (ICTAI, 2021)

Correcting Hierarchical Plans by Action Deletion. - Roman Barták; Simona Ondrcková; Gregor Behnke; Pascal Bercher (KR, 2021)

Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling. - Pascal Bercher; Daniel Höller; Gregor Behnke; Susanne Biundo; Vikas Shivashankar; Ron Alford (AI Mag., 2021)

Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. - Pascal Bercher; Gregor Behnke; Matthias Kraus 001; Marvin R. G. Schiller; Dietrich Manstetten; Michael Dambier; Michael Dorna; Wolfgang Minker; Birte Glimm; Susanne Biundo (Künstliche Intell., 2021)

The PANDA Framework for Hierarchical Planning. - Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo (Künstliche Intell., 2021)

Making Translations to Classical Planning Competitive with Other HTN Planners. - Gregor Behnke; Florian Pollitt; Daniel Höller; Pascal Bercher; Ron Alford (AAAI, 2022)

Encoding Lifted Classical Planning in Propositional Logic. - Daniel Höller; Gregor Behnke (ICAPS, 2022)

Compiling HTN Plan Verification Problems into HTN Planning Problems. - Daniel Höller; Julia Wichlacz; Pascal Bercher; Gregor Behnke (ICAPS, 2022)

On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. - Simona Ondrcková; Roman Barták; Pascal Bercher; Gregor Behnke (FLAIRS, 2022)

On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. - Songtuan Lin; Gregor Behnke; Simona Ondrcková; Roman Barták; Pascal Bercher (AAAI, 2023)

On Partial Satisfaction Planning with Total-Order HTNs. - Gregor Behnke; David Speck 001; Michael Katz 001; Shirin Sohrabi (ICAPS, 2023)

Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning. - Songtuan Lin; Gregor Behnke; Pascal Bercher (ECAI, 2023)

Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. - Simona Ondrcková; Roman Barták; Pascal Bercher; Gregor Behnke (FLAIRS, 2023)

On the Impact of Grounding on HTN Plan Verification via Parsing. - Simona Ondrcková; Roman Barták; Pascal Bercher; Gregor Behnke (ICAART (3), 2023)

On the Semantic Difference of Judicial and Standard Language. - Gregor Behnke; Niklas Wais (ICAIL, 2023)

Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis. - Pascal Bachor; Gregor Behnke (AAAI, 2024)

Symbolic Reasoning Methods for AI Planning. - Gregor Behnke (AAAI, 2024)

Contributions to the Journal Track. - Gregor Behnke (ECAI, 2024)

Barely Decidable Fragments of Planning. - Maurice Dekker; Gregor Behnke (ECAI, 2024)

On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification. - Gregor Behnke; Marcel Steinmetz (ICAPS, 2024)

The 2023 International Planning Competition. - Ayal Taitler; Ron Alford; Joan Espasa; Gregor Behnke; Daniel Fiser; Michael Gimelfarb; Florian Pommerening; Scott Sanner; Enrico Scala; Dominik Schreiber 001; Javier Segovia-Aguas; Jendrik Seipp (AI Mag., 2024)

On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report. - Gregor Behnke; Marcel Steinmetz (CoRR, 2024)

AxSAT - Bringing Axioms to SAT Planning. - Gregor Behnke; David Speck 001; Daniel Gnad 001 (JELIA (2), 2025)