Folgen
Gregor Behnke
Gregor Behnke
ILLC - University of Amsterdam
Bestätigte E-Mail-Adresse bei uva.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Language Classification of Hierarchical Planning Problems
D Höller, G Behnke, P Bercher, S Biundo
ECAI, 2014
692014
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
662020
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
522018
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
522015
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
482018
An Admissible HTN Planning Heuristic.
P Bercher, G Behnke, D Höller, S Biundo
IJCAI, 480-488, 2017
482017
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
462016
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
452016
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
442018
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
422016
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
372019
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
352017
Finding Optimal Solutions in HTN Planning-A SAT-based Approach.
G Behnke, D Höller, S Biundo
IJCAI, 5500-5508, 2019
322019
HTN planning as heuristic progression search
D Höller, P Bercher, G Behnke, S Biundo
Journal of Artificial Intelligence Research 67, 835-880, 2020
312020
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
292020
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
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
262016
Coherence Across Components in Cognitive Systems–One Ontology to Rule Them All
G Behnke, D Ponomaryov, M Schiller, P Bercher, F Nothdurft, B Glimm, ...
262015
On Guiding Search in HTN Planning with Classical Planning Heuristics.
D Höller, P Bercher, G Behnke, S Biundo
IJCAI, 6171-6175, 2019
232019
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
232019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20