Stanislav Kikot
Title
Cited by
Cited by
Year
The price of query rewriting in ontology-based data access
G Gottlob, S Kikot, R Kontchakov, V Podolskii, T Schwentick, ...
Artificial Intelligence 213, 42-59, 2014
872014
Conjunctive Query Answering with OWL 2 QL.
S Kikot, R Kontchakov, M Zakharyaschev
KR, 275-285, 2012
622012
Exponential lower bounds and separation for query rewriting
S Kikot, R Kontchakov, V Podolskii, M Zakharyaschev
International Colloquium on Automata, Languages, and Programming, 263-274, 2012
412012
On (in) tractability of OBDA with OWL 2 QL
S Kikot, R Kontchakov, M Zakharyaschev
CEUR Workshop Proceedings, 2011
402011
Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity
M Bienvenu, S Kikot, R Kontchakov, VV Podolskii, M Zakharyaschev
Journal of the ACM (JACM) 65 (5), 1-51, 2018
202018
On the succinctness of query rewriting over shallow ontologies
S Kikot, R Kontchakov, VV Podolskii, M Zakharyaschev
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
192014
On the succinctness of query rewriting over shallow ontologies
S Kikot, R Kontchakov, VV Podolskii, M Zakharyaschev
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
192014
The complexity of ontology-based data access with OWL 2 QL and bounded treewidth queries
M Bienvenu, S Kikot, R Kontchakov, VV Podolskii, V Ryzhikov, ...
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2017
152017
Modal definability of first-order formulas with free variables and query answering
S Kikot, E Zolin
Journal of Applied Logic 11 (2), 190-216, 2013
152013
Tree-like queries in OWL 2 QL: succinctness and complexity results
M Bienvenu, S Kikot, V Podolskii
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 317-328, 2015
132015
Kripke completeness of strictly positive modal logics over meet-semilattices with operators
S Kikot, A Kurucz, Y Tanaka, F Wolter, M Zakharyaschev
arXiv preprint arXiv:1708.03403, 2017
102017
Query Answering via Modal Definability with FaCT++: First Blood.
S Kikot, D Tsarkov, M Zakharyaschev, E Zolin
Description Logics, 328-340, 2013
102013
Query rewriting over shallow ontologies
S Kikot, R Kontchakov, V Podolskii, M Zakharyaschev
CEUR-WS, 2013
102013
Sahlqvist Theorems for Precontact Logics.
P Balbiani, S Kikot
Advances in Modal Logic 9, 55-70, 2012
102012
An extension of Kracht's theorem to generalized Sahlqvist formulas
S Kikot
Journal of Applied Non-Classical Logics 19 (2), 227-251, 2009
102009
Long rewritings, short rewritings
S Kikot, R Kontchakov, V Podolskii, M Zakharyaschev
Proceedings of the 2012 International Workshop on Description Logics, 2012
82012
On the completeness of EL-equiations: First results
S Kikot, A Kurucz, Y Tanaka, F Wolter, M Zakharyaschev
11th International Conference on Advances in Modal Logic, Short Papers …, 2016
72016
Axiomatization of modal logic squares with distinguished diagonal
SP Kikot’
Mathematical Notes 88, 238-250, 2010
72010
A dichotomy for some elementarily generated modal logics
S Kikot
Studia Logica 103 (5), 1063-1093, 2015
62015
Filtration Safe Operations on Frames.
S Kikot, I Shapirovsky, E Zolin
Advances in modal logic 10, 333-352, 2014
62014
The system can't perform the operation now. Try again later.
Articles 1–20