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

2021

433.
P. Bercher, G. Behnke, M. Kraus, M. R. G. Schiller, D. Manstetten, M. Dambier, M. Dorna, W. Minker, B. Glimm and S. Biundo, "Do It Yourself, but Not Alone: Companion-Technology for Home Improvement – Bringing a Planning-Based Interactive DIY Assistant to Life", Künstliche Intelligenz – Special Issue on NLP and Semantics, 2021.
Weblink:https://rdcu.be/cmGwb
Datei:http://link.springer.com/article/10.1007/s13218-021-00721-x
432.
J. Karalus, A. Halilovic and F. Lindner, "Explanations in, Explanations out: Human-in-the-Loop Social Navigation Learning" in ICDL Workshop on Human aligned Reinforcement Learning for Autonomous Agents and Robots, 2021.
431.
M. Wenzel, T. Liebig and B. Glimm, "HDT Bitmap Triple Indices for Efficient RDF Data Exploration" in Proceedings of the 18th European Semantic Web Conference (ESWC 2021), Springer-Verlag, 2021.
430.
H. Qiu, A. Ayara and B. Glimm, "Ontology-Based Map Data Quality Assurance" in Proceedings of the 18th European Semantic Web Conference (ESWC 2021), Springer-Verlag, 2021.
429.
A. Steigmiller and B. Glimm, "Parallelised ABox Reasoning and Query Answering with Expressive Description Logics" in Proceedings of the 18th European Semantic Web Conference (ESWC 2021), Springer-Verlag, 2021.
428.
A. Steigmiller, B. Glimm and T. Liebig, "Query Answering and Scaling Extensions of Konclude" in Proceedings of the Semantic Reasoning Evaluation Challenge (SemREC 2021), Gunjan Singh and Raghava Mutharaju and Pavan Kapanipathi, Eds. CEUR-WS.org, 2021, pp. 37—43.
Datei:pdfhttps://ceur-ws.org/Vol-3123/paper5.pdf
427.
C. Olz, S. Biundo and P. Bercher, "Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis" in Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI Press, 2021, pp. 11903--11912.
DOI:https://doi.org/10.1609/aaai.v35i13.17414
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2021/Olz21CompoundEffects.pdf
426.
F. Lindner, "Soziale Robotik und KI", Springer, 2021.
425.
C. Olz, E. Wierzba, P. Bercher and F. Lindner, "Towards Improving the Comprehension of HTN Planning Domains by Means of Preconditions and Effects of Compound Tasks" in Proceedings of the 10th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2021), 2021.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2021/Olz2021ComprehendHTNModels.pdf
424.
D. Louise, M. M. Bentzen, F. Lindner and M. Fisher, "Verifiable Machine Ethics in Changing Contexts" in AAAI 2021, 2021.

2020

423.
M. Kraus, F. Fischbach, P. Jansen and W. Minker, "A Comparison of Explicit and Implicit Proactive Dialogue Strategies for Conversational Recommendation" in Proceedings of the 12th International Conference on Language Resources and Evaluation (LREC 2020), ELRA, 2020, pp. 429--435.
Datei:pdfhttps://www.aclweb.org/anthology/2020.lrec-1.54.pdf
422.
H. Qiu, A. Ayara and B. Glimm, "A Knowledge Architecture Layer for Map Data in Autonomous Vehicles" in Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC 2020), IEEE, 2020.
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20a.pdf
421.
H. Qiu, A. Ayara and B. Glimm, "A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving" in Proceedings of the ISWC 2020 Posters & Demonstrations Track, CEUR-WS.org, 2020.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20c.pdf
420.
M. Kraus, N. Wagner and W. Minker, "Effects of Proactive Dialogue Strategies on Human-Computer Trust" in Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalization, ACM, 2020, pp. 107--116.
Datei:https://dl.acm.org/doi/pdf/10.1145/3340631.3394840
419.
F. Lindner, R. Mattmüller and B. Nebel, "Evaluation of the Moral Permissibility of Action Plans", Artificial Intelligence, vol. 287, 2020.
DOI:https://doi.org/10.1016/j.artint.2020.103350
418.
D. Höller, G. Behnke, P. Bercher, S. Biundo, H. Fiorino, D. Pellier and R. Alford, "HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems" in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), AAAI Press, 2020, pp. 9883--9891.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Hoeller2020HDDL.pdf
417.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Plan Repair via Model Transformation" in Proceedings of the 43th German Conference on Artificial Intelligence (KI 2020), Springer, 2020.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Hoeller20Repair.pdf
416.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Planning as Heuristic Progression Search", Journal of Artificial Intelligence Research (JAIR), vol. 67, pp. 835--880, 2020. AAAI Press.
Datei:https://jair.org/index.php/jair/article/view/11282/26578
415.
G. Behnke, P. Bercher, M. Kraus, M. R. G. Schiller, K. Mickeleit, T. Häge, M. Dorna, M. Dambier, W. Minker, B. Glimm and S. Biundo, "New Developments for Robert – Assisting Novice Users Even Better in DIY Projects" in Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), AAAI Press, 2020, pp. 343--347.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Behnke2020DIYAssistant.pdf
414.
G. Behnke, D. Höller, A. Schmid, P. Bercher and S. Biundo, "On Succinct Groundings of HTN Planning Problems" in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), AAAI Press, 2020, pp. 9775--9784.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/AAAI-BehnkeG.1770.pdf
413.
H. Qiu, A. Ayara and B. Glimm, "Ontology-based Processing of Dynamic Maps in Automated Driving" in Proceedings of the 12th International Conference on Knowledge Engineering and Ontology Development (KEOD 2020), SciTePress, 2020.
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20b.pdf
412.
A. Steigmiller, "Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract)" in Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Stefan Borgwardt and Thomas Meyer, Eds. CEUR-WS.org, 2020.
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/StGl20a.pdf
411.
F. Lindner, "Permissibility-under-a-description reasoning for deontological robots" in RoboPhilosophy 2020, 2020.
410.
P. Bercher and C. Olz, "POP ≡ POCL, right? Complexity Results for Partial Order (Causal Link) Makespan Minimization" in Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), AAAI Press, 2020, pp. 9785--9793.
DOI:https://doi.org/10.1609/aaai.v34i06.6530
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Bercher2020POPvsPOCL.pdf
409.
S. Tolmeijer, A. Weiss, M. Hanheide, F. Lindner, T. M. Powers, C. Dixon and M. L. Tielman, "Taxonomy of Trust-Relevant Failures and Mitigation Strategies" in HRI '20: Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction, 2020.
DOI:https://doi.org/10.1145/3319502.3374793
BibTeX downloadXML download