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
2016
336.
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 |
335.
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 |
334.
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 |
333.
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 |
332.
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.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Bercher16HybridPlanningComplexities.pdf |
331.
P. Bercher and
D. Höller,
"Interview with David E. Smith",
Künstliche Intelligenz,
vol. 30,
no. 1,
pp. 101--105,
2016.
Springer,
http://link.springer.com/article/10.1007/s13218-015-0403-y.
| DOI: | 10.1007/s13218-015-0403-y |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Smith2016Interview.pdf |
330.
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 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/ZhQG16a.pdf |
329.
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 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo2016CompanionSurvey.pdf |
328.
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 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Biundo16CompanionTechnology.pdf |
327.
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.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Behnke16ChangeThePlan.pdf |
326.
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.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Alford16BoundToPlan.pdf |
325.
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.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Hoeller16Expressivity.pdf |
324.
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 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/GlSt2016a.pdf |
323.
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.
http://dx.doi.org/10.1007/s13218-016-0428-x.
| DOI: | 10.1007/s13218-016-0428-x |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Glim2016a.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.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BrGl15a.pdf |
321.
B. Glimm,
Y. Kazakov,
I. Kollia and
G. Stamou,
"Lower and Upper Bounds for SPARQL Queries over OWL Ontologies"
in Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015),
AAAI Press,
2015.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf |
320.
F. Nothdurft,
G. Behnke,
P. Bercher,
S. Biundo and
W. Minker,
"The Interplay of User-Centered Dialog Systems and AI Planning"
in Proceedings of the 16th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL),
Prague, Czech Republic,
Association for Computational Linguistics,
2015,
pp. 344--353.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Nothdurft15MIP.pdf |
319.
M. Kotzyba,
D. Ponomaryov,
T. Low,
M. Thiel and
A. Nürnberger,
"Ontology-supported Exploratory Search for Physical Training Exercises"
in Proceedings of the ISWC 2015 Posters & Demonstrations
Track,
CEUR-WS.org,
2015.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KPLT15a.pdf |
318.
A. Steigmiller and
B. Glimm,
"Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures",
Journal of Artificial Intelligence Research,
vol. 54,
pp. 535--592,
2015.
http://jair.org/media/4897/live-4897-9009-jair.pdf.
| DOI: | 10.1613/jair.4897 |
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGl15b.pdf |
317.
T. Hörnle and
M. Tornow,
"Reference Architecture Approach for Companion-Systems"
in Proc. of the Int. Symposium on Companion Technology (ISCT 2015),
2015.
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Hoernle15Architecture.pdf |
316.
R. Alford,
P. Bercher and
D. Aha,
"Tight Bounds for HTN planning with Task Insertion (Extended Abstract)"
in Proceedings of the Eighth Annual Symposium on Combinatorial Search (SoCS),
AAAI Press,
2015,
pp. 221--222.
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightTIHTNBoundsAbstract.pdf |
315.
B. Parsia,
N. Matentzoglu,
R. S. Goncalves,
B. Glimm and
A. Steigmiller,
"The OWL Reasoner Evaluation (ORE) 2015 Competition Report"
in Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 14th International Semantic Web Conference (ISWC 2015),
Thorsten Liebig and Achille Fokoue, Eds.
CEUR-WS.org,
2015,
pp. 2-15.
| File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/PMGG15a.pdf |
314.
R. Alford,
P. Bercher and
D. Aha,
"Tight Bounds for HTN Planning"
in Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015),
AAAI Press,
2015,
pp. 7--15.
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightHTNBounds.pdf |
313.
R. Alford,
P. Bercher and
D. Aha,
"Tight Bounds for HTN planning with Task Insertion"
in Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015),
AAAI Press,
2015,
pp. 1502--1508.
| File: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightTIHTNBounds.pdf |
312.
K. Ulmschneider,
B. Michelberger,
B. Glimm,
B. Mutschler and
M. Reichert,
"On Maintaining Semantic Networks: Challenges, Algorithms, Use Cases",
International Journal of Web Information Systems,
vol. 11,
no. 3,
pp. 291-326,
2015.
http://dx.doi.org/10.1108/IJWIS-04-2015-0014.
| DOI: | 10.1108/IJWIS-04-2015-0014 |