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

2014

282.
B. Glimm, Y. Kazakov, T. Liebig, T. Tran and V. Vialard, "Abstraction Refinement for Ontology Materialization" in Proceedings of the 27th International Workshop on Description Logics (DL 2014), CEUR-WS.org, 2014. pp. 180-195.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14a.pdf
281.
B. Glimm, I. Horrocks, B. Motik, G. Stoilos and Z. Wang, "HermiT: An OWL 2 Reasoner" , Journal of Automated Reasoning (JAR), vol. 53, no. 3, pp. 245-269, 2014. http://link.springer.com/article/10.1007%2Fs10817-014-9305-1.
DOI:10.1007/s10817-014-9305-1
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GHMS14a.pdf
280.
Y. Kazakov and P. Klinov, "Bridging the Gap between Tableau and Consequence-Based Reasoning" in DL, Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Eds. CEUR-WS.org, 2014. pp. 579-590.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KazKli15Advancing-ELK_DL.pdf
279.
B. Glimm, Y. Kazakov, T. Liebig, T. Tran and V. Vialard, "Abstraction Refinement for Ontology Materialization" in Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Springer-Verlag, 2014. pp. 180-195.
DOI:10.1007/978-3-319-11915-1_12
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14b.pdf
278.
T. Geier, F. Richter and S. Biundo, "Conditioned Belief Propagation Revisited" 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. 1011-1012.
DOI:10.3233/978-1-61499-419-0-1011
277.
A. Steigmiller, B. Glimm and T. Liebig, "Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures" in Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Stéphane Demri, Deepak Kapur and Christoph Weidenbach, Eds. Springer-Verlag, 2014. pp. 449-463.
DOI:10.1007/978-3-319-08587-6_35
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14a.pdf
276.
D. Höller, P. Bercher, F. Richter, M. R. G. Schiller, T. Geier and S. Biundo, "Finding User-friendly Linearizations of Partially Ordered Plans" 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/Hoeller14PlanLinearization.pdf
275.
Y. Kazakov and P. Klinov, "Goal-Directed Tracing of Inferences in EL Ontologies" in ISWC, Springer, 2014. pp. 196--211.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_ISWC.pdf

2013

274.
I. Kollia and B. Glimm, "Optimizing SPARQL Query Answering over OWL Ontologies" , Journal of Artificial Intelligence Research (JAIR), vol. 48, pp. 253-303, Sep. 2013. https://www.jair.org/media/3872/live-3872-7402-jair.pdf.
DOI:10.1613/jair.3872
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KoGl13a.pdf
273.
B. Glimm, Y. Kazakov, I. Kollia and G. Stamou, "Using the TBox to Optimise SPARQL Queries" in Proceedings of the 2013 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/GKKS13a.pdf
272.
P. Bercher, T. Geier and S. Biundo, "Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning" in Advances in Artificial Intelligence, Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013), Springer, 2013. pp. 1--12.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13POCLHeuristics.pdf
271.
M. R. G. Schiller and B. Glimm, "Towards Explicative Inference for OWL" in Proceedings of the 2013 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/ScGl13a.pdf
270.
P. Bercher, F. Ginter and S. Biundo, "Search Strategies for Partial-Order Causal-Link Planning with Preferences" in 27th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2013), 2013. pp. 29--40.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13POCLPreferences.pdf
269.
M. Glodek, T. Geier, S. Biundo, F. Schwenker and G. Palm, "Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic" in Proceedings of the 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), 2013. pp. 648-653.
DOI:10.1109/ICTAI.2013.101
268.
D. Ponomaryov and M. Soutchanski, "Progression of Decomposed Situation Calculus Theories" in AAAI, The Twenty-Seventh Conference on Artificial Intelligence, 2013.
File:pdfhttp://persons.iis.nsk.su/files/persons/pages/decprog-short.pdf
267.
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.
266.
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:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CGHM13a.pdf
265.
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:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13SampleFF.pdf
264.
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
263.
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
262.
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
261.
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
260.
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
259.
Y. Kazakov and P. Klinov, "Incremental Reasoning in EL+ without Bookkeeping" in DL, CEUR-WS.org, 2013. pp. 294-315.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_DL.pdf
258.
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:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_ISWC.pdf