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
308.
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 |
307.
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 |
306.
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 |
305.
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 |
304.
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 |
303.
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 |
302.
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 |
301.
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 |
300.
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 |
299.
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 |
298.
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 |
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 |
296.
M. Glodek,
T. Geier,
S. Biundo and
G. Palm,
"A layered architecture for probabilistic complex pattern recognition to detect user preferences",
Neural-Symbolic Networks for Cognitive Capacities,
2014.
http://www.sciencedirect.com/science/article/pii/S2212683X14000486.
| DOI: | 10.1016/j.bica.2014.06.003 |
295.
B. Glimm,
Y. Kazakov,
T. Liebig,
T. Tran and
V. Vialard,
"Abstraction Refinement for Ontology Materialization"
in Proceedings of the 27th International Workshop on Description Logics (DL 2014),
CEUR-WS.org,
2014,
pp. 180-195.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14a.pdf |
294.
B. Glimm,
Y. Kazakov,
T. Liebig,
T. Tran and
V. Vialard,
"Abstraction Refinement for Ontology Materialization"
in Proceedings of the 13th International Semantic Web Conference (ISWC 2014),
Springer-Verlag,
2014,
pp. 180-195.
| DOI: | 10.1007/978-3-319-11915-1_12 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GKLT14b.pdf |
293.
Y. Kazakov and
P. Klinov,
"Bridging the Gap between Tableau and Consequence-Based Reasoning"
in DL,
Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Eds.
CEUR-WS.org,
2014,
pp. 579-590.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2015/KazKli15Advancing-ELK_DL.pdf |
292.
F. Honold,
P. Bercher,
F. Richter,
F. Nothdurft,
T. Geier,
R. Barth,
T. Hörnle,
F. Schüssel,
S. Reuter,
M. Rau,
G. Bertrand,
B. Seegebarth,
P. Kurzok,
B. Schattenberg,
W. Minker,
M. Weber and
S. Biundo,
"Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems"
in 10th International Conference on Intelligent Environments (IE 2014),
IEEE,
2014,
pp. 378--381.
| DOI: | 10.1109/IE.2014.60 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Honold2014HomeTheaterVideo.pdf |
291.
T. Geier,
F. Richter and
S. Biundo,
"Conditioned Belief Propagation Revisited"
in Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014),
21st European Conference on Artificial Intelligence (ECAI 2014),
Prague, Czech Republic,
18-22 August 2014,Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry, Eds.
Amsterdam:
IOS Press,
2014,
pp. 1011-1012.
| DOI: | 10.3233/978-1-61499-419-0-1011 |
290.
A. Steigmiller,
B. Glimm and
T. Liebig,
"Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures"
in Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014),
Stéphane Demri, Deepak Kapur and Christoph Weidenbach, Eds.
Springer-Verlag,
2014,
pp. 449-463.
| DOI: | 10.1007/978-3-319-08587-6_35 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14a.pdf |
289.
D. Höller,
P. Bercher,
F. Richter,
M. R. G. Schiller,
T. Geier and
S. Biundo,
"Finding User-friendly Linearizations of Partially Ordered Plans"
in 28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014),
2014.
| Weblink: | http://www.puk-workshop.de/puk2014/prog.html |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Hoeller14PlanLinearization.pdf |
288.
Y. Kazakov and
P. Klinov,
"Goal-Directed Tracing of Inferences in EL Ontologies"
in DL,
Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Eds.
CEUR-WS.org,
2014,
pp. 221-232.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_DL.pdf |
287.
Y. Kazakov and
P. Klinov,
"Goal-Directed Tracing of Inferences in EL Ontologies"
in ISWC,
Springer,
2014,
pp. 196--211.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKli14Tracing_ISWC.pdf |
286.
B. Glimm,
I. Horrocks,
B. Motik,
G. Stoilos and
Z. Wang,
"HermiT: An OWL 2 Reasoner",
Journal of Automated Reasoning (JAR),
vol. 53,
no. 3,
pp. 245-269,
2014.
http://link.springer.com/article/10.1007%2Fs10817-014-9305-1.
| DOI: | 10.1007/s10817-014-9305-1 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/GHMS14a.pdf |
285.
P. Bercher,
S. Keen and
S. Biundo,
"Hybrid Planning Heuristics Based on Task Decomposition Graphs"
in Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014),
AAAI Press,
2014,
pp. 35--43.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Bercher14HybridHeuristics.pdf |
284.
L. Pragst,
F. Richter,
P. Bercher,
B. Schattenberg and
S. Biundo,
"Introducing Hierarchy to Non-Hierarchical Planning Models – A Case Study for Behavioral Adversary Models"
in 28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014),
2014.
| Weblink: | http://www.puk-workshop.de/puk2014/prog.html |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Pragst14CyberSecurity.pdf |