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

2015

307.
B. Glimm, Y. Kazakov, I. Kollia and G. Stamou, "Lower and Upper Bounds for SPARQL Queries over OWL Ontologies" in Proceedings of the 28th International Workshop on Description Logics (DL 2015), CEUR Workshop Proceedings, 2015.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf
306.
Y. Kazakov and P. Klinov, "Advancing ELK: Not Only Performance Matters" in DL, Diego Calvanese and Boris Konev, Eds. CEUR-WS.org, 2015.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KazKli15Advancing-ELK_DL.pdf
305.
F. Richter, T. Geier and S. Biundo, "Believing in POMDPs" in Proceedings of the First International Symposium on Companion Technology (ISCT 2015), First International Symposium on Companion Technology, Ulm, Germany, 23. - 25. September 2015, 2015.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/believingPOMDPs.pdf
304.
G. Behnke, D. Ponomaryov, M. R. G. Schiller, P. Bercher, F. Nothdurft, B. Glimm and S. Biundo, "Coherence Across Components in Cognitive Systems – One Ontology to Rule Them All" in Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015), IJCAI 2015, Buenos Aires, July 25th to July 31st, AAAI Press, 2015. pp. 1442-1449.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BPSB15a.pdf
303.
P. Bercher, F. Richter, T. Hörnle, T. Geier, D. Höller, G. Behnke, F. Nothdurft, F. Honold, W. Minker, M. Weber and S. Biundo, "A Planning-based Assistance System for Setting Up a Home Theater" in Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), AAAI Press, 2015. pp. 4264--4265.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15DemoSystem.pdf
302.
M. Glodek, F. Honold, T. Geier, G. Krell, F. Nothdurft, S. Reuter, F. Schüssel, T. Hörnle, K. Dietmayer, W. Minker, S. Biundo, M. Weber, G. Palm and F. Schwenker, "Fusion paradigms in cognitive technical systems for human–computer interaction" , Neurocomputing, vol. 161, pp. 17 - 37, 2015.
DOI:10.1016/j.neucom.2015.01.076
File:pdfhttp://www.sciencedirect.com/science/article/pii/S0925231215002155/pdfft?md5=0f4a009f3f5ba7b155a82192be2a0dbe&pid=1-s2.0-S0925231215002155-main.pdf
301.
P. Bercher, "Hybrid Planning - Theoretical Foundations and Practical Applications" in Doctoral Consortium at ICAPS 2015, 2015.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15DissertationAbstractDC.pdf
300.
Michel Dumontier and Birte Glimm and Rafael S. Goncalves and Matthew Horridge and Ernesto Jimenez-Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos, Eds., Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015): CEUR Workshop Proceedings.
299.
G. Behnke, P. Bercher, S. Biundo, B. Glimm, D. Ponomaryov and M. R. G. Schiller, "Integrating Ontologies and Planning for Cognitive Systems" in Proceedings of the 28th International Workshop on Description Logics (DL 2015), CEUR Workshop Proceedings, 2015.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BBBG15a.pdf
298.
T. Geier, F. Richter and S. Biundo, "Locally Conditioned Belief Propagation" in Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI), Amsterdam, AUAI Press, 2015. pp. 296--305.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Geier2015Lcbp.pdf

2014

