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
2021
426.
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.
425.
D.
Louise,
M. M.
Bentzen,
F.
Lindner and
M.
Fisher,
"Verifiable Machine Ethics in Changing Contexts"
in AAAI 2021,
2021.
2020
424.
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: |
423.
M.
Kraus,
M.
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 |
422.
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.
421.
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.
420.
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 |
419.
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: |
418.
F.
Lindner,
"Permissibility-under-a-description reasoning for deontological robots"
in RoboPhilosophy 2020,
2020.
417.
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 |
416.
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 |
415.
G.
Behnke,
P.
Bercher,
M.
Kraus,
M.
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: |
414.
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 |
413.
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: |
412.
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: |
411.
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 |
410.
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 |
409.
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: |
408.
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 |
407.
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: |
2019
406.
G.
Behnke,
"Hierarchical planning through propositional logic - highly efficient, versatile, and flexible",
Dez.
2019.
Datei: |
405.
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: |
404.
Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning.
Datei: |
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: |
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: |