| 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 | 114 | 2001 |
| A companion technology for cognitive technical systems A Wendemuth, S Biundo Cognitive Behavioural Systems, 89-103, 2012 | 97 | 2012 |
| The Karlsruhe induction theorem proving system S Biundo, B Hummel, D Hutter, C Walther 8th International Conference on Automated Deduction, 672-674, 1986 | 84 | 1986 |
| 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 Twenty-Second International Conference on International …, 2012 | 68 | 2012 |
| 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 | 62 | 2011 |
| 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 | 54 | 2014 |
| A new logical framework for deductive planning W Stephan, S Biundo | 54 | 1993 |
| Hybrid Planning Heuristics Based on Task Decomposition Graphs P Bercher, S Keen, S Biundo Seventh Annual Symposium on Combinatorial Search, 2014 | 51 | 2014 |
| Improving Hierarchical Planning Performance by the Use of Landmarks. M Elkawkagy, P Bercher, B Schattenberg, S Biundo AAAI, 2012 | 48 | 2012 |
| Companion-technology for cognitive technical systems S Biundo, A Wendemuth KI-Künstliche Intelligenz 30 (1), 71-75, 2016 | 47 | 2016 |
| PHI: a logic-based tool for intelligent help systems M Bauer, S Biundo, D Dengler, J Koehler, G Paul | 47 | 1993 |
| 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 | 44 | 2014 |
| Deductive planning and plan reuse in a command language environment S Biundo, D Dengler, J Koehler | 43 | 1992 |
| Fusion paradigms in cognitive technical systems for human–computer interaction M Glodek, F Honold, T Geier, G Krell, F Nothdurft, S Reuter, F Schüssel, ... Neurocomputing 161, 17-37, 2015 | 41 | 2015 |
| Deduction-based refinement planning W Stephan, S Biundo DFKI, 1995 | 40 | 1995 |
| Companion-technology: an overview S Biundo, D Höller, B Schattenberg, P Bercher KI-Künstliche Intelligenz 30 (1), 11-20, 2016 | 35 | 2016 |
| 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 | 35 | 2015 |
| Plan repair in hybrid planning J Bidot, B Schattenberg, S Biundo Annual Conference on Artificial Intelligence, 169-176, 2008 | 35 | 2008 |
| Von kognitiven technischen Systemen zu Companion-Systemen S Biundo, A Wendemuth KI-Künstliche Intelligenz 24 (4), 335-339, 2010 | 34 | 2010 |
| Companion-technology: towards user-and situation-adaptive functionality of technical systems F Honold, P Bercher, F Richter, F Nothdurft, T Geier, R Barth, T Hörnle, ... 2014 International Conference on Intelligent Environments, 378-381, 2014 | 33 | 2014 |
