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
2017
357.
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 |
| File: |  https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher2017CompBookUCPlanning.pdf |
356.
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.
| File: | fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazPon17Integration_DL.pdf |
355.
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 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/PMGG17a.pdf |
354.
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 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Geier2017CompBookMLKP.pdf |
353.
S.
Biundo and
A.
Wendemuth,
Companion Technology - A Paradigm Shift in Human-Technology Interaction.
....
Springer,
2017.
| DOI: | 10.1007/978-3-319-43665-4 |
| File: | https://link.springer.com/book/10.1007/978-3-319-43665-4 |
352.
M. R. G.
Schiller,
G.
Behnke,
M.
Schmautz,
P.
Bercher,
M.
Kraus,
M.
Dorna,
W.
Minker,
B.
Glimm and
S.
Biundo,
"A Paradigm for Coupling Procedural and Conceptual Knowledge in Companion Systems"
in Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017),
IEEE,
2017.
| DOI: | 10.1109/COMPANION.2017.8287072 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/SBSBKDMGB-ICCT2017.pdf |
351.
F.
Richter and
S.
Biundo,
"Addressing Uncertainty in Hierarchical User-Centered Planning"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction,Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 101--121.
| DOI: | 10.1007/978-3-319-43665-4_6 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Richter2017UserCenteredPlanningUnderUncertainty.pdf |
350.
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 |
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/UlGl17a.pdf |
349.
P.
Bercher,
G.
Behnke,
D.
Höller and
S.
Biundo,
"An Admissible HTN Planning Heuristic"
in Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),
IJCAI,
2017.
pp. 480--488.
348.
S.
Biundo and
A.
Wendemuth,
"An Introduction to Companion-Technology"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction,Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 1--15.
| DOI: | 10.1007/978-3-319-43665-4_1 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Biundo2017CompBookIntro.pdf |
347.
P.
Bercher,
F.
Richter,
T.
Hörnle,
T.
Geier,
D.
Höller,
G.
Behnke,
F.
Nielsen,
F.
Honold,
F.
Schüssel,
S.
Reuter,
W.
Minker,
M.
Weber,
K.
Dietmayer and
S.
Biundo,
"Advanced User Assistance for Setting Up a Home Theater"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction,Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 485--491.
| DOI: | 10.1007/978-3-319-43665-4_24 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher2017CompBookHomeTheater.pdf |
346.
T.
Hörnle,
M.
Tornow,
F.
Honold,
R.
Schwegler,
R.
Heinemann,
S.
Biundo and
A.
Wendemuth,
"Companion-Systems: A Reference Architecture"
in Companion Technology -- A Paradigm Shift in Human-Technology Interaction,Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 449-469.
| DOI: | 10.1007/978-3-319-43665-4_22 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Hoernle2017CompBookReferenceArchitecture.pdf |
345.
F.
Nothdurft,
P.
Bercher,
G.
Behnke and
W.
Minker,
"Dialogues with Social Robots: Enablements, Analyses, and Evaluation"
in Dialogues with Social Robots: Enablements, Analyses, and Evaluation,Kristiina Jokinen and Graham Wilcock, Eds.
Springer,
2017,
pp. 129--141.
| DOI: | 10.1007/978-981-10-2585-3_10 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Nothdurft2016UserInvolvement.pdf |
344.
Y.
Kazakov and
P.
Skocovsky,
"Enumerating Justifications using Resolution"
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.
| File: | fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/KazSko17Justifications_DL.pdf |
343.
S.
Reuter,
A.
Scheel,
T.
Geier and
K.
Dietmayer,
"Environment Adaption for Companion-Systems",
Susanne Biundo and Andreas Wendemuth, Eds.
Springer,
2017,
pp. 301--320.
| DOI: | 10.1007/978-3-319-43665-4_15 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Reuter2017CompBookEnvironmentAdaption.pdf |
342.
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.
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Challenge.pdf |
341.
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.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/GlBr17a.pdf |
2016
340.
B.
Parsia,
N.
Matentzoglu,
R. S.
Goncalves,
B.
Glimm and
A.
Steigmiller,
"The OWL Reasoner Evaluation (ORE) 2015 Resources"
in Proceedings of the 15th International Semantic Web Conference (ISWC 2016),
Paul T. Groth and Elena Simperl and Alasdair J. G. Gray and Marta Sabou and Markus Krötzsch and Freddy Lécué and Fabian Flöck and Yolanda Gil, Eds.
Springer-Verlag,
2016.
pp. 159--167.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/PMGG16a.pdf |
339.
B.
Glimm and
H.
Stuckenschmidt,
"Special Issue on Semantic Web"
,
KI - Künstliche Intelligenz,
vol. 30,
no. 2,
pp. 113--115,
2016.
http://dx.doi.org/10.1007/s13218-016-0430-3.
| DOI: | 10.1007/s13218-016-0430-3 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016b.pdf |
338.
S.
Biundo,
D.
Höller and
P.
Bercher,
"Special Issue on Companion Technologies"
,
Künstliche Intelligenz,
vol. 30,
no. 1,
pp. 5-9,
2016.
Springer,
http://link.springer.com/article/10.1007/s13218-015-0421-9.
| DOI: | 10.1007/s13218-015-0421-9 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016Editorial.pdf |
337.
K.
Ulmschneider and
B.
Glimm,
"Semantic Exploitation of Implicit Patent Information"
in Proceedings of the 7th IEEE Symposium Series on Computational Intelligence (SSCI'16),
Jin, Yaochu and Kollias, Stefanos, Eds.
Red Hook, United States:
IEEE Computer Society,
2016.
pp. 1-8.
| DOI: | 10.1109/SSCI.2016.7849943 |
| ISBN: | 9781509042395 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/UlGl16a.pdf |
336.
B.
Glimm,
Y.
Kazakov and
T.
Tran,
"Scalable Reasoning by Abstraction Beyond DL-Lite"
in Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016),
Magdalena Ortiz and Stefan Schlobach, Eds.
Springer-Verlag,
2016.
pp. 77--93.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16b.pdf |
335.
A.
Steigmiller,
"Optimisation of tableau-based reasoning systems for expressive description
logics",
University of Ulm, Germany,
2016.
| File: | http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-4042-6 |
334.
B.
Glimm,
Y.
Kazakov and
T.
Tran,
"Ontology Materialization by Abstraction Refinement in Horn SHOIF"
in Proceedings of the 29th International Workshop on Description Logics (DL 2016),
CEUR-WS.org,
2016.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16a.pdf |
333.
I.
Siegert,
S.
Reuter,
F.
Schüssel,
G.
Layher,
T.
Hörnle,
S.
Meudt and
A.
Wendemuth,
"Multimodal Information Processing: The Ticket Purchase - a Demonstration Scenario of the SFB/TRR-62"
in Elektronische Sprachsignalverarbeitung 2016. Tagungsband der 27. Konferenz,
Jokisch, Oliver, Eds.
Leipzig, Germany:
TUDpress,
2016.
pp. 111--118.