עקוב אחר
Gregor Behnke
Gregor Behnke
ILLC - University of Amsterdam
כתובת אימייל מאומתת בדומיין uva.nl - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
HDDL: An extension to PDDL for expressing hierarchical planning problems‏
D Höller, G Behnke, P Bercher, S Biundo, H Fiorino, D Pellier, R Alford‏
Proceedings of the AAAI conference on artificial intelligence 34 (06), 9883-9891, 2020‏
1212020
Language Classification of Hierarchical Planning Problems‏
D Höller, G Behnke, P Bercher, S Biundo‏
ECAI, 2014‏
822014
An Admissible HTN Planning Heuristic.‏
P Bercher, G Behnke, D Höller, S Biundo‏
IJCAI, 480-488, 2017‏
682017
A generic method to guide HTN progression search with classical heuristics‏
D Höller, P Bercher, G Behnke, S Biundo‏
Proceedings of the International Conference on Automated Planning and …, 2018‏
622018
totSAT-Totally-ordered hierarchical planning through SAT‏
G Behnke, D Höller, S Biundo‏
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018‏
612018
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‏
602018
On the complexity of HTN plan verification and its implications for plan recognition‏
G Behnke, D Höller, S Biundo‏
Proceedings of the International Conference on Automated Planning and …, 2015‏
582015
Assessing the expressivity of planning formalisms through the comparison to formal languages‏
D Höller, G Behnke, P Bercher, S Biundo‏
Proceedings of the International Conference on Automated Planning and …, 2016‏
562016
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, D Aha‏
Proceedings of the International Conference on Automated Planning and …, 2016‏
552016
HTN planning as heuristic progression search‏
D Höller, P Bercher, G Behnke, S Biundo‏
Journal of Artificial Intelligence Research 67, 835-880, 2020‏
502020
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 2016, 225-233, 2016‏
492016
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 (01), 7520-7529, 2019‏
452019
This is a solution!(... but is it though?)-verifying solutions of hierarchical planning problems‏
G Behnke, D Höller, S Biundo‏
Proceedings of the International Conference on Automated Planning and …, 2017‏
432017
Finding Optimal Solutions in HTN Planning-A SAT-based Approach.‏
G Behnke, D Höller, S Biundo‏
IJCAI, 5500-5508, 2019‏
422019
On Succinct Groundings of HTN Planning Problems‏
G Behnke, D Höller, A Schmid, P Bercher, S Biundo‏
Proceedings of the 34th AAAI Conference on AI (AAAI 2020), AAAI Press, 2020‏
412020
On Guiding Search in HTN Planning with Classical Planning Heuristics.‏
D Höller, P Bercher, G Behnke, S Biundo‏
IJCAI, 6171-6175, 2019‏
332019
Change the plan—how hard can that be?‏
G Behnke, D Höller, P Bercher, S Biundo‏
Proceedings of the International Conference on Automated Planning and …, 2016‏
292016
Coherence Across Components in Cognitive Systems–One Ontology to Rule Them All‏
G Behnke, D Ponomaryov, M Schiller, P Bercher, F Nothdurft, B Glimm, ...‏
292015
" Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues‏
M Kraus, M Schiller, G Behnke, P Bercher, M Dorna, M Dambier, B Glimm, ...‏
Proceedings of the 2020 International Conference on Multimodal Interaction …, 2020‏
272020
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, ...‏
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015‏
272015
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20