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
2014
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.
| Weblink: | |
| 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: | |
| Weblink: | |
| Datei: | |
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: | |
| Weblink: |
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: | |
| Weblink: | |
| Datei: | /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: | |
| Weblink: | |
| Datei: | |
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.
| Weblink: | |
| 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.
.
| DOI: | |
| Datei: | /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.
| Weblink: | |
| Datei: | |
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: | |
| Datei: | |
283.
A. Steigmiller,
T. Liebig and
B. Glimm,
"Konclude: System Description",
Journal of Web Semantics: Science, Services and Agents on the World Wide Web,
vol. 27,
no. 1,
2014.
.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StLG14a.pdf |
282.
D. H枚ller,
G. Behnke,
P. Bercher and
S. Biundo,
"Language Classification of Hierarchical Planning Problems"
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. 447-452.
| DOI: | |
| Datei: | |
281.
B. Michelberger,
K. Ulmschneider,
B. Glimm,
B. Mutschler and
M. Reichert,
"Maintaining Semantic Networks: Challenges and Algorithms"
in Proceedings of the 16th International Conference on Information Integration and Web-Based Applications & Services (iiWAS 2014),
ACM,
2014.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/MUGM14a.pdf |
280.
A. Steigmiller,
B. Glimm and
T. Liebig,
"Optimised Absorption for Expressive Description Logics"
in Proceedings of the 27th International Workshop on Description Logics (DL 2014),
Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, Eds.
CEUR-WS.org,
2014.
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14b.pdf |
279.
P. Bercher,
S. Biundo,
T. Geier,
T. Hoernle,
F. Nothdurft,
F. Richter and
B. Schattenberg,
"Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater"
in Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014) ,
AAAI Press,
2014,
pp. 386--394.
| Weblink: | |
| Weblink: | |
| Datei: | |
278.
F. Nothdurft,
F. Richter and
W. Minker,
"Probabilistic Explanation Dialog Augmentation"
in Proceedings of the 10th International Conference on Intelligent Environments (IE), 2014,
IEEE,
2014,
pp. 392 - 395.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/Nothdurft2014ProbabilisticExplanation.pdf |
277.
F. Nothdurft,
F. Richter and
W. Minker,
"Probabilistic Human-Computer Trust Handling"
in Proceedings of the 15th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL),
Association for Computational Linguistics,
2014,
pp. 51--59.
| Datei: | |
276.
A. Steigmiller,
B. Glimm and
T. Liebig,
"Reasoning with Nominal Schemas through Absorption",
Journal of Automated Reasoning,
vol. 53,
no. 4,
pp. 351-405,
2014.
Springer-Verlag,
.
| DOI: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/StGL14c.pdf |
275.
Y. Kazakov,
M. Kr枚tzsch and
F. Siman膷铆k,
"The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies",
JAR,
vol. 53,
no. 1,
pp. 1-61,
2014.
| DOI: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2014/KazKroSim13ELK_JAR.pdf |
2013
274.
I. Kollia and
B. Glimm,
"Optimizing SPARQL Query Answering over OWL Ontologies",
Journal of Artificial Intelligence Research (JAIR),
vol. 48,
pp. 253-303,
Sep.
2013.
.
| DOI: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KoGl13a.pdf |
273.
D. Ponomaryov and
D. Vlasov,
"Concept Definability and Interpolation in Enriched Models of EL-TBoxes"
in Proceedings of the 26th International Workshop on Description Logics (DL 2013),
CEUR Workshop Proceedings,
2013.
| Datei: | |
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.
| Weblink: | |
| Datei: | |
271.
Y. Kazakov and
P. Klinov,
"Experimenting with ELK Reasoner on Android"
in ORE,
CEUR-WS.org,
2013,
pp. 68-74.
| Weblink: | |
| 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.
| Weblink: | |
| Datei: | /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.
| Weblink: | |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2013/KazKli13Incremental_DL.pdf |