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

2012

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:pdffileadmin/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.
234.
T. Geier, S. Reuter, K. Dietmayer and S. Biundo, "Track-Person Association Using a First-Order Probabilistic Model" in Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Tools with Artificial Intelligence, Athens, Greece, 2012, pp. 844--851.
DOI:10.1109/ICTAI.2013.101
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Geier2012TrackingB.pdf
233.
F. Nothdurft, F. Honold and P. Kurzok, "Using explanations for runtime dialogue adaptation" in Proceedings of the 14th ACM international conference on Multimodal interaction, 2012, pp. 63--64.
Datei:pdfhttp://delivery.acm.org/10.1145/2390000/2388694/p63-nothdurft.pdf

2011

232.
A. Schulz, B. Schattenberg, M. Woldeit, A. Brechmann, S. Biundo and F. W. Ohl, "Reinforcement learning and planning models for two-way-avoidance and reversal learning" in Proceedings of the Annual Meeting of the Society For Neuroscience, 2011.
231.
T. Liebig and M. Opitz, "Reasoning over Dynamic Data in Expressive Knowledge Bases with Rscale" in Proceedings of Workshop on Ordering and Reasoning (OrdRing 2011), 2011.
Datei:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/ordring11-liebig.pdf
230.
T. Liebig, M. Luther, O. Noppens and M. Wessel, "OWLlink", Journal Semantic Web - Interoperability, Usability, Applicability, vol. 2, no. 1, pp. 23--32, 2011.
DOI:10.3233/SW-2011-0027
Datei:pdfhttp://www.semantic-web-journal.net/sites/default/files/swj64_0.pdf
229.
L. Thao Ly, D. Knuplesch, S. Rinderle-Ma, K. Göser, H. Pfeifer, M. Reichert and P. Dadam, "SeaFlows Toolset - Compliance Verification Made Easy for Process-aware Information Systems" in Information Systems Evolution -- CAiSE Forum 2010, Selected Extended Papers, Aalst, Will and Mylopoulos, John and Sadeh, Norman M. and Shaw, Michael J. and Szyperski, Clemens and Soffer, Pnina and Proper, Erik, Eds. Springer, 2011, pp. 76--91.
Datei:pdfhttp://dbis.eprints.uni-ulm.de/687/1/Ly10_CAiSEForume.pdf
228.
J. Bidot, C. Goumopoulos and I. Calemis, "Using AI planning and late binding for managing service workflows in intelligent environments" in Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), 2011, pp. 156--163.
DOI:10.1109/PERCOM.2011.5767580
227.
S. Biundo, J. Bidot and B. Schattenberg, "Planning in the Real World", Informatik-Spektrum, vol. 34, no. 5, pp. 443--454, 2011. http://www.springerlink.com/content/514981j48161127x/.
DOI:10.1007/s00287-011-0562-7
Datei:pdfhttp://www.springerlink.com/content/514981j48161127x/fulltext.pdf
226.
N. Nikitina, B. Glimm and S. Rudolph, "Wheat and Chaff - Practically Feasible Interactive Ontology Revision" in Proceedings of the 10th International Semantic Web Conference (ISWC 2011), Springer-Verlag, 2011, pp. 487-503.
DOI:10.1007/978-3-642-25073-6_31
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/NiGR11a.pdf
225.
T. Geier and P. Bercher, "On the Decidability of HTN Planning with Task Insertion" in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), AAAI Press, 2011, pp. 1955--1961.
Weblink:http://www.aaai.org/ocs/index.php/IJCAI/IJCAI11/paper/view/3194
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Geier11HybridDecidability.pdf
224.
J. Bidot and S. Biundo, "Artificial Intelligence Planning for Ambient Environments" in Next Generation Intelligence Environments - Ambient Adaptive Systems, Tobias Heinroth and Wolfgang Minker, Eds. Springer, 2011, pp. 195--225.
DOI:10.1007/978-3-319-23452-6_8
223.
S. Biundo, P. Bercher, T. Geier, F. Müller and B. Schattenberg, "Advanced user assistance based on AI planning", Cognitive Systems Research, vol. 12, no. 3-4, pp. 219--236, 2011.
DOI:10.1016/j.cogsys.2010.12.005
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Biundo11AdvancedUserAssistance.pdf
222.
T. Geier and S. Biundo, "Approximate Online Inference for Dynamic Markov Logic Networks" in Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2011, pp. 764--768.
DOI:10.1109/ICTAI.2011.120
Weblink:http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6103411
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Geier11ApproxDMLNs.pdf
221.
M. Elkawkagy, P. Bercher, B. Schattenberg and S. Biundo, "Landmark-Aware Strategies for Hierarchical Planning" in Workshop on Heuristics for Domain-independent Planning (HDIP 2011) at ICAPS 2011, 2011, pp. 73--79.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Elkawkagy11LandmarkStrategies.pdf
220.
F. Müller and S. Biundo, "HTN-Style Planning in Relational POMDPs Using First-Order FSCs" in Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI 2011), Joscha Bach and Stefan Edelkamp, Eds. Springer, 2011, pp. 216--227.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/paper-hierarchicalFOFSCs.pdf
219.
P. Bercher and S. Biundo, "Hybrid Planning with Preferences Using a Heuristic for Partially Ordered Plans" in 26th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2011), 2011.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Bercher11Preferences.pdf
218.
M. Elkawkagy and S. Biundo, "Hybrid Multi-agent Planning" in Proceedings of the of the Ninth German Conference on Multi-Agent System Technologies (MATES 2011), IOS Press, 2011, pp. 16--28.
Weblink:http://www.springerlink.com/content/e73066483x2j7502/
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/Elkawkagy11HybridMultiAgent.pdf

