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

2016

332.
B. Glimm, "Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford" , KI - Künstliche Intelligenz, vol. 30, no. 2, pp. 201--203, 2016. http://dx.doi.org/10.1007/s13218-016-0428-x.
DOI:10.1007/s13218-016-0428-x
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Glim2016a.pdf
331.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks" in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), IOS Press, 2016. pp. 225--233.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Bercher16HybridPlanningComplexities.pdf
330.
Z. Zhou, G. Qi and B. Glimm, "Exploring Parallel Tractability of Ontology Materialization" in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), IOS Press, 2016. pp. 73-81.
DOI:10.3233/978-1-61499-672-9-73
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf
329.
S. Biundo, D. Höller, B. Schattenberg and P. Bercher, "Companion-Technology: An Overview" , Künstliche Intelligenz, vol. 30, no. 1, pp. 11-20, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0419-3.
DOI:10.1007/s13218-015-0419-3
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016CompanionSurvey.pdf
328.
S. Biundo and A. Wendemuth, "Companion-Technology for Cognitive Technical Systems" , Künstliche Intelligenz, vol. 30, no. 1, pp. 71-75, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0414-8.
DOI:10.1007/s13218-015-0414-8
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo16CompanionTechnology.pdf
327.
G. Behnke, D. Höller, P. Bercher and S. Biundo, "Change the Plan - How hard can that be?" in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 26th International Conference on Automated Planning and Scheduling, London, June 12 - 17, 2016, AAAI Press, 2016. pp. 38--46.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Behnke16ChangeThePlan.pdf
326.
R. Alford, G. Behnke, D. Höller, P. Bercher, S. Biundo and D. Aha, "Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems" in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 26th International Conference on Automated Planning and Scheduling, London, June 12 - 17, 2016, AAAI Press, 2016. pp. 20--28.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Alford16BoundToPlan.pdf
325.
D. Höller, G. Behnke, P. Bercher and S. Biundo, "Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages" in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), 26th International Conference on Automated Planning and Scheduling, London, June 12 - 17, 2016, AAAI Press, 2016. pp. 158--165.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Hoeller16Expressivity.pdf
324.
B. Glimm and H. Stuckenschmidt, "15 Years of Semantic Web: An Incomplete Survey" , KI - Künstliche Intelligenz, vol. 30, no. 2, pp. 117--130, 2016. http://dx.doi.org/10.1007/s13218-016-0424-1.
DOI:10.1007/s13218-016-0424-1
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016a.pdf
323.
P. Bercher and D. Höller, "Interview with David E. Smith" , Künstliche Intelligenz, vol. 30, no. 1, pp. 101--105, 2016. Springer, http://link.springer.com/article/10.1007/s13218-015-0403-y.
DOI:10.1007/s13218-015-0403-y
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Smith2016Interview.pdf

2015

322.
M. Brenner and B. Glimm, "Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning" in Proceedings of the International Symposium on Companion Technology (ISCT 2015), Sep. 2015.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BrGl15a.pdf
321.
F. Nothdurft, G. Behnke, P. Bercher, S. Biundo and W. Minker, "The Interplay of User-Centered Dialog Systems and AI Planning" in Proceedings of the 16th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL), Prague, Czech Republic, Association for Computational Linguistics, 2015. pp. 344--353.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Nothdurft15MIP.pdf
320.
M. Kotzyba, D. Ponomaryov, T. Low, M. Thiel and A. Nürnberger, "Ontology-supported Exploratory Search for Physical Training Exercises" in Proceedings of the ISWC 2015 Posters & Demonstrations Track, CEUR-WS.org, 2015.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KPLT15a.pdf
319.
A. Steigmiller and B. Glimm, "Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures" , Journal of Artificial Intelligence Research, vol. 54, pp. 535--592, 2015. http://jair.org/media/4897/live-4897-9009-jair.pdf.
DOI:10.1613/jair.4897
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGl15b.pdf
318.
T. Hörnle and M. Tornow, "Reference Architecture Approach for Companion-Systems" in Proc. of the Int. Symposium on Companion Technology (ISCT 2015), 2015.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Hoernle15Architecture.pdf
317.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "User-Centered Planning - A Discussion on Planning in the Presence of Human Users" in Proceedings of the First International Symposium on Companion Technology (ISCT 2015), First International Symposium on Companion Technology (ISCT 2015), Ulm, Germany, 23. - 25. September 2015, 2015. pp. 79--82.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15UserCenteredDiscussion.pdf
316.
B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm and A. Steigmiller, "The OWL Reasoner Evaluation (ORE) 2015 Competition Report" in Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 14th International Semantic Web Conference (ISWC 2015), Thorsten Liebig and Achille Fokoue, Eds. CEUR-WS.org, 2015. pp. 2-15.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/PMGG15a.pdf
315.
R. Alford, P. Bercher and D. Aha, "Tight Bounds for HTN Planning" in Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), AAAI Press, 2015. pp. 7--15.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightHTNBounds.pdf
314.
R. Alford, P. Bercher and D. Aha, "Tight Bounds for HTN planning with Task Insertion" in Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2015. pp. 1502--1508.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightTIHTNBounds.pdf
313.
R. Alford, P. Bercher and D. Aha, "Tight Bounds for HTN planning with Task Insertion (Extended Abstract)" in Proceedings of the Eighth Annual Symposium on Combinatorial Search (SoCS), AAAI Press, 2015. pp. 221--222.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightTIHTNBoundsAbstract.pdf
312.
K. Ulmschneider, B. Michelberger, B. Glimm, B. Mutschler and M. Reichert, "On Maintaining Semantic Networks: Challenges, Algorithms, Use Cases" , International Journal of Web Information Systems, vol. 11, no. 3, pp. 291-326, 2015. http://dx.doi.org/10.1108/IJWIS-04-2015-0014.
DOI:10.1108/IJWIS-04-2015-0014
311.
G. Behnke, D. Höller and S. Biundo, "On the Complexity of HTN Plan Verification and its Implications for Plan Recognition" in Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), 25th International Conference on Automated Planning and Scheduling, Jerusalem, 7-11 June 2015,Ronen Brafman, Carmel Domshlak, Patrik Haslum, Shlomo Zilberstein, Eds. AAAI Press, 2015. pp. 25-33.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke2015HTNVerification.pdf
310.
G. Behnke, M. R. G. Schiller, D. Ponomaryov, F. Nothdurft, P. Bercher, W. Minker, B. Glimm and S. Biundo, "A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning" in Proceedings of the First International Symposium on Companion Technology (ISCT 2015), First International Symposium on Companion Technology (ISCT 2015), Ulm, Germany, 23. - 25. September 2015, 2015. pp. 43--48.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke15MIPDiscussion.pdf
309.
B. Glimm, Y. Kazakov, I. Kollia and G. Stamou, "Lower and Upper Bounds for SPARQL Queries over OWL Ontologies" in Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), AAAI Press, 2015.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf
308.
A. Steigmiller, B. Glimm and T. Liebig, "Completion Graph Caching for Expressive Description Logics" in Proceedings of the 28th International Workshop on Description Logics (DL 2015), CEUR Workshop Proceedings, 2015.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGL15a.pdf