Gregor Behnke
Gregor Behnke
Verified email at uni-ulm.de - Homepage
TitleCited byYear
Language Classification of Hierarchical Planning Problems
D Höller, G Behnke, P Bercher, S Biundo
ECAI, 2014
322014
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
272015
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
More than a name? On implications of preconditions and effects of compound HTN planning tasks
P Bercher, D Höller, G Behnke, S Biundo
Proceedings of the Twenty-second European Conference on Artificial …, 2016
202016
Assessing the expressivity of planning formalisms through the comparison to formal languages
D Höller, G Behnke, P Bercher, S Biundo
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
202016
This is a solution!(... but is it though?)-verifying solutions of hierarchical planning problems
G Behnke, D Höller, S Biundo
Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
182017
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
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
182016
Coherence Across Components in Cognitive Systems–One Ontology to Rule Them All
G Behnke, D Ponomaryov, M Schiller, P Bercher, F Nothdurft, B Glimm, ...
182015
A generic method to guide HTN progression search with classical heuristics
D Höller, P Bercher, G Behnke, S Biundo
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
172018
An Admissible HTN Planning Heuristic.
P Bercher, G Behnke, D Höller, S Biundo
IJCAI, 480-488, 2017
162017
totSAT-Totally-ordered hierarchical planning through SAT
G Behnke, D Höller, S Biundo
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
152018
Change the Plan—How Hard Can That Be?
G Behnke, D Höller, P Bercher, S Biundo
Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
142016
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
122015
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
112018
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 33rd AAAI Conference on AI (AAAI 2019), AAAI Press, 2019
92019
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
92018
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, 1-27, 2019
72019
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
72018
Integrating Ontologies and Planning for Cognitive Systems
G Behnke, P Bercher, S Biundo, B Glimm, D Ponomaryov, M Schiller
72015
Finding optimal solutions in HTN planning–A SAT-based approach
G Behnke, D Höller, S Biundo
IJCAI. IJCAI, 2019
62019
The system can't perform the operation now. Try again later.
Articles 1–20