Stanislav Kikot
TitleCited byYear
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
652014
Conjunctive query answering with OWL 2 QL
S Kikot, R Kontchakov, M Zakharyaschev
Thirteenth International Conference on the Principles of Knowledge …, 2012
552012
On (in) tractability of OBDA with OWL 2 QL
S Kikot, R Kontchakov, M Zakharyaschev
CEUR Workshop Proceedings, 2011
392011
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
382012
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
142014
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
122017
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
122015
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
122013
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), 28, 2018
102018
Sahlqvist Theorems for Precontact Logics.
P Balbiani, S Kikot
Advances in Modal Logic 9, 55-70, 2012
92012
An extension of Kracht's theorem to generalized Sahlqvist formulas
S Kikot
Journal of Applied Non-Classical Logics 19 (2), 227-251, 2009
92009
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
Query Answering via Modal Definability with FaCT++: First Blood.
S Kikot, D Tsarkov, M Zakharyaschev, E Zolin
Description Logics, 328-340, 2013
72013
Query rewriting over shallow ontologies
S Kikot, R Kontchakov, V Podolskii, M Zakharyaschev
CEUR-WS, 2013
72013
On modal definability of Horn formulas
S Kikot
Topology, Algebra and Categories in Logic, 175-178, 2011
72011
Axiomatization of modal logic squares with distinguished diagonal
SP Kikot’
Mathematical Notes 88, 238-250, 2010
72010
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
62017
On the succinctness of query rewriting over OWL 2 QL ontologies with shallow chases
S Kikot, R Kontchakov, V Podolskii, M Zakharyaschev
arXiv preprint arXiv:1401.4420, 2014
62014
Filtration Safe Operations on Frames.
S Kikot, I Shapirovsky, E Zolin
Advances in modal logic 10, 333-352, 2014
62014
Long rewritings, short rewritings
S Kikot, R Kontchakov, V Podolskii, M Zakharyaschev
Proceedings of the 2012 International Workshop on Description Logics, 2012
62012
The system can't perform the operation now. Try again later.
Articles 1–20