Susanne Biundo-Stephan
Susanne Biundo-Stephan
Professorin für Informatik, Universität Ulm
Bestätigte E-Mail-Adresse bei uni-ulm.de
Titel
Zitiert von
Zitiert von
Jahr
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
1162001
A companion technology for cognitive technical systems
A Wendemuth, S Biundo
Cognitive Behavioural Systems, 89-103, 2012
952012
The Karlsruhe induction theorem proving system
S Biundo, B Hummel, D Hutter, C Walther
8th International Conference on Automated Deduction, 672-674, 1986
851986
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
722012
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
622011
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
562014
A new logical framework for deductive planning
W Stephan, S Biundo
521993
PHI: a logic-based tool for intelligent help systems
M Bauer, S Biundo, D Dengler, J Koehler, G Paul
511993
Hybrid Planning Heuristics Based on Task Decomposition Graphs
P Bercher, S Keen, S Biundo
Seventh Annual Symposium on Combinatorial Search, 2014
502014
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), 2012
482012
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
462014
Companion-technology for cognitive technical systems
S Biundo, A Wendemuth
KI-Künstliche Intelligenz 30 (1), 71-75, 2016
452016
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
432015
Deductive planning and plan reuse in a command language environment
S Biundo, D Dengler, J Koehler
421992
Deduction-based refinement planning
W Stephan, S Biundo
DFKI, 1995
401995
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
372015
Plan repair in hybrid planning
J Bidot, B Schattenberg, S Biundo
Annual Conference on Artificial Intelligence, 169-176, 2008
362008
Companion-technology: an overview
S Biundo, D Höller, B Schattenberg, P Bercher
KI-Künstliche Intelligenz 30 (1), 11-20, 2016
342016
Companion-technology: towards user-and situation-adaptive functionality of technical systems
F Honold, P Bercher, F Richter, F Nothdurft, T Geier, R Barth, T Hoernle, ...
2014 International Conference on Intelligent Environments, 378-381, 2014
332014
Approximate online inference for dynamic markov logic networks
T Geier, S Biundo
2011 IEEE 23rd International Conference on Tools with Artificial …, 2011
332011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20