Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.

Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.

Publikationen des Instituts für Künstliche Intelligenz

2013

259.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/ScGl13a.pdf
258.
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.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13POCLHeuristics.pdf
257.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/GKKS13a.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
Datei: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
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiGl12a.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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Mueller12HierarchicalFSCsReloaded.pdf
253.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Geier12TrackingGoals.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
Datei: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.
Datei: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.
Datei: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.
Datei: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.
Datei: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
Datei: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, Mai 2012, pp. 120--123.
Datei: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
Datei: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.
Datei: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.
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.
Datei:pdfhttp://delivery.acm.org/10.1145/2390000/2388696/p67-honold.pdf
240.
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.
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12ELK_ORE.pdf
239.
Y. Kazakov, M. Krötzsch and F. Simančík, "ELK: A Reasoner for OWL EL Ontologies" , 2012.
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12ELK_TR.pdf
238.
A. Steigmiller, T. Liebig and B. Glimm, "Extended Caching, Backjumping and Merging for Expressive Description Logics" , 2012.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui/Ulmer_Informatik_Berichte/2012/UIB-2012-01.pdf
237.
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
236.
Y. Kazakov, M. Krötzsch and F. Simančík, "Practical Reasoning with Nominals in the EL Family of Description Logics" in Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2012), Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, Eds. AAAI Press, 2012.
ISBN:978-1-57735-560-1
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KazKroSim12NominalsEL_KR.pdf
235.
Glimm, Birte and Huynh, David, Eds., Proceedings of the ISWC 2012 Posters & Demonstrations Track, Boston, USA, November 11-15, 2012: CEUR Workshop Proceedings.
BibTeX downloadXML download