Prof. Dr. Susanne Biundo-Stephan

Susanne Biundo received her Ph.D. (Dr. rer. nat.) from the University of Karlsruhe in 1989. She held a Senior Research Position at the Intelligent User Interfaces Lab of the German Research Center for Artificial Intelligence (DFKI) from 1989 to 1998. In 1998, she became a Professor of Computer Science at Ulm University from where she retired in 2021.

Susanne Biundo was the chair of the Transregional Collaborative Research Centre SFB/TRR 62 "Companion-Technology for Cognitive Technical Systems".

Among other professional activities, she served as the Conference- and Program Co-chair of ICAPS 2005, the "15th International Conference on Automated Planning and Scheduling", as the Conference- and Program Co-chair of the "27th German Conference on Artificial Intelligence" (KI 2004), and as the Program Chair of the "5th European Conference on Planning" (ECP-99).

Susanne Biundo was the initiator and coordinator of PLANET, the "European Network of Excellence in AI Planning", which she led from 1998 to 2003.

In 2004, she was elected ECCAI Fellow.

Further Information

AI Planning, Automated Reasoning, Knowledge Modeling, Cognitive Systems

Susanne Biundo was a Founding Member of the Executive Council of ICAPS, the International Conference on Automated Planning and Scheduling (2002 -2008) and a member of the board of the German Informatics Society (GI) (2002 - 2007).

She acted as Conference- and Program Co-chair of the "15th International Conference on Automated Planning and Scheduling" (ICAPS 2005), as the Conference- and Program Co-chair of the "27th German Conference on Artificial Intelligence" (KI 2004), as Associated Program Chair of the "6th International Conference on AI Planning and Scheduling" (AIPS-02), and as the Program Chair of the "5th European Conference on Planning" (ECP-99).

She initiated and chaired the "European Network of Excellence in AI Planning" (PLANET).

Susanne Biundo was the Area Editor of "Planning and Scheduling" of the Electronic Transactions on Artificial Intelligence (ETAI) and served on the editorial and review boards of various scientific journals including Applied Intelligence, JAIR, and the Journal of Applied Logic.
Furthermore, she was a program committee member of numerous international conferences including ICAPS 2004, ICAPS 2003, ECAI 2002, ECAI 2000, KR 2000, IJCAI-99, and IJCAI-97.

see teaching offer of the current semester

Publications

2018

84.
G. Behnke, D. Höller and S. Biundo, "totSAT - Totally-Ordered Hierarchical Planning through SAT" in Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), AAAI 2018, New Orleans, February 2–7, AAAI Press, 2018, pp. 6110--6118.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018totSAT.pdf
83.
B. Leichtmann, P. Bercher, D. Höller, G. Behnke, S. Biundo, V. Nitsch and M. Baumann, "Towards a Companion System Incorporating Human Planning Behavior -- A Qualitative Analysis of Human Strategies" in Proceedings der dritten transdisziplinären Konferenz "Technische Unterstützungssysteme, die die Menschen wirklich wollen" (engl: Proceedings of the 3rd "Transdisciplinary Conference on Support Technologies"), TCST 2018, 2018, pp. 89--98.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Leichtmann2018HumanPlanningBehavior.pdf
82.
G. Behnke, D. Höller and S. Biundo, "Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems" in Proceedings of the First ICAPS Workshop on Hierarchical Planning, 2018, pp. 40--47.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018partSAT.pdf
81.
G. Behnke, D. Höller and S. Biundo, "Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems" in Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018), IEEE Computer Society, 2018, pp. 73--80.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018treeSAT.pdf
80.
G. Behnke and S. Biundo, "X and more Parallelism - Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism" in Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS), 2018, pp. 1--10.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018satltl.pdf
79.
G. Behnke and S. Biundo, "X and more Parallelism: Integrating LTL-Next into SAT-based Planning with Trajectory Constraints While Allowing for Even More Parallelism", Inteligencia Artificial, vol. 21, no. 62, pp. 75--90, 2018.
DOI:10.4114/intartif.vol21iss62pp75-90
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018SATltljournal.pdf

2017

