Dr. Pavel Klinov

Dr. Pavel Klinov hat die Universität Ulm verlassen. Diese Seite wird nicht mehr gepflegt.

The German version under construction.

Projekte

Under construction

Organisatorische Aktivitäten

Under construction

Lehrerfahrung

Under construction

Industrie

Under construction

Veröffentlichungen

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

7.
pdf
Kazakov, Yevgeny und Klinov, Pavel
Advancing {ELK}: Not Only Performance Matters
In Diego Calvanese and Boris Konev, Editor, DL Band 1350 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2015
6.
pdf
Kazakov, Yevgeny und Klinov, Pavel
Goal-Directed Tracing of Inferences in {EL} Ontologies
ISWC Band 8797 aus Lecture Notes in Computer Science , Seite 196--211.
Herausgeber: Springer,
2014
5.
pdf
Kazakov, Yevgeny und Klinov, Pavel
Bridging the Gap between Tableau and Consequence-Based Reasoning
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Editor, DL Band 1193 aus CEUR Workshop Proceedings , Seite 579-590.
Herausgeber: CEUR-WS.org,
2014
4.
pdf
Kazakov, Yevgeny und Klinov, Pavel
Goal-Directed Tracing of Inferences in {EL} Ontologies
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Editor, DL Band 1193 aus CEUR Workshop Proceedings , Seite 221-232.
Herausgeber: CEUR-WS.org,
2014
3.
pdf
Kazakov, Yevgeny und Klinov, Pavel
Incremental Reasoning in {EL+} without Bookkeeping
DL Band 1014 aus CEUR Workshop Proceedings , Seite 294-315.
Herausgeber: CEUR-WS.org,
2013
2.
pdf
Kazakov, Yevgeny und Klinov, Pavel
Experimenting with {ELK} Reasoner on Android
ORE Band 1015 aus CEUR Workshop Proceedings , Seite 68-74.
Herausgeber: CEUR-WS.org,
2013
1.
pdf
Kazakov, Yevgeny und Klinov, Pavel
Incremental Reasoning in {OWL EL} without Bookkeeping
ISWC Band 8218 aus Lecture Notes in Computer Science , Seite 232-247.
Herausgeber: Springer,
2013
Export als: BibTeX, XML