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

2023

442.
C. Olz and P. Bercher, "Can They Come Together? A Computational Complexity Analysis of Conjunctive Possible Effects of Compound HTN Planning Tasks" in Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023), 2023.

2022

441.
M. Illich and B. Glimm, "Computing Concept Referring Expressions for Queries on Horn ALC Ontologies" in Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2022), Morgan Kaufmann, 2022.
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2022/IlGl22a.pdf
440.
F. Lindner, "Digital Phenotyping and Mobile Sensing", 2022, pp. 451-454.
439.
A. Halilovic and F. Lindner, "Explaining Local Path Plans Using LIME" in 31st International Conference on Robotics in Alpe-Adria-Danube Region (RAAD), 2022.
438.
C. Olz and P. Bercher, "On the Efficient Inference of Preconditions and Effects of Compound Tasks in Partially Ordered HTN Planning Domains" in Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022), 2022, pp. 47--51.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2022/Olz2022POPrecsAndEffects.pdf
437.
F. Lindner and C. Olz, "Step-by-Step Task Plan Explanations Beyond Causal Links" in 2022 31st IEEE International Conference on Robot & Human Interactive Communication (RO-MAN), IEEE, 2022, pp. 45--51.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2022/Lindner22PlanExplanationBeyondCL.pdf
436.
G. Hannibal and F. Lindner, "Towards A Questions-Driven Approach to Explainable Human-Robot Interaction" in Robophilosophy 2022, 2022.
435.
B. Krarup, F. Lindner, S. Krivic and D. Long, "Understanding a Robot’s Guiding Ethical Principles via Automatically Generated Explanations" in IEEE International Conference on Automation Science and Engineering (CASE), 2022.
434.
J. Karalus and F. Lindner, "Accelerating the Learning of TAMER with Counterfactual Explanations" in The 2022 IEEE International Conference on Development and Learning (ICDL 2022), 2022.

2021

433.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2021/Olz21CompoundEffects.pdf
432.
D. Louise, M. M. Bentzen, F. Lindner and M. Fisher, "Verifiable Machine Ethics in Changing Contexts" in AAAI 2021, 2021.
431.
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
430.
F. Lindner, "Soziale Robotik und KI", Springer, 2021.
429.
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.
428.
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.
427.
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.
426.
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.
425.
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
424.
J. Karalus and F. Lindner, "Accelerating the Convergence of Human-in-the-Loop Reinforcement Learning with Counterfactual Explanations" in ICML Workshop on Human in the Loop Learning (HILL), 2021.

2020

423.
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
422.
M. Kraus, M. R. G. Schiller, G. Behnke, P. Bercher, M. Dorna, M. Dambier, B. Glimm, S. Biundo and W. Minker, "Was that successful? On Integrating Proactive Meta-Dialogue in a DIY-Assistant System using Multimodal Cues" in Proceedings of 22nd ACM International Conference on Multimodal Interaction (ICMI 2020), ACM, 2020.
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/KSBB20a.pdf
421.
B. Krarup, S. Krivic, F. Lindner and D. Long, "Towards Contrastive Explanations for Comparing the Ethics of Plans" in Against Robot Dystopias: Thinking through the ethical, legal and societal issues of robotics and automation (AGAINST-20), Workshop at ICRA 2020, 2020.
420.
F. Lindner, "Towards a Formalization of Explanations for Robots’ Actions and Beliefs" in JOWO 2020 Proceedings of the FOIS Workshop Ontologies for Autonomous Robotics (ROBONTICS 2020), 2020.
419.
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
418.
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.
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Bercher2020POPvsPOCL.pdf
BibTeX downloadXML download