2010

217.
R. Mattmüller, M. Ortlieb, M. Helmert and P. Bercher, "Pattern Database Heuristics for Fully Observable Nondeterministic Planning" in Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), AAAI Press, 2010, pp. 105--112.
Weblink:http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1430
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/Mattmueller10NonDetPlanning.pdf
216.
S. Biundo and A. Wendemuth, "Von kognitiven technischen Systemen zu Companion-Systemen", Künstliche Intelligenz, vol. 24, no. 4, pp. 335--339, 2010. http://www.springerlink.com/content/e558815w08k09531/.
DOI:10.1007/s13218-010-0056-9
Datei:pdfhttp://www.springerlink.com/content/e558815w08k09531/fulltext.pdf
215.
J. Bidot, S. Biundo, T. Heinroth, W. Minker, F. Nothdurft and B. Schattenberg, "Verbal Explanations for Hybrid Planning" in Proceedings of the Conference "Multikonferenz Wirtschaftsinformatik" (MKWI 2010), Teilkonferenz "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2010), Matthias Schumann and Lutz M. Kolbe and Michael H. Breitner and Arne Frerichs, Eds. Universitätsverlag Göttingen, 2010, pp. 2309--2320.
Datei:pdfhttp://webdoc.sub.gwdg.de/univerlag/2010/mkwi/03_anwendungen/planen_scheduling/06_verbal_plan_explanations_for_hybrid_plannings.pdf
214.
Patel-Schneider, Peter F. and Pan, Yue and Hitzler, Pascal and Mika, Peter and Zhang, Lei and Pan, Jeff Z. and Horrocks, Ian and Glimm, Birte, Eds., The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II: Lecture Notes in Computer Science.
ISBN:978-3-642-17748-4
213.
Patel-Schneider, Peter F. and Pan, Yue and Hitzler, Pascal and Mika, Peter and Zhang, Lei and Pan, Jeff Z. and Horrocks, Ian and Glimm, Birte, Eds., The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I: Lecture Notes in Computer Science.
ISBN:978-3-642-17745-3
212.
O. Noppens, M. Luther and T. Liebig, "The OWLlink API: Teaching OWL Components a Common Protocol" in Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010), Evren Sirin and Kendall Clark, Eds. 2010.
Datei:pdfhttp://CEUR-WS.org/Vol-614/owled2010_submission_1.pdf