关注
Susanne Biundo-Stephan
Susanne Biundo-Stephan
Professorin für Informatik, Universität Ulm
在 uni-ulm.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
1152012
A companion technology for cognitive technical systems
A Wendemuth, S Biundo
Cognitive Behavioural Systems: COST 2102 International Training School …, 2012
1072012
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
1042020
The Karlsruhe induction theorem proving system
S Biundo, B Hummel, D Hutter, C Walther
8th International Conference on Automated Deduction, 672-674, 1986
911986
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
872014
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
792014
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
772014
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
692011
An Admissible HTN Planning Heuristic
P Bercher, G Behnke, D Höller, S Biundo
632017
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
622018
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
612012
Companion-technology: an overview
S Biundo, D Höller, B Schattenberg, P Bercher
KI-Künstliche Intelligenz 30, 11-20, 2016
602016
Companion-Technology for Cognitive Technical Systems
S Biundo, A Wendemuth
KI-Künstliche Intelligenz 30, 71-75, 2016
602016
A new logical framework for deductive planning
W Stephan, S Biundo
581993
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
572018
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
572015
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
562018
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
542016
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
542016
系统目前无法执行此操作,请稍后再试。
文章 1–20