Gregor Behnke

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 56

Top Topics

Symbolic Reasoning

Top Venues

Publications

Pascal Bachor, Gregor Behnke
Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis. AAAI (2024)
Ayal Taitler, Ron Alford, Joan Espasa, Gregor Behnke, Daniel Fiser, Michael Gimelfarb, Florian Pommerening, Scott Sanner, Enrico Scala, Dominik Schreiber, Javier Segovia-Aguas, Jendrik Seipp
The 2023 International Planning Competition. AI Mag. 45 (2) (2024)
Gregor Behnke
Symbolic Reasoning Methods for AI Planning. AAAI (2024)
Gregor Behnke, Marcel Steinmetz
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification. ICAPS (2024)
Gregor Behnke, Marcel Steinmetz
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report. CoRR (2024)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
On the Impact of Grounding on HTN Plan Verification via Parsing. ICAART (3) (2023)
Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. AAAI (2023)
Gregor Behnke, Niklas Wais
On the Semantic Difference of Judicial and Standard Language. ICAIL (2023)
Songtuan Lin, Gregor Behnke, Pascal Bercher
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning. ECAI (2023)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. FLAIRS (2023)
Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi
On Partial Satisfaction Planning with Total-Order HTNs. ICAPS (2023)
Daniel Höller, Gregor Behnke
Encoding Lifted Classical Planning in Propositional Logic. ICAPS (2022)
Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford
Making Translations to Classical Planning Competitive with Other HTN Planners. AAAI (2022)
Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke
Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS (2022)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. FLAIRS (2022)
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
Correcting Hierarchical Plans by Action Deletion. KR (2021)
Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. Künstliche Intell. 35 (3) (2021)
Daniel Höller, Gregor Behnke
Loop Detection in the PANDA Planning System. ICAPS (2021)
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
On the Verification of Totally-Ordered HTN Plans. ICTAI (2021)
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Vikas Shivashankar, Ron Alford
Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling. AI Mag. 42 (1) (2021)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
The PANDA Framework for Hierarchical Planning. Künstliche Intell. 35 (3) (2021)
Gregor Behnke
Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning. ICAPS (2021)
Gregor Behnke, David Speck
Symbolic Search for Optimal Total-Order HTN Planning. AAAI (2021)
Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher
A Novel Parsing-based Approach for Verification of Hierarchical Plans. ICTAI (2020)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
HTN Plan Repair via Model Transformation. KI (2020)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. AAAI (2020)
Daniel Höller, Pascal Bercher, Gregor Behnke
Delete- and Ordering-Relaxation Heuristics for HTN Planning. IJCAI (2020)
Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin R. G. Schiller, Kristof Mickeleit, Timo Häge, Michael Dorna, Michael Dambier, Dietrich Manstetten, Wolfgang Minker, Birte Glimm, Susanne Biundo
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS (2020)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. 67 (2020)
Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo
On Succinct Groundings of HTN Planning Problems. AAAI (2020)
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI (2020)
Gregor Behnke, Daniel Höller, Susanne Biundo
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI (2019)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
HDDL - A Language to Describe Hierarchical Planning Problems. CoRR (2019)
Gregor Behnke, Daniel Höller, Susanne Biundo
Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI (2019)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI (2019)
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. AI Commun. 32 (1) (2019)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
Hierarchical Planning in the IPC. CoRR (2019)
Gregor Behnke, Daniel Höller, Susanne Biundo
totSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI (2018)
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker
A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS (2018)
Gregor Behnke, Daniel Höller, Susanne Biundo
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. ICTAI (2018)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS (2018)
Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker
Evaluating Knowledge-Based Assistance for DIY. Mensch & Computer Workshopband (2018)
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI (2018)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Plan and Goal Recognition as HTN Planning. ICTAI (2018)
Gregor Behnke, Susanne Biundo
X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. Inteligencia Artif. 21 (62) (2018)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
Plan and Goal Recognition as HTN Planning. AAAI Workshops (2018)
Gregor Behnke, Daniel Höller, Susanne Biundo
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS (2017)
Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, Susanne Biundo
Help me make a dinner! Challenges when assisting humans in action planning. ICCT (2017)
Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT (2017)
Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo
Sloth - The interactive workout planner. ICCT (2017)
Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo
An Admissible HTN Planning Heuristic. IJCAI (2017)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS (2016)
Florian Nothdurft, Pascal Bercher, Gregor Behnke, Wolfgang Minker
User Involvement in Collaborative Decision-Making Dialog Systems. IWSDS (2016)
Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo
Change the Plan - How Hard Can That Be? ICAPS (2016)
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI (2016)
Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. ICAPS (2016)
Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller
Integrating Ontologies and Planning for Cognitive Systems. Description Logics (2015)
Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo
A Planning-Based Assistance System for Setting Up a Home Theater. AAAI (2015)
Gregor Behnke, Daniel Höller, Susanne Biundo
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS (2015)
Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT (2015)
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
User-Centered Planning - A Discussion on Planning in the Presence of Human Users. ISCT (2015)
Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker
The Interplay of User-Centered Dialog Systems and AI Planning. SIGDIAL Conference (2015)
Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI (2015)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Language Classification of Hierarchical Planning Problems. ECAI (2014)