| From abstract crisis to concrete relief–A preliminary report on combining state abstraction and HTN planning S Biundo, B Schattenberg In Proceedings of the European Conference on Planning, 2001 | 133* | 2001 |
| Making hybrid plans more clear to human users-a formal approach for generating sound explanations B Seegebarth, F Müller, B Schattenberg, S Biundo Proceedings of the International Conference on Automated Planning and …, 2012 | 115 | 2012 |
| A companion technology for cognitive technical systems A Wendemuth, S Biundo Cognitive Behavioural Systems: COST 2102 International Training School …, 2012 | 107 | 2012 |
| 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 | 104 | 2020 |
| The Karlsruhe induction theorem proving system S Biundo, B Hummel, D Hutter, C Walther 8th International Conference on Automated Deduction, 672-674, 1986 | 91 | 1986 |
| Plan, repair, execute, explain–how planning helps to assemble your home theater P Bercher, S Biundo, T Geier, T Hoernle, F Nothdurft, F Richter, ... Proceedings of the 24th International Conference on Automated Planning and …, 2014 | 87 | 2014 |
| Language classification of hierarchical planning problems D Höller, G Behnke, P Bercher, S Biundo Proceedings of the 21st European Conference on Artificial Intelligence (ECAI …, 2014 | 79 | 2014 |
| Hybrid planning heuristics based on task decomposition graphs P Bercher, S Keen, S Biundo Proceedings of the International Symposium on Combinatorial Search 5 (1), 35-43, 2014 | 77 | 2014 |
| Advanced user assistance based on AI planning S Biundo, P Bercher, T Geier, F Müller, B Schattenberg Cognitive Systems Research 12 (3-4), 219-236, 2011 | 69 | 2011 |
| An Admissible HTN Planning Heuristic P Bercher, G Behnke, D Höller, S Biundo | 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 | 62 | 2018 |
| Improving hierarchical planning performance by the use of landmarks M Elkawkagy, P Bercher, B Schattenberg, S Biundo Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 1763-1769, 2012 | 61 | 2012 |
| Companion-technology: an overview S Biundo, D Höller, B Schattenberg, P Bercher KI-Künstliche Intelligenz 30, 11-20, 2016 | 60 | 2016 |
| Companion-Technology for Cognitive Technical Systems S Biundo, A Wendemuth KI-Künstliche Intelligenz 30, 71-75, 2016 | 60 | 2016 |
| A new logical framework for deductive planning W Stephan, S Biundo | 58 | 1993 |
| 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 |
| 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 | 57 | 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 | 56 | 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 | 54 | 2016 |
| Assessing the expressivity of planning formalisms through the comparison to formal languages D Höller, G Behnke, P Bercher, S Biundo Proc. of ICAPS. AAAI Press, 2016 | 54 | 2016 |
