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

349.
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
348.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher17AdmissibleHTNHeuristic.pdf
347.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Nothdurft2016UserInvolvement.pdf
346.
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:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazSko17Justifications_DL.pdf
345.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Reuter2017CompBookEnvironmentAdaption.pdf
344.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Challenge.pdf
343.
M. Brenner and B. Glimm, "Incremental Materialization Update via Abstraction Refinement" in Proceedings of the 30th International Workshop on Description Logics (DL 2017), CEUR-WS.org, 2017.
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlBr17a.pdf
342.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/UlGl17a.pdf

2016

341.
B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm and A. Steigmiller, "The OWL Reasoner Evaluation (ORE) 2015 Resources" in Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil, Eds. Springer-Verlag, 2016. pp. 159--167.
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/PMGG16a.pdf
340.
B. Glimm and H. Stuckenschmidt, "Special Issue on Semantic Web" , KI - Künstliche Intelligenz, vol. 30, no. 2, pp. 113--115, 2016. http://dx.doi.org/10.1007/s13218-016-0430-3.
DOI:10.1007/s13218-016-0430-3
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016b.pdf
339.
S. Biundo, D. Höller and P. Bercher, "Special Issue on Companion Technologies" , Künstliche Intelligenz, vol. 30, no. 1, pp. 5-9, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0421-9.
DOI:10.1007/s13218-015-0421-9
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016Editorial.pdf
338.
K. Ulmschneider and B. Glimm, "Semantic Exploitation of Implicit Patent Information" in Proceedings of the 7th IEEE Symposium Series on Computational Intelligence (SSCI'16), Jin, Yaochu and Kollias, Stefanos, Eds. Red Hook, United States: IEEE Computer Society, 2016. pp. 1-8.
DOI:10.1109/SSCI.2016.7849943
ISBN:9781509042395
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/UlGl16a.pdf
337.
B. Glimm, Y. Kazakov and T. Tran, "Scalable Reasoning by Abstraction Beyond DL-Lite" in Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016), Magdalena Ortiz and Stefan Schlobach, Eds. Springer-Verlag, 2016. pp. 77--93.
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16b.pdf
336.
A. Steigmiller, "Optimisation of tableau-based reasoning systems for expressive description logics", University of Ulm, Germany, 2016.
Datei:http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-4042-6
335.
B. Glimm, Y. Kazakov and T. Tran, "Ontology Materialization by Abstraction Refinement in Horn SHOIF" in Proceedings of the 29th International Workshop on Description Logics (DL 2016), CEUR-WS.org, 2016.
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16a.pdf
334.
I. Siegert, S. Reuter, F. Schüssel, G. Layher, T. Hörnle, S. Meudt and A. Wendemuth, "Multimodal Information Processing: The Ticket Purchase - a Demonstration Scenario of the SFB/TRR-62" in Elektronische Sprachsignalverarbeitung 2016. Tagungsband der 27. Konferenz, Jokisch, Oliver, Eds. Leipzig, Germany: TUDpress, 2016. pp. 111--118.
333.
B. Glimm, "Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford" , KI - Künstliche Intelligenz, vol. 30, no. 2, pp. 201--203, 2016. http://dx.doi.org/10.1007/s13218-016-0428-x.
DOI:10.1007/s13218-016-0428-x
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Glim2016a.pdf
332.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Bercher16HybridPlanningComplexities.pdf
331.
Z. Zhou, G. Qi and B. Glimm, "Exploring Parallel Tractability of Ontology Materialization" in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), IOS Press, 2016. pp. 73-81.
DOI:10.3233/978-1-61499-672-9-73
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf
330.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016CompanionSurvey.pdf
329.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo16CompanionTechnology.pdf
328.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Behnke16ChangeThePlan.pdf
327.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Alford16BoundToPlan.pdf
326.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Hoeller16Expressivity.pdf
325.
B. Glimm and H. Stuckenschmidt, "15 Years of Semantic Web: An Incomplete Survey" , KI - Künstliche Intelligenz, vol. 30, no. 2, pp. 117--130, 2016. http://dx.doi.org/10.1007/s13218-016-0424-1.
DOI:10.1007/s13218-016-0424-1
Datei:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016a.pdf