Prof. Dr. Susanne Biundo-Stephan
Prof. Dr.
Susanne
Biundo-Stephan
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. Since 1998, she is a Professor of Computer Science at Ulm University.
Susanne Biundo is 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.
| File: |  https://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.
| File: | http://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.
| File: | https://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.
| File: | https://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.
| File: | https://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 |
| File: | https://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 |
| File: | https://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 |
| File: | https://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 |
| File: | https://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.
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 |
| File: | https://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 |
| File: | 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 |
| File: | https://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.
| File: | http://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 |
| File: | https://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 |
| File: | http://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.
| File: | http://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 |
| File: | https://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 |
| File: | https://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.
| File: | https://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.
| File: | https://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.
| File: | https://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 |
| File: | https://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 |
| File: | https://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.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Bercher16HybridPlanningComplexities.pdf |
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.
| File: | https://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.
| File: | http://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.
| File: | https://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.
| File: | https://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.
| File: | https://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 |
| File: | https://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 |
| File: | https://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 |
| File: | https://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 |
| File: | https://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.
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 |
| File: | https://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 |
| File: | 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 |
| File: | https://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.
| File: | http://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 |
| File: | https://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 |
| File: | http://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.
| File: | http://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 |
| File: | https://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 |
| File: | https://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.
| File: | https://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.
| File: | https://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.
| File: | https://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 |
| File: | https://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 |
| File: | https://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.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Bercher16HybridPlanningComplexities.pdf |