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

293.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Nothdurft2014ProbabilisticExplanation.pdf
292.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Bercher14PlanRepairExecuteExplain.pdf
291.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14b.pdf
290.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/MUGM14a.pdf
289.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Hoeller2014HtnLanguages.pdf
288.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StLG14a.pdf
287.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Pragst14CyberSecurity.pdf
286.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GHMS14a.pdf
285.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Honold2014HomeTheaterVideo.pdf
284.
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
283.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14a.pdf
282.
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:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KazKli15Advancing-ELK_DL.pdf
281.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14b.pdf
280.
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
279.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14a.pdf
278.
D. Höller, P. Bercher, F. Richter, M. 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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Hoeller14PlanLinearization.pdf
277.
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:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_DL.pdf
276.
Y. Kazakov and P. Klinov, "Goal-Directed Tracing of Inferences in {EL} Ontologies" in ISWC, Springer, 2014. pp. 196--211.
File:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_ISWC.pdf

2013

275.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KoGl13a.pdf
274.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/GKKS13a.pdf
273.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13POCLHeuristics.pdf
272.
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:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/ScGl13a.pdf
271.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13POCLPreferences.pdf
270.
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
269.
D. Ponomaryov and M. Soutchanski, "Progression of Decomposed Situation Calculus Theories" in AAAI, The Twenty-Seventh Conference on Artificial Intelligence, 2013.
File:http://persons.iis.nsk.su/files/persons/pages/decprog-short.pdf