297.
T. Geier, F. Richter and S. Biundo, "Conditioned Belief Propagation Revisited: Extended Version" , Aug. 2014.
File:pdfhttp://vts.uni-ulm.de/docs/2014/9201/vts_9201_13795.pdf
296.
L. Pragst, F. Richter, P. Bercher, B. Schattenberg and S. Biundo, "Introducing Hierarchy to Non-Hierarchical Planning Models – A Case Study for Behavioral Adversary Models" in 28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014), 2014.
Weblink:http://www.puk-workshop.de/puk2014/prog.html
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Pragst14CyberSecurity.pdf
295.
Y. Kazakov, M. Krötzsch and F. Simančík, "The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies" , JAR, vol. 53, no. 1, pp. 1-61, 2014.
DOI:10.1007/s10817-013-9296-3
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKroSim13ELK_JAR.pdf
294.
A. Steigmiller, B. Glimm and T. Liebig, "Reasoning with Nominal Schemas through Absorption" , Journal of Automated Reasoning, vol. 53, no. 4, pp. 351-405, 2014. Springer-Verlag, http://link.springer.com/article/10.1007/s10817-014-9310-4.
DOI:10.1007/s10817-014-9310-4
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14c.pdf
293.
F. Nothdurft, F. Richter and W. Minker, "Probabilistic Human-Computer Trust Handling" in Proceedings of the 15th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL), Association for Computational Linguistics, 2014. pp. 51--59.
File:pdfhttp://www.aclweb.org/anthology/W/W14/W14-4307.pdf
292.
F. Nothdurft, F. Richter and W. Minker, "Probabilistic Explanation Dialog Augmentation" in Proceedings of the 10th International Conference on Intelligent Environments (IE), 2014, IEEE, 2014. pp. 392 - 395.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Nothdurft2014ProbabilisticExplanation.pdf
291.
P. Bercher, S. Biundo, T. Geier, T. Hoernle, F. Nothdurft, F. Richter and B. Schattenberg, "Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater" in Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014) , AAAI Press, 2014. pp. 386--394.
Weblink:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/movie.zip
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Bercher14PlanRepairExecuteExplain.pdf
290.
A. Steigmiller, B. Glimm and T. Liebig, "Optimised Absorption for Expressive Description Logics" in Proceedings of the 27th International Workshop on Description Logics (DL 2014), Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, Eds. CEUR-WS.org, 2014.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14b.pdf
289.
B. Michelberger, K. Ulmschneider, B. Glimm, B. Mutschler and M. Reichert, "Maintaining Semantic Networks: Challenges and Algorithms" in Proceedings of the 16th International Conference on Information Integration and Web-Based Applications & Services (iiWAS 2014), ACM, 2014.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/MUGM14a.pdf
288.
D. Höller, G. Behnke, P. Bercher and S. Biundo, "Language Classification of Hierarchical Planning Problems" in Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, 18-22 August 2014,Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry, Eds. Amsterdam: IOS Press, 2014. pp. 447-452.
DOI:10.3233/978-1-61499-419-0-447
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Hoeller2014HtnLanguages.pdf
287.
A. Steigmiller, T. Liebig and B. Glimm, "Konclude: System Description" , Journal of Web Semantics: Science, Services and Agents on the World Wide Web, vol. 27, no. 1, 2014. http://www.websemanticsjournal.org/index.php/ps/article/view/366/388.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StLG14a.pdf
286.
Y. Kazakov and P. Klinov, "Goal-Directed Tracing of Inferences in EL Ontologies" in DL, Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Eds. CEUR-WS.org, 2014. pp. 221-232.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_DL.pdf
285.
P. Bercher, S. Keen and S. Biundo, "Hybrid Planning Heuristics Based on Task Decomposition Graphs" in Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014), AAAI Press, 2014. pp. 35--43.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Bercher14HybridHeuristics.pdf
284.
F. Honold, P. Bercher, F. Richter, F. Nothdurft, T. Geier, R. Barth, T. Hörnle, F. Schüssel, S. Reuter, M. Rau, G. Bertrand, B. Seegebarth, P. Kurzok, B. Schattenberg, W. Minker, M. Weber and S. Biundo, "Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems" in 10th International Conference on Intelligent Environments (IE 2014), IEEE, 2014. pp. 378--381.
DOI:10.1109/IE.2014.60
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Honold2014HomeTheaterVideo.pdf
283.
M. Glodek, T. Geier, S. Biundo and G. Palm, "A layered architecture for probabilistic complex pattern recognition to detect user preferences" , Neural-Symbolic Networks for Cognitive Capacities, 2014. http://www.sciencedirect.com/science/article/pii/S2212683X14000486.
DOI:10.1016/j.bica.2014.06.003