78.
M. R. G. Schiller, G. Behnke, M. Schmautz, P. Bercher, M. Kraus, M. Dorna, W. Minker, B. Glimm and S. Biundo, "A Paradigm for Coupling Procedural and Conceptual Knowledge in Companion Systems" in Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017), IEEE, 2017.
DOI:10.1109/COMPANION.2017.8287072
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/SBSBKDMGB-ICCT2017.pdf
77.
F. Richter and S. Biundo, "Addressing Uncertainty in Hierarchical User-Centered Planning" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 101--121.
DOI:10.1007/978-3-319-43665-4_6
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Richter2017UserCenteredPlanningUnderUncertainty.pdf
76.
P. Bercher, F. Richter, T. Hörnle, T. Geier, D. Höller, G. Behnke, F. Nielsen, F. Honold, F. Schüssel, S. Reuter, W. Minker, M. Weber, K. Dietmayer and S. Biundo, "Advanced User Assistance for Setting Up a Home Theater" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 485--491.
DOI:10.1007/978-3-319-43665-4_24
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher2017CompBookHomeTheater.pdf
75.
P. Bercher, G. Behnke, D. Höller and S. Biundo, "An Admissible HTN Planning Heuristic" in Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), IJCAI, 2017, pp. 480--488.
Weblink:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher17AdmissibleHTNHeuristicPoster.pdf
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher17AdmissibleHTNHeuristic.pdf
74.
S. Biundo and A. Wendemuth, "An Introduction to Companion-Technology" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 1--15.
DOI:10.1007/978-3-319-43665-4_1
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Biundo2017CompBookIntro.pdf
73.
S. Biundo and A. Wendemuth,Companion Technology - A Paradigm Shift in Human-Technology Interaction. .... Springer, 2017.
DOI:10.1007/978-3-319-43665-4
Datei:https://link.springer.com/book/10.1007/978-3-319-43665-4
72.
T. Hörnle, M. Tornow, F. Honold, R. Schwegler, R. Heinemann, S. Biundo and A. Wendemuth, "Companion-Systems: A Reference Architecture" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 449-469.
DOI:10.1007/978-3-319-43665-4_22
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Hoernle2017CompBookReferenceArchitecture.pdf
71.
G. Behnke, B. Leichtmann, P. Bercher, D. Höller, V. Nitsch, M. Baumann and S. Biundo, "Help me make a dinner! Challenges when assisting humans in action planning" in Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017), IEEE, 2017.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Challenge.pdf
70.
T. Geier and S. Biundo, "Multi-Level Knowledge Processing in Cognitive Technical Systems" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo, Eds. Springer, 2017, pp. 17--36.
DOI:10.1007/978-3-319-43665-4_2
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Geier2017CompBookMLKP.pdf
69.
G. Behnke, F. Nielsen, M. R. G. Schiller, P. Bercher, M. Kraus, W. Minker, S. Biundo and B. Glimm, "SLOTH - the Interactive Workout Planner" in Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017), IEEE, 2017.
DOI:10.1109/COMPANION.2017.8287077
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Sloth.pdf
68.
G. Behnke, D. Höller and S. Biundo, "This is a solution! (... but is it though?) - Verifying solutions of hierarchical planning problems" in Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), AAAI Press, 2017, pp. 20--28.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke17Verify.pdf
67.
G. Behnke, F. Nielsen, M. R. G. Schiller, D. Ponomaryov, P. Bercher, B. Glimm, W. Minker and S. Biundo, "To Plan for the User Is to Plan With the User -- Integrating User Interaction Into the Planning Process" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 123--144.
DOI:10.1007/978-3-319-43665-4_7
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017CompBookMIP.pdf
66.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "User-Centered Planning" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 79--100.
DOI:10.1007/978-3-319-43665-4_5
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher2017CompBookUCPlanning.pdf

2016

65.
D. Höller, G. Behnke, P. Bercher and S. Biundo, "Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages" in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 26th International Conference on Automated Planning and Scheduling, London, June 12 - 17, 2016, AAAI Press, 2016, pp. 158--165.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Hoeller16Expressivity.pdf
64.
R. Alford, G. Behnke, D. Höller, P. Bercher, S. Biundo and D. Aha, "Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems" in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 26th International Conference on Automated Planning and Scheduling, London, June 12 - 17, 2016, AAAI Press, 2016, pp. 20--28.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Alford16BoundToPlan.pdf
63.
G. Behnke, D. Höller, P. Bercher and S. Biundo, "Change the Plan - How hard can that be?" in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 26th International Conference on Automated Planning and Scheduling, London, June 12 - 17, 2016, AAAI Press, 2016, pp. 38--46.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Behnke16ChangeThePlan.pdf
62.
S. Biundo and A. Wendemuth, "Companion-Technology for Cognitive Technical Systems", Künstliche Intelligenz, vol. 30, no. 1, pp. 71-75, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0414-8.
DOI:10.1007/s13218-015-0414-8
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo16CompanionTechnology.pdf
61.
S. Biundo, D. Höller, B. Schattenberg and P. Bercher, "Companion-Technology: An Overview", Künstliche Intelligenz, vol. 30, no. 1, pp. 11-20, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0419-3.
DOI:10.1007/s13218-015-0419-3
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016CompanionSurvey.pdf
60.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks" in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), IOS Press, 2016, pp. 225--233.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Bercher16HybridPlanningComplexities.pdf