Gregor Behnke

74 papers A* 30A 5B 6C 1Misc 3Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
When both Grounding and not Grounding are Bad - A Partially Grounded Encoding of Planning into SAT (Extended Version).
CoRR
João Filipe, Gregor Behnke
2025 — conf
AxSAT - Bringing Axioms to SAT Planning.
JELIA (2)
Gregor Behnke, David Speck, Daniel Gnad
2025 B conf
Comparing State-Representations for DEL Model Checking.
TARK
Gregor Behnke, Malvin Gattinger, Avijeet Ghosh, Haitian Wang
2024 A conf
Barely Decidable Fragments of Planning.
ECAI
Maurice Dekker, Gregor Behnke
2024 A conf
Contributions to the Journal Track.
ECAI
Gregor Behnke
2024 A* conf
Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis.
AAAI
Pascal Bachor, Gregor Behnke
2024 A* conf
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification.
ICAPS
Gregor Behnke, Marcel Steinmetz
2024 J jnl
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report.
CoRR
Gregor Behnke, Marcel Steinmetz
2024 A* conf
Symbolic Reasoning Methods for AI Planning.
AAAI
Gregor Behnke
2024 J jnl
The 2023 International Planning Competition.
AI Mag.
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
2023 A conf
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.
ECAI
Songtuan Lin, Gregor Behnke, Pascal Bercher
2023 Misc conf
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans.
FLAIRS
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
2023 A* conf
On Partial Satisfaction Planning with Total-Order HTNs.
ICAPS
Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi
2023 A* conf
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.
AAAI
Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher
2023 — conf
On the Impact of Grounding on HTN Plan Verification via Parsing.
ICAART (3)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
2023 C conf
On the Semantic Difference of Judicial and Standard Language.
ICAIL
Gregor Behnke, Niklas Wais
2022 A* conf
Compiling HTN Plan Verification Problems into HTN Planning Problems.
ICAPS
Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke
2022 A* conf
Encoding Lifted Classical Planning in Propositional Logic.
ICAPS
Daniel Höller, Gregor Behnke
2022 A* conf
Making Translations to Classical Planning Competitive with Other HTN Planners.
AAAI
Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford
2022 Misc conf
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task.
FLAIRS
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
2021 A* conf
Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning.
ICAPS
Gregor Behnke
2021 A* conf
Correcting Hierarchical Plans by Action Deletion.
KR
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
2021 J jnl
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life.
Künstliche Intell.
Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2021 A* conf
Loop Detection in the PANDA Planning System.
ICAPS
Daniel Höller, Gregor Behnke
2021 B conf
On the Verification of Totally-Ordered HTN Plans.
ICTAI
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
2021 J jnl
Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling.
AI Mag.
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Vikas Shivashankar, Ron Alford
2021 A* conf
Symbolic Search for Optimal Total-Order HTN Planning.
AAAI
Gregor Behnke, David Speck
2021 J jnl
The PANDA Framework for Hierarchical Planning.
Künstliche Intell.
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2020 B conf
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.
ICMI
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker
2020 B conf
A Novel Parsing-based Approach for Verification of Hierarchical Plans.
ICTAI
Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher
2020 A* conf
Delete- and Ordering-Relaxation Heuristics for HTN Planning.
IJCAI
Daniel Höller, Pascal Bercher, Gregor Behnke
2020 A* conf
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.
AAAI
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford
2020 Misc conf
HTN Plan Repair via Model Transformation.
KI
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2020 J jnl
HTN Planning as Heuristic Progression Search.
J. Artif. Intell. Res.
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2020 A* conf
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
ICAPS
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
2020 A* conf
On Succinct Groundings of HTN Planning Problems.
AAAI
Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo
2019 J jnl
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects.
AI Commun.
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo
2019 A* conf
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.
AAAI
Gregor Behnke, Daniel Höller, Susanne Biundo
2019 A* conf
Finding Optimal Solutions in HTN Planning - A SAT-based Approach.
IJCAI
Gregor Behnke, Daniel Höller, Susanne Biundo
2019 J jnl
HDDL - A Language to Describe Hierarchical Planning Problems.
CoRR
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
2019 J jnl
Hierarchical Planning in the IPC.
CoRR
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
2019 — —
Hierarchical planning through propositional logic : highly efficient, versatile, and flexible
Gregor Behnke
2019 — ch.
Hierarchisches Planen durch Propositionale Logik.
Ausgezeichnete Informatikdissertationen
Gregor Behnke
2019 A* conf
On Guiding Search in HTN Planning with Classical Planning Heuristics.
IJCAI
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018 A* conf
A Generic Method to Guide HTN Progression Search with Classical Heuristics.
ICAPS
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018 — conf
A Multimodal Dialogue Framework for Cloud-Based Companion Systems.
IWSDS
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker
2018 — conf
Evaluating Knowledge-Based Assistance for DIY.
MuC (Workshopband)
Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker
2018 A* conf
Instructing Novice Users on How to Use Tools in DIY Projects.
IJCAI
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2018 — conf
Plan and Goal Recognition as HTN Planning.
AAAI Workshops
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018 B conf
Plan and Goal Recognition as HTN Planning.
ICTAI
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2018 B conf
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems.
ICTAI
Gregor Behnke, Daniel Höller, Susanne Biundo
2018 J jnl
X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism.
Inteligencia Artif.
Gregor Behnke, Susanne Biundo
2018 A* conf
totSAT - Totally-Ordered Hierarchical Planning Through SAT.
AAAI
Gregor Behnke, Daniel Höller, Susanne Biundo
2017 — conf
A paradigm for coupling procedural and conceptual knowledge in companion systems.
ICCT
Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
2017 — ch.
Advanced User Assistance for Setting Up a Home Theater.
Companion Technology
Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Felix Schüssel, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer, Susanne Biundo
2017 A* conf
An Admissible HTN Planning Heuristic.
IJCAI
Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo
2017 — conf
Help me make a dinner! Challenges when assisting humans in action planning.
ICCT
Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, Susanne Biundo
2017 — conf
Sloth - The interactive workout planner.
ICCT
Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo
2017 A* conf
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems.
ICAPS
Gregor Behnke, Daniel Höller, Susanne Biundo
2017 — ch.
To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process.
Companion Technology
Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Denis K. Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker, Susanne Biundo
2017 — ch.
User-Centered Planning.
Companion Technology
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
2016 A* conf
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
ICAPS
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2016 A* conf
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
ICAPS
Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha
2016 A* conf
Change the Plan - How Hard Can That Be?
ICAPS
Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo
2016 A conf
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.
ECAI
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
2016 — conf
User Involvement in Collaborative Decision-Making Dialog Systems.
IWSDS
Florian Nothdurft, Pascal Bercher, Gregor Behnke, Wolfgang Minker
2015 A* conf
A Planning-Based Assistance System for Setting Up a Home Theater.
AAAI
Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo
2015 — conf
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning.
ISCT
Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo
2015 A* conf
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
IJCAI
Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
2015 — conf
Integrating Ontologies and Planning for Cognitive Systems.
Description Logics
Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller
2015 A* conf
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.
ICAPS
Gregor Behnke, Daniel Höller, Susanne Biundo
2015 — conf
The Interplay of User-Centered Dialog Systems and AI Planning.
SIGDIAL Conference
Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker
2015 — conf
User-Centered Planning - A Discussion on Planning in the Presence of Human Users.
ISCT
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
2014 A conf
Language Classification of Hierarchical Planning Problems.
ECAI
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo