| 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 | 100 | 2014 |
| Conjunctive query answering with OWL 2 QL S Kikot, R Kontchakov, M Zakharyaschev Thirteenth International Conference on the Principles of Knowledge …, 2012 | 71 | 2012 |
| On (in) tractability of OBDA with OWL 2 QL S Kikot, R Kontchakov, M Zakharyaschev CEUR Workshop Proceedings, 2011 | 47 | 2011 |
| 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 | 42 | 2012 |
| 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 | 28 | 2018 |
| 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 | 21 | 2017 |
| Kripke completeness of strictly positive modal logics over meet-semilattices with operators S Kikot, A Kurucz, Y Tanaka, F Wolter, M Zakharyaschev The Journal of Symbolic Logic 84 (2), 533-588, 2019 | 19 | 2019 |
| 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 | 19 | 2014 |
| 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 | 19 | 2014 |
| 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 | 17 | 2013 |
| 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 | 14 | 2015 |
| Sahlqvist Theorems for Precontact Logics. P Balbiani, S Kikot Advances in modal logic 9, 55-70, 2012 | 14 | 2012 |
| Query Answering via Modal Definability with FaCT++: First Blood. S Kikot, D Tsarkov, M Zakharyaschev, E Zolin Description Logics, 328-340, 2013 | 12 | 2013 |
| Query rewriting over shallow ontologies S Kikot, R Kontchakov, V Podolskii, M Zakharyaschev CEUR-WS, 2013 | 11 | 2013 |
| Long rewritings, short rewritings S Kikot, R Kontchakov, V Podolskii, M Zakharyaschev Proceedings of the 2012 International Workshop on Description Logics, 2012 | 11 | 2012 |
| An extension of Kracht's theorem to generalized Sahlqvist formulas S Kikot Journal of Applied Non-Classical Logics 19 (2), 227-251, 2009 | 11 | 2009 |
| Axiomatization of modal logic squares with distinguished diagonal SP Kikot Mathematical Notes 88 (1), 238-250, 2010 | 9 | 2010 |
| On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. S Kikot, V Ryzhikov, PA Walega, M Zakharyaschev Description Logics 2211, 2018 | 8 | 2018 |
| Filtration safe operations on frames S Kikot, I Shapirovsky, E Zolin Advances in modal logic 10, 333-352, 2014 | 8 | 2014 |
| 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 | 7 | 2016 |
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
