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

2014

282.
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
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Hoeller2014HtnLanguages.pdf
281.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/MUGM14a.pdf
280.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14b.pdf
279.
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
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Bercher14PlanRepairExecuteExplain.pdf
278.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Nothdurft2014ProbabilisticExplanation.pdf
277.
F. Nothdurft, F. Richter and W. Minker, "Probabilistic Human-Computer Trust Handling" in Proceedings of the 15th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL), Association for Computational Linguistics, 2014, pp. 51--59.
Datei:pdfhttp://www.aclweb.org/anthology/W/W14/W14-4307.pdf
276.
A. Steigmiller, B. Glimm and T. Liebig, "Reasoning with Nominal Schemas through Absorption", Journal of Automated Reasoning, vol. 53, no. 4, pp. 351-405, 2014. Springer-Verlag, http://link.springer.com/article/10.1007/s10817-014-9310-4.
DOI:10.1007/s10817-014-9310-4
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14c.pdf
275.
Y. Kazakov, M. Krötzsch and F. Simančík, "The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies", JAR, vol. 53, no. 1, pp. 1-61, 2014.
DOI:10.1007/s10817-013-9296-3
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKroSim13ELK_JAR.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
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KoGl13a.pdf
273.
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.
Datei:pdfhttp://persons.iis.nsk.su/files/persons/pages/conceptinterpolation.pdf
272.
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.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13EncodingPlans.pdf
271.
Y. Kazakov and P. Klinov, "Experimenting with ELK Reasoner on Android" in ORE, CEUR-WS.org, 2013, pp. 68-74.
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Android_ORE.pdf
270.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13b.pdf
269.
Y. Kazakov and P. Klinov, "Incremental Reasoning in EL+ without Bookkeeping" in DL, CEUR-WS.org, 2013, pp. 294-315.
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_DL.pdf
268.
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
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_ISWC.pdf
267.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CTSG13a.pdf
266.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13a.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.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13SampleFF.pdf
264.
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.
263.
D. Ponomaryov and M. Soutchanski, "Progression of Decomposed Situation Calculus Theories" in AAAI, The Twenty-Seventh Conference on Artificial Intelligence, 2013.
Datei:pdfhttp://persons.iis.nsk.su/files/persons/pages/decprog-short.pdf
262.
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
261.
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.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13POCLPreferences.pdf
260.
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
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CGHM13a.pdf
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
BibTeX downloadXML download