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 | 107 | 2020 |
Language Classification of Hierarchical Planning Problems D Höller, G Behnke, P Bercher, S Biundo ECAI, 2014 | 80 | 2014 |
An Admissible HTN Planning Heuristic. P Bercher, G Behnke, D Höller, S Biundo IJCAI, 480-488, 2017 | 63 | 2017 |
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 | 61 | 2018 |
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 | 58 | 2015 |
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 | 57 | 2018 |
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 | 57 | 2018 |
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 | 55 | 2016 |
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 | 52 | 2016 |
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 | 49 | 2016 |
HTN planning as heuristic progression search D Höller, P Bercher, G Behnke, S Biundo Journal of Artificial Intelligence Research 67, 835-880, 2020 | 47 | 2020 |
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 | 44 | 2019 |
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 | 43 | 2017 |
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 | 40 | 2020 |
Finding Optimal Solutions in HTN Planning-A SAT-based Approach. G Behnke, D Höller, S Biundo IJCAI, 5500-5508, 2019 | 39 | 2019 |
On Guiding Search in HTN Planning with Classical Planning Heuristics. D Höller, P Bercher, G Behnke, S Biundo IJCAI, 6171-6175, 2019 | 31 | 2019 |
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 | 29 | 2016 |
Coherence Across Components in Cognitive Systems–One Ontology to Rule Them All G Behnke, D Ponomaryov, M Schiller, P Bercher, F Nothdurft, B Glimm, ... | 29 | 2015 |
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 | 27 | 2015 |
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 | 26 | 2019 |