This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.
Please note that there is also a list of all students' theses written at our institute.
Publications of the Institute of Artificial Intelligence
2026
468.
A. Pirwass,
B. Glimm,
M. Munz and
H. Wilke,
"Do We Really Need Diffusion? A Fast U-Net for Paired Medical Image Translation"
in Proceedings of KI 2026: Advances in Artificial Intelligence,
Wolter, D., Schwalbe, G., Eds.
Springer,
2026.
| DOI: | 10.1007/978-3-032-32335-4_8 |
| ISBN: | 978-3-032-32334-7 |
| Weblink: | https://link.springer.com/chapter/10.1007/978-3-032-32335-4_8 |
2025
467.
C. Olz,
A. Lodemann,
B. Jutz,
M. Schmautz,
M. Borowiec,
S. Biundo and
P. Bercher,
"An Extensive Empirical Evaluation of Inferring Preconditions and Effects of Compound Tasks in Ground HTN Planning Problems",
Journal of Artificial Intelligence Research,
vol. 82,
pp. 1407-1444,
Mar.
2025.
https://jair.org/index.php/jair/article/view/17279.
| DOI: | 10.1613/jair.1.17279 |
| File: | https://jair.org/index.php/jair/article/view/17279/27150 |
466.
2025.
465.
A. Pirwass,
B. Glimm,
M. Munz and
H. Wilke,
"Automatability and validity of methods for the quantification of intra-/Intermuscular adipose tissue in conventional MRI: a systematic review",
BMC Medical Imaging,
vol. 25,
no. 1,
pp. 499,
2025.
Springer,
https://link.springer.com/article/10.1186/s12880-025-02037-w#citeas.
| DOI: | 10.1186/s12880-025-02037-w |
| ISBN: | 1471-2342 |
464.
M. Illich and
B. Glimm,
"Backward/Forward with Marking for Update Streams"
in Proceedings of the 38th International Workshop on Description Logics,
CEUR-WS.org,
2025.
| Weblink: | https://ceur-ws.org/Vol-4091/paper21.pdf |
463.
M. Welt,
A. Lodemann,
C. Olz,
P. Bercher and
B. Glimm,
"Calculating Optimal Corrections for Unsolvable Planning Problems"
in Proceedings of the 28th European Conference on Artificial Intelligence (ECAI 2025),
IOS Press,
2025.
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2025/Welt2025Unsolvable.pdf |
462.
M. Illich and
B. Glimm,
"Delete/Rederive with Marking for Update Streams"
in The Semantic Web. ESWC 2025,
Springer,
2025,
pp. 152–168.
| DOI: | 10.1007/978-3-031-94575-5_9 |
| ISBN: | 978-3-031-94574-8 |
| Weblink: | https://link.springer.com/chapter/10.1007/978-3-031-94575-5_9 |
2024
461.
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),
IOS Press,
2024,
pp. 4303--4310.
| DOI: | 10.3233/FAIA241005 |
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2024/Olz24ILP.pdf |
460.
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.
459.
J. P. Delgrande,
B. Glimm,
T. Meyer,
M. Truszczynski and
F. Wolter,
"Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282)",
Dagstuhl Manifestos,
vol. 10,
no. 1,
pp. 1-61,
2024.
| DOI: | 10.4230/DAGMAN.10.1.1 |
458.
C. Olz,
"Exploring the hierarchy: extracting and exploiting state information of compound tasks in HTN planning",
2024.
| DOI: | 10.18725/OPARU-53481 |
| File: | https://oparu.uni-ulm.de/items/e6887ad7-6494-4deb-96c4-81edf63cffac |
457.
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 |
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2024/Lin2024PlanVerificationComplexity.pdf |
2023
456.
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 |
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Olz23Loohahead.pdf |
455.
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 |
| File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2023/Olz23ConjunctivePossEffs.pdf |
454.
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.
453.
N. Gruber and
B. Glimm,
"Comparative Research in Stream Reasoning"
in Proceedings of the 20th European Semantic Web Conference (ESWC 2023),
Springer-Verlag,
2023.
452.
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.
451.
M. Illich and
B. Glimm,
"Fully Dynamic Materialization Maintenance"
in Proceedings of the 36th International Workshop on Description Logics,
CEUR-WS.org,
2023.
| Weblink: | https://ceur-ws.org/Vol-3515/paper-15.pdf |
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.
| File: | /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.
| File: | /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.
| File: | /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.
| File: |  https://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.
| File: | https://ceur-ws.org/Vol-3263/paper-11.pdf |