Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.

Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.

Publikationen des Instituts für Künstliche Intelligenz

2018

382.
F. Richter, "Hierarchical planning under uncertainty", Dissertation, Ulm University, Germany, 2018.
DOI:10.18725/OPARU-5243
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/5300/dissertation_richter.pdf
381.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Plan Repair Using Unmodified Planning Systems" in Proceedings of the First ICAPS Workshop on Hierarchical Planning, 2018, pp. 26--30.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Repair.pdf
380.
P. Bercher, "Hybrid Planning - From Theory to Practice", Dissertation, Ulm University, 2018.
DOI:10.18725/OPARU-5242
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/DissertationBercher.pdf
379.
P. Bercher, "Hybrides Planen — Von der Theorie zur Praxis" in Proc. of Ausgezeichnete Informatikdissertationen, Gesellschaft für Informatik, 2018.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Bercher2018DissertationAbstract.pdf
378.
G. Behnke, M. R. G. Schiller, M. Kraus, P. Bercher, M. Schmautz, M. Dorna, W. Minker, B. Glimm and S. Biundo, "Instructing Novice Users on How to Use Tools in DIY Projects" in Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), IJCAI, 2018, pp. 5805--5807.
DOI:10.24963/ijcai.2018/844
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018DIY.pdf
377.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "Plan and Goal Recognition as HTN Planning" in Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR 2018), 2018, pp. 607--613.
Datei:pdfhttp://www.planrec.org/PAIR/PAIR18/Papers/HollerPair18.pdf
376.
D. Höller, G. Behnke, P. Bercher and S. Biundo, "Plan and Goal Recognition as HTN Planning" in Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018), IEEE Computer Society, 2018, pp. 466--473.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller2018PlanRec.pdf
375.
Pascal Bercher and Daniel Höller and Susanne Biundo and Ron Alford, Eds., Proceedings of the 1st ICAPS Workshop on Hierarchical Planning.
Datei:pdfhttp://icaps18.icaps-conference.org/fileadmin/alg/conferences/icaps18/workshops/workshop08/docs/HierarchicalPlanningProceedings.pdf
374.
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
373.
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
372.
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
371.
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
370.
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
369.
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

368.
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
367.
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
366.
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
365.
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
364.
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
363.
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
362.
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
361.
F. Nothdurft, P. Bercher, G. Behnke and W. Minker, "Dialogues with Social Robots: Enablements, Analyses, and Evaluation" in Dialogues with Social Robots: Enablements, Analyses, and Evaluation, Kristiina Jokinen and Graham Wilcock, Eds. Springer, 2017, pp. 129--141.
DOI:10.1007/978-981-10-2585-3_10
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Nothdurft2016UserInvolvement.pdf
360.
Y. Kazakov and P. Skocovsky, "Enumerating Justifications using Resolution" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), Alessandro Artale and Birte Glimm and Roman Kontchakov, Eds. CEUR-WS.org, 2017.
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazSko17Justifications_DL.pdf
359.
S. Reuter, A. Scheel, T. Geier and K. Dietmayer, "Environment Adaption for Companion-Systems", Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 301--320.
DOI:10.1007/978-3-319-43665-4_15
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Reuter2017CompBookEnvironmentAdaption.pdf
358.
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
BibTeX downloadXML download