Behnke, Gregor

17 publications

AAAI 2024 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 2023 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 2022 Making Translations to Classical Planning Competitive with Other HTN Planners Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford

AAAI 2021 Symbolic Search for Optimal Total-Order HTN Planning Gregor Behnke, David Speck

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

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

JAIR 2020 HTN Planning as Heuristic Progression Search Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

AAAI 2020 On Succinct Groundings of HTN Planning Problems Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo

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

IJCAI 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 2018 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

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

IJCAI 2017 An Admissible HTN Planning Heuristic Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo

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

IJCAI 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