| Language Classification of Hierarchical Planning Problems D Höller, G Behnke, P Bercher, S Biundo ECAI, 2014 | 32 | 2014 |
| 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 | 27 | 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, ... Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015 | 25 | 2015 |
| 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 | 20 | 2016 |
| 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 | 20 | 2016 |
| 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 | 18 | 2017 |
| 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 | 18 | 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, ... | 18 | 2015 |
| 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 | 17 | 2018 |
| An Admissible HTN Planning Heuristic. P Bercher, G Behnke, D Höller, S Biundo IJCAI, 480-488, 2017 | 16 | 2017 |
| totSAT-Totally-ordered hierarchical planning through SAT G Behnke, D Höller, S Biundo Thirty-Second AAAI Conference on Artificial Intelligence, 2018 | 15 | 2018 |
| 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 | 14 | 2016 |
| 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 | 12 | 2015 |
| 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 | 11 | 2018 |
| 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 | 9 | 2019 |
| 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 | 9 | 2018 |
| 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 | 7 | 2019 |
| 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 | 7 | 2018 |
| Integrating Ontologies and Planning for Cognitive Systems G Behnke, P Bercher, S Biundo, B Glimm, D Ponomaryov, M Schiller | 7 | 2015 |
| Finding optimal solutions in HTN planning–A SAT-based approach G Behnke, D Höller, S Biundo IJCAI. IJCAI, 2019 | 6 | 2019 |
Pascal BercherUlm University, GermanyVerified email at uni-ulm.de
