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

2024

459.
C. Olz, A. Lodemann and P. Bercher, "A Heuristic for Optimal Total-Order HTN Planning Based on Integer Linear Programming" in Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024), 2024.
458.
C. Olz, A. Lodemann and P. Bercher, "An ILP Heuristic for Total-Order HTN Planning" in Proceedings of the 7th ICAPS Workshop on Hierarchical Planning (HPlan 2024), 2024.
457.
C. Olz, "Exploring the hierarchy: extracting and exploiting state information of compound tasks in HTN planning", 2024.
DOI:https://doi.org/10.18725/OPARU-53481
Datei:https://oparu.uni-ulm.de/items/e6887ad7-6494-4deb-96c4-81edf63cffac
456.
S. Lin, C. Olz, M. Helmert and P. Bercher, "On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence" in Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024), AAAI Press, 2024, pp. 20203--20211.
DOI:https://doi.org/10.1609/aaai.v38i18.30000
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2024/Lin2024PlanVerificationComplexity.pdf

2023

455.
C. Olz and P. Bercher, "A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements" in Proceedings of the 16th International Symposium on Combinatorial Search (SoCS 2023), AAAI Press, 2023, pp. 65--73.
DOI:https://doi.org/10.1609/socs.v16i1.27284
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Olz23Loohahead.pdf
454.
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), AAAI Press, 2023, pp. 314--323.
DOI:https://doi.org/10.1609/icaps.v33i1.27209
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Olz23ConjunctivePossEffs.pdf
453.
M. Santos-Teixeira, M. Welt and B. Glimm, "Challenges on Deriving Planning Problems from Ontologies" in Proceedings of the PLanning And onTology wOrkshop (PLATO), 2023.
452.
N. Gruber and B. Glimm, "Comparative Research in Stream Reasoning" in Proceedings of the 20th European Semantic Web Conference (ESWC 2023), Springer-Verlag, 2023.
451.
M. Welt, B. Glimm and M. Santos-Teixeira, "Computing Minimal Unsolvable and Maximal Solvable Abstractions of Planning Problems via Hitting Set Trees" in Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2023), 2023.
450.
Y. X. Wu, C. Olz, S. Lin and P. Bercher, "Grounded (Lifted) Linearizer at the IPC 2023: Solving Partial Order HTN Problems by Linearizing Them" in Proceedings of the 11th International Planning Competition: Planner Abstracts – Hierarchical Task Network (HTN) Planning Track (IPC), 2023.
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Wu2023IPCLinearizer.pdf
449.
S. Lin, C. Olz, M. Helmert and P. Bercher, "On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence" in Proceedings of the 6th ICAPS Workshop on Hierarchical Planning (HPlan 2023), 2023.
448.
C. Olz, D. Höller and P. Bercher, "The PANDADealer System for Totally Ordered HTN Planning in the 2023 IPC" in Proceedings of the 11th International Planning Competition: Planner Abstracts – Hierarchical Task Network (HTN) Planning Track (IPC), 2023.
Datei:/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Olz23PandaDealer.pdf

2022

447.
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.
446.
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
445.
M. Illich and B. Glimm, "Computing Concept Referring Expressions with Standard OWL Reasoners" in Proceedings of the 35th International Workshop on Description Logics (DL 2022), Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Eds. CEUR-WS.org, 2022.
Datei:pdfhttps://ceur-ws.org/Vol-3263/paper-14.pdf
444.
B. Glimm, Y. Kazakov and M. Welt, "Concept Abduction for Description Logics" in Proceedings of the 35th International Workshop on Description Logics (DL 2022), Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Eds. CEUR-WS.org, 2022.
Datei:pdfhttps://ceur-ws.org/Vol-3263/paper-11.pdf
443.
J. P. Delgrande, B. Glimm, T. Meyer, M. Truszczynski, M. S. Teixeira and F. Wolter, "Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)", Dagstuhl Reports, vol. 12, no. 7, pp. 62—79, 2022.
DOI:10.4230/DagRep.12.7.62
Datei:https://doi.org/10.4230/DagRep.12.7.62
442.
F. Lindner, "Digital Phenotyping and Mobile Sensing", 2022, pp. 451-454.
441.
A. Halilovic and F. Lindner, "Explaining Local Path Plans Using LIME" in 31st International Conference on Robotics in Alpe-Adria-Danube Region (RAAD), 2022.
440.
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
439.
B. Glimm and Y. Kazakov, "SAT-Based Axiom Pinpointing Revisited" in Proceedings of the 35th International Workshop on Description Logics (DL 2022), Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier, Eds. CEUR-WS.org, 2022.
Datei:pdfhttps://ceur-ws.org/Vol-3263/paper-10.pdf
438.
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.
DOI:https://doi.org/10.1109/RO-MAN53752.2022.9900590
Datei:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2022/Lindner22PlanExplanationBeyondCL.pdf
437.
G. Hannibal and F. Lindner, "Towards A Questions-Driven Approach to Explainable Human-Robot Interaction" in Robophilosophy 2022, 2022.
436.
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.

2021

435.
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.
BibTeX downloadXML download