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
2013
272.
P. Bercher and
S. Biundo,
"Encoding Partial Plans for Heuristic Search"
in Proceedings of the 4th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2013) at ICAPS 2013,
2013,
pp. 11--15.
| Datei: |  http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13EncodingPlans.pdf |
271.
Y. Kazakov and
P. Klinov,
"Experimenting with ELK Reasoner on Android"
in ORE,
CEUR-WS.org,
2013,
pp. 68-74.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Android_ORE.pdf |
270.
A. Steigmiller,
B. Glimm and
T. Liebig,
"Extending Absorption to Nominal Schemas"
in Proceedings of the 26th International Description Logic Workshop (DL 2013),
CEUR Workshop Proceedings,
2013.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13b.pdf |
269.
Y. Kazakov and
P. Klinov,
"Incremental Reasoning in EL+ without Bookkeeping"
in DL,
CEUR-WS.org,
2013,
pp. 294-315.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_DL.pdf |
268.
Y. Kazakov and
P. Klinov,
"Incremental Reasoning in OWL EL without Bookkeeping"
in ISWC,
Springer,
2013,
pp. 232-247.
| DOI: | 10.1007/978-3-642-41335-3_15 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_ISWC.pdf |
267.
A. Cheptsov,
A. Tenschert,
P. Schmidt,
B. Glimm,
M. Matthesius and
T. Liebig,
"Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing"
in Proceedings of the International Workshop on Big Web Data (BigWebData 2013),
Axel Tenschert and Alexey Cheptsov, Eds.
Springer,
2013.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CTSG13a.pdf |
266.
A. Steigmiller,
B. Glimm and
T. Liebig,
"Nominal Schema Absorption"
in Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013),
AAAI Press/The MIT Press,
2013.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/StGL13a.pdf |
265.
P. Bercher,
T. Geier,
F. Richter and
S. Biundo,
"On Delete Relaxation in Partial-Order Causal-Link Planning"
in Proceedings of the 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013),
IEEE Computer Society,
2013,
pp. 674--681.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13SampleFF.pdf |
264.
Eiter, Thomas and Glimm, Birte and Kazakov, Yevgeny and Krötzsch, Markus, Eds.,
Proceedings of the 2013 International Description Logic Workshop (DL 2013), Ulm, Germany, July 23-26, 2013:
CEUR Workshop Proceedings.
263.
D. Ponomaryov and
M. Soutchanski,
"Progression of Decomposed Situation Calculus Theories"
in AAAI, The Twenty-Seventh Conference on Artificial Intelligence,
2013.
| Datei: | http://persons.iis.nsk.su/files/persons/pages/decprog-short.pdf |
262.
M. Glodek,
T. Geier,
S. Biundo,
F. Schwenker and
G. Palm,
"Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic"
in Proceedings of the 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013),
2013,
pp. 648-653.
| DOI: | 10.1109/ICTAI.2013.101 |
261.
P. Bercher,
F. Ginter and
S. Biundo,
"Search Strategies for Partial-Order Causal-Link Planning with Preferences"
in 27th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2013),
2013,
pp. 29--40.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13POCLPreferences.pdf |
260.
P. Chaussecourte,
B. Glimm,
I. Horrocks,
B. Motik and
L. Pierre,
"The Energy Management Adviser at EDF"
in Proceedings of the 12th International Semantic Web Conference (ISWC 2013),
Springer-Verlag,
2013,
pp. 49-64.
| DOI: | 10.1007/978-3-642-41338-4_4 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/CGHM13a.pdf |
259.
M. R. G. Schiller and
B. Glimm,
"Towards Explicative Inference for OWL"
in Proceedings of the 2013 International Description Logic Workshop (DL 2013),
CEUR Workshop Proceedings,
2013.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/ScGl13a.pdf |
258.
P. Bercher,
T. Geier and
S. Biundo,
"Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning"
in Advances in Artificial Intelligence, Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013),
Springer,
2013,
pp. 1--12.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/Bercher13POCLHeuristics.pdf |
257.
B. Glimm,
Y. Kazakov,
I. Kollia and
G. Stamou,
"Using the TBox to Optimise SPARQL Queries"
in Proceedings of the 2013 International Description Logic Workshop (DL 2013),
CEUR Workshop Proceedings,
2013.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/GKKS13a.pdf |
2012
256.
I. Kollia and
B. Glimm,
"Cost Based Query Ordering over OWL Ontologies"
in Proceedings of the 11th International Semantic Web Conference (ISWC 2012),
Springer-Verlag,
Nov.
2012,
pp. 231-246.
| DOI: | 10.1007/978-3-642-35176-1_15 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12b.pdf |
255.
N. Nikitina and
B. Glimm,
"Hitting the Sweetspot: Economic Rewriting of Knowledge Bases"
in Proceedings of the 11th International Semantic Web Conference (ISWC 2012),
Springer-Verlag,
Nov.
2012,
pp. 394-409.
| DOI: | 10.1007/978-3-642-35176-1_25 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/NiGl12a.pdf |
254.
F. Müller,
C. Späth,
T. Geier and
S. Biundo,
"Exploiting Expert Knowledge in Factored POMDPs"
in Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012),
IOS Press,
Aug.
2012,
pp. 606--611.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Mueller12HierarchicalFSCsReloaded.pdf |
253.
T. Geier,
S. Reuter,
K. Dietmayer and
S. Biundo,
"Goal-Based Person Tracking Using a First-Order Probabilistic Model"
in Proceedings of the Ninth UAI Bayesian Modeling Applications Workshop (UAI-AW 2012),
Aug.
2012.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Geier12TrackingGoals.pdf |
252.
B. Glimm,
I. Horrocks,
B. Motik,
R. Shearer and
G. Stoilos,
"A Novel Approach to Ontology Classification",
Journal of Web Semantics: Science, Services and Agents on the World Wide Web,
vol. 14,
pp. 84-101,
Jul.
2012.
Elsevier Science Publishers (North-Holland).
| DOI: | 10.1016/j.websem.2011.12.007 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/GHMS12a.pdf |
251.
M. Elkawkagy,
P. Bercher,
B. Schattenberg and
S. Biundo,
"Improving Hierarchical Planning Performance by the Use of Landmarks"
in Proceedings of the 26th AAAI Conference on Artificial Intelligence ({AAAI} 2012),
AAAI Press,
Jul.
2012,
pp. 1763--1769.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Elkawkagy12LandmarkStrategies.pdf |
250.
B. Seegebarth,
F. Müller,
B. Schattenberg and
S. Biundo,
"Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations"
in Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012),
AAAI Press,
Jun.
2012,
pp. 225--233.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/Seegebarth12PlanExplanation.pdf |
249.
I. Kollia and
B. Glimm,
"Cost Based Query Ordering over OWL Ontologies"
in Proceedings of the 25th International Description Logic Workshop (DL 2012),
Jun.
2012.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/KoGl12a.pdf |
248.
A. Steigmiller,
T. Liebig and
B. Glimm,
"Extended Caching and Backjumping for Expressive Description Logics"
in Proceedings of the 25th International Description Logic Workshop (DL 2012),
Jun.
2012.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2012/StLG12b.pdf |