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

268.
Eiter, Thomas and Glimm, Birte and Kazakov, Yevgeny and Krötzsch, Markus, Eds., Proceedings of the 2013 International Description Logic Workshop (DL 2013), Ulm, Germany, July 23-26, 2013: CEUR Workshop Proceedings.
267.
P. Chaussecourte, B. Glimm, I. Horrocks, B. Motik and L. Pierre, "The Energy Management Adviser at EDF" in Proceedings of the 12th International Semantic Web Conference (ISWC 2013), Springer-Verlag, 2013. pp. 49-64.
DOI:10.1007/978-3-642-41338-4_4
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CGHM13a.pdf
266.
P. Bercher, T. Geier, F. Richter and S. Biundo, "On Delete Relaxation in Partial-Order Causal-Link Planning" in Proceedings of the 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), IEEE Computer Society, 2013. pp. 674--681.
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13SampleFF.pdf
265.
A. Cheptsov, A. Tenschert, P. Schmidt, B. Glimm, M. Matthesius and T. Liebig, "Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing" in Proceedings of the International Workshop on Big Web Data (BigWebData 2013), Axel Tenschert and Alexey Cheptsov, Eds. Springer, 2013.
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CTSG13a.pdf
264.
Y. Kazakov and P. Klinov, "Incremental Reasoning in {OWL EL} without Bookkeeping" in ISWC, Springer, 2013. pp. 232-247.
DOI:10.1007/978-3-642-41335-3_15
File:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_ISWC.pdf
263.
Y. Kazakov and P. Klinov, "Incremental Reasoning in {EL+} without Bookkeeping" in DL, CEUR-WS.org, 2013. pp. 294-315.
File:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_DL.pdf
262.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13b.pdf
261.
Y. Kazakov and P. Klinov, "Experimenting with {ELK} Reasoner on Android" in ORE, CEUR-WS.org, 2013. pp. 68-74.
File:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Android_ORE.pdf
260.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13EncodingPlans.pdf
259.
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:http://persons.iis.nsk.su/files/persons/pages/conceptinterpolation.pdf
258.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13a.pdf

2012

257.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12b.pdf
256.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiGl12a.pdf
255.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Geier12TrackingGoals.pdf
254.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Mueller12HierarchicalFSCsReloaded.pdf
253.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHMS12a.pdf
252.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Elkawkagy12LandmarkStrategies.pdf
251.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Seegebarth12PlanExplanation.pdf
250.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12a.pdf
249.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12b.pdf
248.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12a.pdf
247.
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, May2012. pp. 120--123.
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Bercher12PreferenceHeuristic.pdf
245.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiRG12a.pdf
244.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Schattenberg12PlanningModels.pdf