Gregor Behnke
Gregor Behnke
Verified email at informatik.uni-freiburg.de - Homepage
Title
Cited by
Cited by
Year
Language Classification of Hierarchical Planning Problems
D Höller, G Behnke, P Bercher, S Biundo
ECAI, 2014
392014
On the complexity of HTN plan verification and its implications for plan recognition
G Behnke, D Höller, S Biundo
Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
322015
A planning-based assistance system for setting up a home theater
P Bercher, F Richter, T Hörnle, T Geier, D Höller, G Behnke, F Nothdurft, ...
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
252015
An Admissible HTN Planning Heuristic.
P Bercher, G Behnke, D Höller, S Biundo
IJCAI, 480-488, 2017
242017
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
R Alford, G Behnke, D Höller, P Bercher, S Biundo, DW Aha
ICAPS, 20-28, 2016
242016
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
D Höller, G Behnke, P Bercher, S Biundo
ICAPS, 158-165, 2016
242016
A Generic Method to Guide HTN Progression Search with Classical Heuristics.
D Höller, P Bercher, G Behnke, S Biundo
ICAPS, 114-122, 2018
232018
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.
P Bercher, D Höller, G Behnke, S Biundo
ECAI, 225-233, 2016
232016
totSAT-Totally-Ordered Hierarchical Planning Through SAT.
G Behnke, D Höller, S Biundo
AAAI, 6110-6118, 2018
212018
Coherence Across Components in Cognitive Systems–One Ontology to Rule Them All
G Behnke, D Ponomaryov, M Schiller, P Bercher, F Nothdurft, B Glimm, ...
212015
This Is a Solution!(... But Is It Though?)-Verifying Solutions of Hierarchical Planning Problems.
G Behnke, D Höller, S Biundo
ICAPS, 20-28, 2017
202017
Plan and goal recognition as HTN planning
D Höller, G Behnke, P Bercher, S Biundo
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
172018
Bringing order to chaos–A compact representation of partial order in SAT-based HTN planning
G Behnke, D Höller, S Biundo
Proceedings of the AAAI Conference on Artificial Intelligence 33, 7520-7529, 2019
162019
Change the plan-how hard can that be?
G Behnke, D Höller, P Bercher, S Biundo
ICAPS, 38-46, 2016
162016
Tracking branches in trees-A propositional encoding for solving partially-ordered HTN planning problems
G Behnke, D Höller, S Biundo
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
152018
The interplay of user-centered dialog systems and AI planning
F Nothdurft, G Behnke, P Bercher, S Biundo, W Minker
Proceedings of the 16th Annual Meeting of the Special Interest Group on …, 2015
152015
Finding Optimal Solutions in HTN Planning-A SAT-based Approach.
G Behnke, D Höller, S Biundo
IJCAI, 5500-5508, 2019
122019
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects
G Behnke, M Schiller, M Kraus, P Bercher, M Schmautz, M Dorna, ...
AI Communications 32 (1), 31-57, 2019
112019
Instructing Novice Users on How to Use Tools in DIY Projects.
G Behnke, MRG Schiller, M Kraus, P Bercher, M Schmautz, M Dorna, ...
IJCAI, 5805-5807, 2018
102018
On Guiding Search in HTN Planning with Classical Planning Heuristics.
D Höller, P Bercher, G Behnke, S Biundo
IJCAI, 6171-6175, 2019
92019
The system can't perform the operation now. Try again later.
Articles 1–20