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
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: | |
| Datei: |  /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.
| Weblink: | |
| 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: | |
| Datei: | /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.
.
| DOI: | |
| Datei: | /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: | /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: | /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.
| Weblink: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Behnke16Change_Talk.pdf |
| Datei: | /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,
.
| DOI: | |
| Datei: | /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,
.
| DOI: | |
| Datei: | /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: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf |
333.
P. Bercher and
D. H枚ller,
"Interview with David E. Smith",
K眉nstliche Intelligenz,
vol. 30,
no. 1,
pp. 101--105,
2016.
Springer,
.
| DOI: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Smith2016Interview.pdf |
332.
B. Glimm,
"Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford",
KI - K眉nstliche Intelligenz,
vol. 30,
no. 2,
pp. 201--203,
2016.
.
| DOI: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Glim2016a.pdf |
331.
P. Bercher,
D. H枚ller,
G. Behnke and
S. Biundo,
"More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks"
in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016),
IOS Press,
2016,
pp. 225--233.
330.
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.
329.
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.
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16a.pdf |
328.
A. Steigmiller,
"Optimisation of tableau-based reasoning systems for expressive description
logics",
University of Ulm, Germany,
2016.
| Weblink: | |
| Datei: |
327.
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.
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlKT16b.pdf |
326.
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: | |
| ISBN: | 9781509042395 |
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/UlGl16a.pdf |
325.
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,
.
| DOI: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016Editorial.pdf |
324.
B. Glimm and
H. Stuckenschmidt,
"Special Issue on Semantic Web",
KI - K眉nstliche Intelligenz,
vol. 30,
no. 2,
pp. 113--115,
2016.
.
| DOI: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016b.pdf |
323.
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.
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/PMGG16a.pdf |
2015
322.
M. Brenner and
B. Glimm,
"Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning"
in Proceedings of the International Symposium on Companion Technology (ISCT 2015),
Sep.
2015.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BrGl15a.pdf |
321.
P. Bercher,
F. Richter,
T. H枚rnle,
T. Geier,
D. H枚ller,
G. Behnke,
F. Nothdurft,
F. Honold,
W. Minker,
M. Weber and
S. Biundo,
"A Planning-based Assistance System for Setting Up a Home Theater"
in Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015),
AAAI Press,
2015,
pp. 4264--4265.
| Datei: | |
320.
G. Behnke,
M. R. G. Schiller,
D. Ponomaryov,
F. Nothdurft,
P. Bercher,
W. Minker,
B. Glimm and
S. Biundo,
"A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning"
in Proceedings of the First International Symposium on Companion Technology (ISCT 2015),
First International Symposium on Companion Technology (ISCT 2015),
Ulm, Germany,
23. - 25. September 2015,
2015,
pp. 43--48.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke15MIPDiscussion.pdf |
319.
Y. Kazakov and
P. Klinov,
"Advancing ELK: Not Only Performance Matters"
in DL,
Diego Calvanese and Boris Konev, Eds.
CEUR-WS.org,
2015.
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KazKli15Advancing-ELK_DL.pdf |