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
2015
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.
| Datei: |  https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf |
320.
P. Bercher,
D. Höller,
G. Behnke and
S. Biundo,
"User-Centered Planning - A Discussion on Planning in the Presence of Human Users"
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. 79--82.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15UserCenteredDiscussion.pdf |
319.
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.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightTIHTNBoundsAbstract.pdf |
318.
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.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightTIHTNBounds.pdf |
317.
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.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Alford15TightHTNBounds.pdf |
316.
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.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/PMGG15a.pdf |
315.
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.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Nothdurft15MIP.pdf |
314.
T. Hörnle and
M. Tornow,
"Reference Architecture Approach for Companion-Systems"
in Proc. of the Int. Symposium on Companion Technology (ISCT 2015),
2015.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Hoernle15Architecture.pdf |
313.
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 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGl15b.pdf |
312.
G. Behnke,
D. Höller and
S. Biundo,
"On the Complexity of HTN Plan Verification and its Implications for Plan Recognition"
in Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015),
25th International Conference on Automated Planning and Scheduling,
Jerusalem,
7-11 June 2015,Ronen Brafman, Carmel Domshlak, Patrik Haslum, Shlomo Zilberstein, Eds.
AAAI Press,
2015,
pp. 25-33.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke2015HTNVerification.pdf |
311.
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 |
310.
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.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KPLT15a.pdf |
309.
B. Glimm,
Y. Kazakov,
I. Kollia and
G. Stamou,
"Lower and Upper Bounds for SPARQL Queries over OWL Ontologies"
in Proceedings of the 28th International Workshop on Description Logics (DL 2015),
CEUR Workshop Proceedings,
2015.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/GKKS15a.pdf |
308.
G. Behnke,
D. Ponomaryov,
M. R. G. Schiller,
P. Bercher,
F. Nothdurft,
B. Glimm and
S. Biundo,
"Coherence Across Components in Cognitive Systems – One Ontology to Rule Them All"
in Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015),
IJCAI 2015,
Buenos Aires,
July 25th to July 31st,
AAAI Press,
2015,
pp. 1442-1449.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BPSB15a.pdf |
307.
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: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15DemoSystem.pdf |
306.
T. Geier,
F. Richter and
S. Biundo,
"Locally Conditioned Belief Propagation"
in Proceedings of the 31st Conference on Uncertainty in Artificial Intelligence (UAI),
Amsterdam,
AUAI Press,
2015,
pp. 296--305.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Geier2015Lcbp.pdf |
305.
Y. Kazakov and
P. Klinov,
"Advancing ELK: Not Only Performance Matters"
in DL,
Diego Calvanese and Boris Konev, Eds.
CEUR-WS.org,
2015.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KazKli15Advancing-ELK_DL.pdf |
304.
F. Richter,
T. Geier and
S. Biundo,
"Believing in POMDPs"
in Proceedings of the First International Symposium on Companion Technology (ISCT 2015),
First International Symposium on Companion Technology,
Ulm, Germany,
23. - 25. September 2015,
2015.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/believingPOMDPs.pdf |
303.
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: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Behnke15MIPDiscussion.pdf |
302.
A. Steigmiller,
B. Glimm and
T. Liebig,
"Completion Graph Caching for Expressive Description Logics"
in Proceedings of the 28th International Workshop on Description Logics (DL 2015),
CEUR Workshop Proceedings,
2015.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/StGL15a.pdf |
301.
M. Glodek,
F. Honold,
T. Geier,
G. Krell,
F. Nothdurft,
S. Reuter,
F. Schüssel,
T. Hörnle,
K. Dietmayer,
W. Minker,
S. Biundo,
M. Weber,
G. Palm and
F. Schwenker,
"Fusion paradigms in cognitive technical systems for human–computer interaction",
Neurocomputing,
vol. 161,
pp. 17 - 37,
2015.
| DOI: | 10.1016/j.neucom.2015.01.076 |
| Datei: | http://www.sciencedirect.com/science/article/pii/S0925231215002155/pdfft?md5=0f4a009f3f5ba7b155a82192be2a0dbe&pid=1-s2.0-S0925231215002155-main.pdf |
300.
P. Bercher,
"Hybrid Planning - Theoretical Foundations and Practical Applications"
in Doctoral Consortium at ICAPS 2015,
2015.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/Bercher15DissertationAbstractDC.pdf |
299.
Michel Dumontier and Birte Glimm and Rafael S. Goncalves and Matthew Horridge and Ernesto Jimenez-Ruiz and Nicolas Matentzoglu and Bijan Parsia and Giorgos B. Stamou and Giorgos Stoilos, Eds.,
Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015):
CEUR Workshop Proceedings.
298.
G. Behnke,
P. Bercher,
S. Biundo,
B. Glimm,
D. Ponomaryov and
M. R. G. Schiller,
"Integrating Ontologies and Planning for Cognitive Systems"
in Proceedings of the 28th International Workshop on Description Logics (DL 2015),
CEUR Workshop Proceedings,
2015.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/BBBG15a.pdf |
2014
297.
T. Geier,
F. Richter and
S. Biundo,
"Conditioned Belief Propagation Revisited: Extended Version" ,
Aug.
2014.
| Datei: | http://vts.uni-ulm.de/docs/2014/9201/vts_9201_13795.pdf |