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
2017
358.
G. Behnke,
B. Leichtmann,
P. Bercher,
D. Höller,
V. Nitsch,
M. Baumann and
S. Biundo,
"Help me make a dinner! Challenges when assisting humans in action planning"
in Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017),
IEEE,
2017.
| Datei: |  http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Challenge.pdf |
357.
M. Brenner and
B. Glimm,
"Incremental Materialization Update via Abstraction Refinement"
in Proceedings of the 30th International Workshop on Description Logics (DL 2017),
CEUR-WS.org,
2017.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlBr17a.pdf |
356.
K. Ulmschneider and
B. Glimm,
"Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems"
in Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017),
Rozewski, Przemyslaw and Lange, Christoph, Eds.
Berlin, Germany:
Springer,
2017,
pp. 211--226.
| DOI: | 10.1007/978-3-319-69548-8_15 |
| ISBN: | 978-3-319-69547-1 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/UlGl17a.pdf |
355.
T. Geier and
S. Biundo,
"Multi-Level Knowledge Processing in Cognitive Technical Systems"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo, Eds.
Springer,
2017,
pp. 17--36.
| DOI: | 10.1007/978-3-319-43665-4_2 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Geier2017CompBookMLKP.pdf |
354.
I. Siegert,
F. Schüssel,
M. Schmidt,
S. Reuter,
S. Meudt,
G. Layher,
G. Krell,
T. Hörnle,
S. Handrich,
A. Al-Hamadi,
K. Dietmayer,
H. Neumann,
G. Palm,
F. Schwenker and
A. Wendemuth,
"Multi-modal Information Processing in Companion-Systems: A Ticket Purchase System"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 493--500.
| DOI: | 10.1007/978-3-319-43665-4_25 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Siegert2017CompBookTicketSystem.pdf |
353.
Y. Kazakov and
D. Ponomaryov,
"On the Complexity of Semantic Integration of OWL Ontologies"
in Proceedings of the 30th International Workshop on Description Logics (DL 2017),
Alessandro Artale and Birte Glimm and Roman Kontchakov, Eds.
CEUR-WS.org,
2017.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazPon17Integration_DL.pdf |
352.
B. Glimm,
Y. Kazakov and
T. Tran,
"Ontology Materialization by Abstraction Refinement in Horn SHOIF"
in Proceedings of the 31st AAAI Conference on Artificial Intelligence,
31st AAAI Conference on Artificial Intelligence,
San Francisco, California, USA,
February 4-9, 2017,Satinder P. Singh and Shaul Markovitch, Eds.
AAAI Press,
2017,
pp. 1114--1120.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17a.pdf |
351.
Artale, Alessandro and Glimm, Birte and Kontchakov, Roman, Eds.,
Proceedings of the 30th International Workshop on Description Logics (DL 2017):
CEUR Workshop Proceedings.
350.
D. Ponomaryov and
M. Soutchanski,
"Progression of Decomposed Local-Effect Action Theories",
ACM Transactions on Computational Logic,
vol. 18,
no. 2,
pp. 1--41,
2017.
ACM,
http://doi.acm.org/10.1145/3091119.
| DOI: | 10.1145/3091119 |
349.
C. Mathieu,
M. Klusch and
B. Glimm,
"QSMat: Query-Based Materialization for Efficient RDF Stream Processing"
in Proceedings of the 8th International Conference on Knowledge Engineering and Semantic Web (KESW 2017),
Springer-Verlag,
2017,
pp. 159-174.
| DOI: | 10.1007/978-3-319-69548-8_12 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/MaKG17a.pdf |
348.
B. Glimm,
Y. Kazakov and
T. Tran,
"Scalable Reasoning by Abstraction in DL-Lite"
in Proceedings of the 30th International Workshop on Description Logics (DL 2017),
CEUR-WS.org,
2017.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlKT17b.pdf |
347.
G. Behnke,
F. Nielsen,
M. R. G. Schiller,
P. Bercher,
M. Kraus,
W. Minker,
S. Biundo and
B. Glimm,
"SLOTH - the Interactive Workout Planner"
in Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017),
IEEE,
2017.
| DOI: | 10.1109/COMPANION.2017.8287077 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Sloth.pdf |
346.
B. Glimm,
M. R. G. Schiller and
F. Schiller,
"Testing the Adequacy of Automated Explanations of EL Subsumptions"
in Proceedings of the 30th International Workshop on Description Logics (DL 2017),
CEUR-WS.org,
2017.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/ScSG17a.pdf |
345.
B. Parsia,
N. Matentzoglu,
R. S. Goncalves,
B. Glimm and
A. Steigmiller,
"The OWL Reasoner Evaluation (ORE) 2015 Competition Report",
Journal of Automated Reasoning (JAR),
vol. 59,
no. 4,
pp. 455-482,
2017.
https://doi.org/10.1007/s10817-017-9406-8.
| DOI: | 10.1007/s10817-017-9406-8 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/PMGG17a.pdf |
344.
G. Behnke,
D. Höller and
S. Biundo,
"This is a solution! (... but is it though?) - Verifying solutions of hierarchical planning problems"
in Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017),
AAAI Press,
2017,
pp. 20--28.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke17Verify.pdf |
343.
G. Behnke,
F. Nielsen,
M. R. G. Schiller,
D. Ponomaryov,
P. Bercher,
B. Glimm,
W. Minker and
S. Biundo,
"To Plan for the User Is to Plan With the User -- Integrating User Interaction Into the Planning Process"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 123--144.
| DOI: | 10.1007/978-3-319-43665-4_7 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017CompBookMIP.pdf |
342.
Y. Kazakov,
P. Klinov and
A. Stupnikov,
"Towards Reusable Explanation Services in Protege"
in Proceedings of the 30th International Workshop on Description Logics (DL 2017),
Alessandro Artale and Birte Glimm and Roman Kontchakov, Eds.
CEUR-WS.org,
2017.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazKliStu17Explanations_DL.pdf |
341.
P. Bercher,
D. Höller,
G. Behnke and
S. Biundo,
"User-Centered Planning"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction, Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 79--100.
| DOI: | 10.1007/978-3-319-43665-4_5 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher2017CompBookUCPlanning.pdf |
2016
340.
B. Glimm and
H. Stuckenschmidt,
"15 Years of Semantic Web: An Incomplete Survey",
KI - Künstliche Intelligenz,
vol. 30,
no. 2,
pp. 117--130,
2016.
http://dx.doi.org/10.1007/s13218-016-0424-1.
| DOI: | 10.1007/s13218-016-0424-1 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016a.pdf |
339.
D. Höller,
G. Behnke,
P. Bercher and
S. Biundo,
"Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages"
in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016),
26th International Conference on Automated Planning and Scheduling,
London,
June 12 - 17, 2016,
AAAI Press,
2016,
pp. 158--165.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Hoeller16Expressivity.pdf |
338.
R. Alford,
G. Behnke,
D. Höller,
P. Bercher,
S. Biundo and
D. Aha,
"Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems"
in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016),
26th International Conference on Automated Planning and Scheduling,
London,
June 12 - 17, 2016,
AAAI Press,
2016,
pp. 20--28.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Alford16BoundToPlan.pdf |
337.
G. Behnke,
D. Höller,
P. Bercher and
S. Biundo,
"Change the Plan - How hard can that be?"
in Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016),
26th International Conference on Automated Planning and Scheduling,
London,
June 12 - 17, 2016,
AAAI Press,
2016,
pp. 38--46.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Behnke16ChangeThePlan.pdf |
336.
S. Biundo and
A. Wendemuth,
"Companion-Technology for Cognitive Technical Systems",
Künstliche Intelligenz,
vol. 30,
no. 1,
pp. 71-75,
2016.
Springer,
http://link.springer.com/article/10.1007/s13218-015-0414-8.
| DOI: | 10.1007/s13218-015-0414-8 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo16CompanionTechnology.pdf |
335.
S. Biundo,
D. Höller,
B. Schattenberg and
P. Bercher,
"Companion-Technology: An Overview",
Künstliche Intelligenz,
vol. 30,
no. 1,
pp. 11-20,
2016.
Springer,
http://link.springer.com/article/10.1007/s13218-015-0419-3.
| DOI: | 10.1007/s13218-015-0419-3 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016CompanionSurvey.pdf |
334.
Z. Zhou,
G. Qi and
B. Glimm,
"Exploring Parallel Tractability of Ontology Materialization"
in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016),
IOS Press,
2016,
pp. 73-81.
| DOI: | 10.3233/978-1-61499-672-9-73 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf |