RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Kikot', Stanislav P

Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Presentations: 5

Number of views:
This page:243
Abstract pages:356
Full texts:93
References:38
E-mail:

http://www.mathnet.ru/eng/person55466
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2018
1. Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “Ontology-mediated queries: Combined complexity and succinctness of rewritings via circuit complexity”, Journal of the ACM, 65:5 (2018), 028, 51 pp.  mathnet  mathscinet  isi  scopus
2017
2. O. A. Gerasimova, S. P. Kikot, V. V. Podolskii, M. Zakharyaschev, “More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom”, Commun. Comput. Inf. Sci., 786 (2017),  143–158  mathnet  mathscinet  scopus
3. O. Gerasimova, S. Kikot, V. Podolskii, M. Zakharyaschev, “On the data complexity of ontology-mediated queries with a covering axiom”, CEUR Workshop Proceedings, 1879 (2017),  39–12  mathnet  scopus
2016
4. M. Bienvenu, S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries”, CEUR Workshop Proceedings, 1577 (2016),  0  mathnet  elib  scopus
2015
5. Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii, “Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results”, LICS, 2015,  317–328  mathnet  isi  scopus
2014
6. G. Gottlob, S. Kikot, R. Kontchakov, V. Podolskii, T. Schwentick, M. Zakharyaschev, “The price of query rewriting in ontology-based data access”, Artif. Intell., 213 (2014),  42–59  mathnet  mathscinet  zmath  isi  scopus
7. Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin, “Filtration safe operations on frames”, Advances in Modal Logic, 12 (2014),  333–352  mathnet  mathscinet  zmath
8. M. Bienvenu, S. Kikot, V. Podolskii, “Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries”, CEUR Workshop Proceedings, 1193 (2014),  45–57  mathnet  scopus
2013
9. S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Query Rewriting over Shallow Ontologies”, CEUR Workshop Proceedings, 1014 (2013),  316–327  mathnet  scopus
2012
10. S. Kikot, R. Kontchakov, V. V. Podolskii, M. Zakharyaschev, “Exponential lower bounds and separation for query rewriting”, Lecture Notes in Comput. Sci., 7392 (2012),  263–274  mathnet  mathscinet  zmath  isi  scopus
2010
11. S. P. Kikot', “Axiomatization of Modal Logic Squares with Distinguished Diagonal”, Mat. Zametki, 88:2 (2010),  261–274  mathnet  mathscinet; Math. Notes, 88:2 (2010), 238–250  isi  scopus

Presentations in Math-Net.Ru
1. Об аксиоматизации строго позитивных фрагментов модальных логик
M. Zakharyaschev, S. P. Kikot'
Seminars "Proof Theory" and "Logic Online Seminar"
December 26, 2016 18:30
2. Семантические технологии: новая жизнь для математической логики
M. Zakharyaschev, S. P. Kikot'
Colloquium of the Faculty of Computer Science
December 22, 2016 18:10
3. Модальные логики элементарных классов шкал Крипке и теория соответствия
S. P. Kikot'
The joint seminar of the Sector 4.1 (IITP RAS) and Poncelet French-Russian laboratory "Arithmetic Geometry and Coding Theory"
March 11, 2014 17:30
4. On the length of conjunctive query rewritings for OWL 2 QL theories
S. P. Kikot'
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
April 16, 2013 18:30
5. Semantic characterization of Kracht formulas
Stanislav Kikot
The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 26, 2010 09:15   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020