PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kikot, Stanislav"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries.

, , und . Description Logics, Volume 1193 von CEUR Workshop Proceedings, Seite 45-57. CEUR-WS.org, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stanislav Shevchuk University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results., , und . LICS, Seite 317-328. IEEE Computer Society, (2015)The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines., , und . Studia Logica, 104 (3): 455-486 (2016)Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity., , , , und . J. ACM, 65 (5): 28:1-28:51 (2018)Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies., , und . RR, Volume 6902 von Lecture Notes in Computer Science, Seite 124-138. Springer, (2011)The decision problem of modal product logics with a diagonal, and faulty counter machines., , und . CoRR, (2015)On the succinctness of query rewriting over shallow ontologies., , , und . CSL-LICS, Seite 57:1-57:10. ACM, (2014)Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators.. Advances in Modal Logic, Seite 9. College Publications, (2018)Query Rewriting over Shallow Ontologies., , , und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 316-327. CEUR-WS.org, (2013)Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators., , , , und . J. Symb. Log., 84 (2): 533-588 (2019)Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations., , , und . CoRR, (2019)