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

2013

261.
A. Steigmiller, B. Glimm and T. Liebig, "Extending Absorption to Nominal Schemas" in Proceedings of the 26th International Description Logic Workshop (DL 2013), CEUR Workshop Proceedings, 2013.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13b.pdf
260.
Y. Kazakov and P. Klinov, "Experimenting with ELK Reasoner on Android" in ORE, CEUR-WS.org, 2013, pp. 68-74.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Android_ORE.pdf
259.
P. Bercher and S. Biundo, "Encoding Partial Plans for Heuristic Search" in Proceedings of the 4th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2013) at ICAPS 2013, 2013, pp. 11--15.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13EncodingPlans.pdf
258.
D. Ponomaryov and D. Vlasov, "Concept Definability and Interpolation in Enriched Models of EL-TBoxes" in Proceedings of the 26th International Workshop on Description Logics (DL 2013), CEUR Workshop Proceedings, 2013.
File:pdfhttp://persons.iis.nsk.su/files/persons/pages/conceptinterpolation.pdf
257.
A. Steigmiller, B. Glimm and T. Liebig, "Nominal Schema Absorption" in Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), AAAI Press/The MIT Press, 2013.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13a.pdf

2012

256.
I. Kollia and B. Glimm, "Cost Based Query Ordering over OWL Ontologies" in Proceedings of the 11th International Semantic Web Conference (ISWC 2012), Springer-Verlag, Nov. 2012, pp. 231-246.
DOI:10.1007/978-3-642-35176-1_15
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12b.pdf
255.
N. Nikitina and B. Glimm, "Hitting the Sweetspot: Economic Rewriting of Knowledge Bases" in Proceedings of the 11th International Semantic Web Conference (ISWC 2012), Springer-Verlag, Nov. 2012, pp. 394-409.
DOI:10.1007/978-3-642-35176-1_25
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiGl12a.pdf
254.
T. Geier, S. Reuter, K. Dietmayer and S. Biundo, "Goal-Based Person Tracking Using a First-Order Probabilistic Model" in Proceedings of the Ninth UAI Bayesian Modeling Applications Workshop (UAI-AW 2012), Aug. 2012.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Geier12TrackingGoals.pdf
253.
F. Müller, C. Späth, T. Geier and S. Biundo, "Exploiting Expert Knowledge in Factored POMDPs" in Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), IOS Press, Aug. 2012, pp. 606--611.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Mueller12HierarchicalFSCsReloaded.pdf
252.
B. Glimm, I. Horrocks, B. Motik, R. Shearer and G. Stoilos, "A Novel Approach to Ontology Classification", Journal of Web Semantics: Science, Services and Agents on the World Wide Web, vol. 14, pp. 84-101, Jul. 2012. Elsevier Science Publishers (North-Holland).
DOI:10.1016/j.websem.2011.12.007
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHMS12a.pdf
251.
M. Elkawkagy, P. Bercher, B. Schattenberg and S. Biundo, "Improving Hierarchical Planning Performance by the Use of Landmarks" in Proceedings of the 26th AAAI Conference on Artificial Intelligence ({AAAI} 2012), AAAI Press, Jul. 2012, pp. 1763--1769.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Elkawkagy12LandmarkStrategies.pdf
250.
B. Seegebarth, F. Müller, B. Schattenberg and S. Biundo, "Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations" in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), AAAI Press, Jun. 2012, pp. 225--233.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Seegebarth12PlanExplanation.pdf
249.
I. Kollia and B. Glimm, "Cost Based Query Ordering over OWL Ontologies" in Proceedings of the 25th International Description Logic Workshop (DL 2012), Jun. 2012.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12a.pdf
248.
A. Steigmiller, T. Liebig and B. Glimm, "Extended Caching and Backjumping for Expressive Description Logics" in Proceedings of the 25th International Description Logic Workshop (DL 2012), Jun. 2012.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12b.pdf
247.
A. Steigmiller, T. Liebig and B. Glimm, "Extended Caching, Backjumping and Merging for Expressive Description Logics" in Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012), Jun. 2012, pp. 514-529.
DOI:10.1007/978-3-642-31365-3_40
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12a.pdf
246.
P. Bercher and S. Biundo, "A Heuristic for Hybrid Planning with Preferences" in Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2012), AAAI Press, May 2012, pp. 120--123.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Bercher12PreferenceHeuristic.pdf
244.
N. Nikitina, S. Rudolph and B. Glimm, "Interactive Ontology Revision", Journal of Web Semantics: Science, Services and Agents on the World Wide Web, vol. 12-13, pp. 118-130, Apr. 2012. Elsevier Science Publishers (North-Holland), Amsterdam, http://www.sciencedirect.com/science/article/pii/S1570826811001028.
DOI:10.1016/j.websem.2011.12.002
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiRG12a.pdf
243.
B. Schattenberg, A. L. Schulz, A. Brechmann, F. W. Ohl and S. Biundo, "Planning Models for Two-Way Avoidance and Reversal Learning" in Proceedings of the 7th Vienna International Conference on Mathematical Modelling (MATHMOD 2012), Vienna, Austria, Feb. 2012.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Schattenberg12PlanningModels.pdf
242.
A. Wendemuth and S. Biundo, "A Companion Technology for Cognitive Technical Systems" in Cognitive Behavioural Systems: COST 2102 International Training School, Revised Selected Papers, Anna Esposito, Alessandro Vinciarelli, Rüdiger Hoffman, Vincent C. Müller, Eds. Springer Berlin Heidelberg, 2012, pp. 89--103.
DOI:10.1007/978-3-642-34584-5_7
241.
A. Steigmiller, T. Liebig and B. Glimm, "Extended Caching, Backjumping and Merging for Expressive Description Logics" , 2012.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui/Ulmer_Informatik_Berichte/2012/UIB-2012-01.pdf
240.
F. Honold, F. Schüssel, F. Nothdurft and P. Kurzok, "Companion technology for multimodal interaction" in Proceedings of the 14th ACM international conference on Multimodal interaction, 2012, pp. 67--68.
File:pdfhttp://delivery.acm.org/10.1145/2390000/2388696/p67-honold.pdf
239.
Glimm, Birte and Krüger, Antonio, Eds., KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings: Lecture Notes in Artificial Intelligence.
ISBN:978-3-642-33346-0
238.
Y. Kazakov, M. Krötzsch and F. Simančík, "ELK: A Reasoner for OWL EL Ontologies" , 2012.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12ELK_TR.pdf
237.
Y. Kazakov, M. Krötzsch and F. Simančík, "ELK Reasoner: Architecture and Evaluation" in Proceedings of the 1st International Workshop on OWL Reasoner Evaluation ({ORE} 2012), 2012.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12ELK_ORE.pdf