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

294.
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
293.
P. Bercher, S. Keen and S. Biundo, "Hybrid Planning Heuristics Based on Task Decomposition Graphs" in Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014), AAAI Press, 2014, pp. 35--43.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Bercher14HybridHeuristics.pdf
292.
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
291.
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
290.
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
289.
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
288.
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
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
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Pragst14CyberSecurity.pdf
286.
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
285.
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
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GHMS14a.pdf
284.
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.
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KazKli15Advancing-ELK_DL.pdf
283.
Y. Kazakov and P. Klinov, "Goal-Directed Tracing of Inferences in EL Ontologies" in ISWC, Springer, 2014, pp. 196--211.
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_ISWC.pdf
282.
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
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
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14b.pdf
280.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14a.pdf
279.
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
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Honold2014HomeTheaterVideo.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
Datei: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
Datei: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 DL, Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Eds. CEUR-WS.org, 2014, pp. 221-232.
Datei:pdf/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_DL.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.
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
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.
Datei: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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/ScGl13a.pdf
270.
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
BibTeX downloadXML download