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

2017

366.
Artale, Alessandro and Glimm, Birte and Kontchakov, Roman, Eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017): CEUR Workshop Proceedings.
365.
D. Ponomaryov and M. Soutchanski, "Progression of Decomposed Local-Effect Action Theories", ACM Transactions on Computational Logic, vol. 18, no. 2, pp. 1--41, 2017. ACM, http://doi.acm.org/10.1145/3091119.
DOI:10.1145/3091119
364.
C. Mathieu, M. Klusch and B. Glimm, "QSMat: Query-Based Materialization for Efficient RDF Stream Processing" in Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017), Springer-Verlag, 2017, pp. 159-174.
DOI:10.1007/978-3-319-69548-8_12
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/MaKG17a.pdf
363.
Y. Kazakov, P. Klinov and A. Stupnikov, "Towards Reusable Explanation Services in Protege" 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/KazKliStu17Explanations_DL.pdf
362.
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
361.
B. Glimm, M. R. G. Schiller and F. Schiller, "Testing the Adequacy of Automated Explanations of EL Subsumptions" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), CEUR-WS.org, 2017.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/ScSG17a.pdf
360.
B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm and A. Steigmiller, "The OWL Reasoner Evaluation (ORE) 2015 Competition Report", Journal of Automated Reasoning (JAR), vol. 59, no. 4, pp. 455-482, 2017. https://doi.org/10.1007/s10817-017-9406-8.
DOI:10.1007/s10817-017-9406-8
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/PMGG17a.pdf
359.
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
358.
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
357.
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
356.
Y. Kazakov and D. Ponomaryov, "On the Complexity of Semantic Integration of OWL Ontologies" 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/KazPon17Integration_DL.pdf
355.
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
354.
I. Siegert, F. Schüssel, M. Schmidt, S. Reuter, S. Meudt, G. Layher, G. Krell, T. Hörnle, S. Handrich, A. Al-Hamadi, K. Dietmayer, H. Neumann, G. Palm, F. Schwenker and A. Wendemuth, "Multi-modal Information Processing in Companion-Systems: A Ticket Purchase System" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds. Springer, 2017, pp. 493--500.
DOI:10.1007/978-3-319-43665-4_25
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Siegert2017CompBookTicketSystem.pdf
353.
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
352.
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
351.
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
350.
K. Ulmschneider and B. Glimm, "Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems" in Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017), Rozewski, Przemyslaw and Lange, Christoph, Eds. Berlin, Germany: Springer, 2017, pp. 211--226.
DOI:10.1007/978-3-319-69548-8_15
ISBN:978-3-319-69547-1
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/UlGl17a.pdf
349.
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
348.
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
347.
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
346.
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
345.
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
344.
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
343.
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
342.
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