This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

2017

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
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Reuter2017CompBookEnvironmentAdaption.pdf
342.
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.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlBr17a.pdf
341.
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

2016

340.
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.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/PMGG16a.pdf
339.
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
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016b.pdf
338.
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
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016Editorial.pdf
337.
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
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/UlGl16a.pdf
336.
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.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16b.pdf
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.
File: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.
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
332.
A. Steigmiller, "Optimisation of tableau-based reasoning systems for expressive description logics", University of Ulm, Germany, 2016.
File:http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-4042-6
331.
P. Bercher and D. Höller, "Interview with David E. Smith" , Künstliche Intelligenz, vol. 30, no. 1, pp. 101--105, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0403-y.
DOI:10.1007/s13218-015-0403-y
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Smith2016Interview.pdf
330.
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
329.
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
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf
328.
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
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016a.pdf
327.
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
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Glim2016a.pdf
326.
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
325.
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
324.
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
323.
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

2015

322.
M. Brenner and B. Glimm, "Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning" in Proceedings of the International Symposium on Companion Technology (ISCT 2015), Sep.2015.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BrGl15a.pdf
321.
B. Glimm, Y. Kazakov, I. Kollia and G. Stamou, "Lower and Upper Bounds for SPARQL Queries over OWL Ontologies" in Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), AAAI Press, 2015.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf
320.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "User-Centered Planning - A Discussion on Planning in the Presence of Human Users" in Proceedings of the First International Symposium on Companion Technology (ISCT 2015), First International Symposium on Companion Technology (ISCT 2015), Ulm, Germany, 23. - 25. September 2015, 2015. pp. 79--82.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15UserCenteredDiscussion.pdf
319.
R. Alford, P. Bercher and D. Aha, "Tight Bounds for HTN planning with Task Insertion" in Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2015. pp. 1502--1508.
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightTIHTNBounds.pdf