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
2024
447.
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.
2023
446.
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 |
445.
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 |
444.
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.
443.
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 |
442.
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 |
2022
441.
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 |
File: |
440.
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.
439.
G. Hannibal and
F. Lindner,
"Towards A Questions-Driven Approach to Explainable Human-Robot Interaction"
in Robophilosophy 2022,
2022.
438.
A. Halilovic and
F. Lindner,
"Explaining Local Path Plans Using LIME"
in 31st International Conference on Robotics in Alpe-Adria-Danube Region (RAAD),
2022.
437.
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.
File: |
436.
F. Lindner,
"Digital Phenotyping and Mobile Sensing",
2022,
pp. 451-454.
435.
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 |
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,
pp. 11903--11912.
DOI: | https://doi.org/10.1609/aaai.v35i13.17414 |
File: |
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.
File: |
430.
F. Lindner,
"Soziale Robotik und KI",
Springer,
2021.
429.
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.
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.
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.
426.
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.
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 |
File: | 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.
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.
File: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/QiAG20b.pdf |