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

2020

417.
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
416.
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
415.
F. Lindner, "Permissibility-under-a-description reasoning for deontological robots" in RoboPhilosophy 2020, 2020.
414.
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
413.
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
412.
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
411.
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
410.
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
409.
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
408.
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
407.
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
406.
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

2019

405.
G. Behnke, "Hierarchical planning through propositional logic - highly efficient, versatile, and flexible", Dez. 2019.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/thesis_behnke_main.pdf
404.
Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning.
Datei:pdfhttps://icaps19.icaps-conference.org/workshops/Hierarchical-Planning/HPLAN2019Proceedings.pdf
403.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "On Guiding Search in HTN Planning with Classical Planning Heuristics" in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), IJCAI, 2019, pp. 6171--6175.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019ProgressionHeuristics.pdf
402.
G. Behnke, D. Höller, P. Bercher and S. Biundo, "More Succinct Grounding of HTN Planning Problems -- Preliminary Results" in Proceedings of the Second ICAPS Workshop on Hierarchical Planning, 2019, pp. 40--48.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019Grounding.pdf
401.
G. Behnke, D. Höller, P. Bercher, S. Biundo, D. Pellier, H. Fiorino and R. Alford, "Hierarchical Planning in the IPC" in Proceedings of the Workshop on the International Planning Competition, 2019.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019HTNIPC.pdf
400.
D. Höller, G. Behnke, P. Bercher, S. Biundo, H. Fiorino, D. Pellier and R. Alford, "HDDL - A Language to Describe Hierarchical Planning Problems" in Proceedings of the Second ICAPS Workshop on Hierarchical Planning, 2019, pp. 6--14.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019HDDL.pdf
399.
G. Behnke, D. Höller and S. Biundo, "Finding Optimal Solutions in HTN Planning - A SAT-based Approach" in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 2019.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019satoptimal.pdf
398.
C. Olz and P. Bercher, "Eliminating Redundant Actions in Partially Ordered Plans -- A Complexity Analysis" in Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), AAAI Press, 2019, pp. 310--319.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Olz2019StepElimination.pdf
397.
B. Glimm and Y. Kazakov, "Classical Algorithms for Reasoning and Explanation in Description Logics" in Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School, Markus Krötzsch and Daria Stepanova, Eds. Springer, 2019, pp. 1-64.
DOI:10.1007/978-3-030-31423-1_1
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/GliKaz19Classical.pdf
396.
Y. Suryawanshi, H. Qiu, A. Ayara and B. Glimm, "An Ontological Model for Map Data in Automotive Systems" in Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE 2019), IEEE, 2019, pp. 140--147.
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/SQAG19a.pdf
395.
G. Behnke, M. R. G. Schiller, M. Kraus, P. Bercher, M. Schmautz, M. Dorna, M. Dambier, W. Minker, B. Glimm and S. Biundo, "Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects", AI Communications, vol. 32, no. 1, pp. 31-57, 2019. IOS Press.
DOI:10.3233/AIC-180604
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf
394.
A. Steigmiller and B. Glimm, "Absorption-Based Query Entailment Checking for Expressive Description Logics" in Proceedings of the 32nd International Workshop on Description Logics (DL 2019) Band 2373 aus CEUR Workshop Proceedings, CEUR-WS.org, 2019.
Datei:pdfhttp://ceur-ws.org/Vol-2373/paper-25.pdf
393.
A. Steigmiller and B. Glimm, "Absorption-Based Query Answering for Expressive Description Logics" in Proceedings of the 18th International Semantic Web Conference (ISWC 2019) Band 11778 aus Lecture Notes in Computer Science, Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Eds. Cham: Springer International Publishing, 2019, pp. 593--611.
ISBN:978-3-030-30793-6
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/StGl2019-ABQA-ISWC.pdf
BibTeX downloadXML download