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
2020
418.
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: |  https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Hoeller2020HDDL.pdf |
417.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Hoeller20Repair.pdf |
416.
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 |
415.
G. Behnke,
P. Bercher,
M. Kraus,
M. R. G. 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.
414.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/AAAI-BehnkeG.1770.pdf |
413.
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 |
412.
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.
| Weblink: | http://ceur-ws.org/Vol-2663/abstract-21.pdf - - "CEUR WS" |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/StGl20a.pdf |
411.
F. Lindner,
"Permissibility-under-a-description reasoning for deontological robots"
in RoboPhilosophy 2020,
2020.
410.
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.
| DOI: | https://doi.org/10.1609/aaai.v34i06.6530 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/Bercher2020POPvsPOCL.pdf |
409.
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 |
408.
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.
407.
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.
406.
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.
| Weblink: | https://dl.acm.org/doi/pdf/10.1145/3382507.3418818 - - "Link to the Conference Paper" |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2020/KSBB20a.pdf |
2019
405.
G. Behnke,
"Hierarchical planning through propositional logic - highly efficient, versatile, and flexible",
Dez.
2019.
| Weblink: | t3://file?uid=418459 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/thesis_behnke_main.pdf |
404.
M. Kraus,
M. R. G. Schiller,
G. Behnke,
P. Bercher,
S. Biundo,
B. Glimm and
W. Minker,
"9th International Workshop on Spoken Dialogue Systems",
Rafael Banchs and Luis Fernando D'Haro and Haizhou Li, Eds.
Springer,
2019.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Kraus2019CloudCompanion.pdf |
403.
P. Bercher,
R. Alford and
D. Höller,
"A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations"
in Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019),
IJCAI,
2019,
pp. 6267-6275.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Bercher2019HierarchicalPlanningSurvey.pdf |
402.
A. Steigmiller and
B. Glimm,
"Absorption-Based Query Answering for Expressive Description Logics"
in Proceedings of the 18th International Semantic Web Conference (ISWC 2019) Band 11778 aus Lecture Notes in Computer Science,
Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek,Isabel Cruz, Aidan Hogan, Eds.
Cham:
Springer International Publishing,
2019,
pp. 593--611.
| ISBN: | 978-3-030-30793-6 |
| Weblink: | https://link.springer.com/chapter/10.1007%2F978-3-030-30793-6_34 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/StGl2019-ABQA-ISWC.pdf |
401.
A. Steigmiller and
B. Glimm,
"Absorption-Based Query Entailment Checking for Expressive Description
Logics"
in Proceedings of the 32nd International Workshop on Description Logics (DL 2019) Band 2373 aus CEUR Workshop Proceedings,
CEUR-WS.org,
2019.
| Weblink: | http://ceur-ws.org/Vol-2373/paper-25.pdf |
| Datei: | http://ceur-ws.org/Vol-2373/paper-25.pdf |
400.
G. Behnke,
M. R. G. Schiller,
M. Kraus,
P. Bercher,
M. Schmautz,
M. Dorna,
M. Dambier,
W. Minker,
B. Glimm and
S. Biundo,
"Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects",
AI Communications,
vol. 32,
no. 1,
pp. 31-57,
2019.
IOS Press.
| DOI: | 10.3233/AIC-180604 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019bosch.pdf |
399.
Y. Suryawanshi,
H. Qiu,
A. Ayara and
B. Glimm,
"An Ontological Model for Map Data in Automotive Systems"
in Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering (AIKE 2019),
IEEE,
2019,
pp. 140--147.
| Weblink: | https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8791704 - - "Link to conference paper" |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/SQAG19a.pdf |
398.
G. Behnke,
D. Höller and
S. Biundo,
"Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-based HTN Planning"
in Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019),
AAAI Press,
2019,
pp. 7520--7529.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019orderchaos.pdf |
397.
B. Glimm and
Y. Kazakov,
"Classical Algorithms for Reasoning and Explanation in Description
Logics"
in Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School,
Markus Krötzsch and Daria Stepanova, Eds.
Springer,
2019,
pp. 1-64.
| DOI: | 10.1007/978-3-030-31423-1_1 |
| Weblink: | https://doi.org/10.1007/978-3-030-31423-1\_1 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/GliKaz19Classical.pdf |
396.
C. Olz and
P. Bercher,
"Eliminating Redundant Actions in Partially Ordered Plans -- A Complexity Analysis"
in Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019),
AAAI Press,
2019,
pp. 310--319.
| DOI: | 10.1609/icaps.v29i1.3493 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Olz2019StepElimination.pdf |
395.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019satoptimal.pdf |
394.
D. Höller,
G. Behnke,
P. Bercher,
S. Biundo,
H. Fiorino,
D. Pellier and
R. Alford,
"HDDL - A Language to Describe Hierarchical Planning Problems"
in Proceedings of the Second ICAPS Workshop on Hierarchical Planning,
2019,
pp. 6--14.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019HDDL.pdf |