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

Statistics
Total publications: 13
Scientific articles: 13
Presentations: 6

Number of views:
This page:596
Abstract pages:2375
Full texts:235
References:95
Candidate of physico-mathematical sciences (2010)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:

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

Publications in Math-Net.Ru Citations
2025
1. S. P. Kikot', M. Rybakov, “Conjunctive queries to knowledge bases: Which semantics should we choose?”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2025, no. 3,  5–24  mathnet  elib
2022
2. Olga Gerasimova, Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev, “A tetrachotomy of ontology-mediated queries with a covering axiom”, Artif. Intell., 309 (2022),  103738–46  mathnet  mathscinet 1
2018
3. 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 15
2017
4. 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
5. 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
6. 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
7. 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 7
2014
8. 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 44
9. Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin, “Filtration safe operations on frames”, Advances in Modal Logic, 12 (2014),  333–352  mathnet  mathscinet  zmath
10. 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
11. S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Query Rewriting over Shallow Ontologies”, CEUR Workshop Proceedings, 1014 (2013),  316–327  mathnet  scopus
2012
12. 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 20
2010
13. 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 9

Presentations in Math-Net.Ru
1. Пространственный интеллект беспилотного автомобиля и принятие решений на основе правил
S. P. Kikot'

June 29, 2023 13:30   
2. Об аксиоматизации строго позитивных фрагментов модальных логик
M. Zakharyaschev, S. P. Kikot'
Seminars "Proof Theory" and "Logic Online Seminar"
December 26, 2016 18:30
3. Семантические технологии: новая жизнь для математической логики
Михаил Захарьящев, Станислав Кикоть
Colloquium of the Faculty of Computer Science
December 22, 2016 18:10   
4. Модальные логики элементарных классов шкал Крипке и теория соответствия
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
5. On the length of conjunctive query rewritings for OWL 2 QL theories
S. P. Kikot'
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 16, 2013 18:30
6. 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 to the website  Logotypes © Steklov Mathematical Institute RAS, 2026