Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кикоть Станислав Павлович

В базах данных Math-Net.Ru
Публикаций: 12
Научных статей: 12
Лекций и докладов: 6

Статистика просмотров:
Эта страница:448
Страницы публикаций:1306
Полные тексты:179
Списки литературы:52
кандидат физико-математических наук (2010)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:

Научная биография:

О модальных логиках элементарных классов шкал Крипке : диссертация ... кандидата физико-математических наук : 01.01.06 / Кикоть Станислав Павлович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова]. - Москва, 2010. - 122 с. : ил.


https://www.mathnet.ru/rus/person55466
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2022
1. 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
2. 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 стр.  mathnet  mathscinet  isi  scopus 14
2017
3. 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
4. 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
5. 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),    mathnet  elib  scopus
2015
6. 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 6
2014
7. 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 41
8. Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin, “Filtration safe operations on frames”, Advances in Modal Logic, 12 (2014),  333–352  mathnet  mathscinet  zmath
9. 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
10. S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Query Rewriting over Shallow Ontologies”, CEUR Workshop Proceedings, 1014 (2013),  316–327  mathnet  scopus
2012
11. 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
12. С. П. Кикоть, “Об аксиоматике квадратов модальных логик с выделенной диагональю”, Матем. заметки, 88:2 (2010),  261–274  mathnet  mathscinet; S. P. Kikot', “Axiomatization of Modal Logic Squares with Distinguished Diagonal”, Math. Notes, 88:2 (2010), 238–250  isi  scopus 7

Доклады и лекции в базе данных Math-Net.Ru
1. Пространственный интеллект беспилотного автомобиля и принятие решений на основе правил
С. П. Кикоть
Однодневный семинар по математической логике
29 июня 2023 г. 13:30   
2. Об аксиоматизации строго позитивных фрагментов модальных логик
М. В. Захарьящев, С. П. Кикоть
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
26 декабря 2016 г. 18:30
3. Семантические технологии: новая жизнь для математической логики
Михаил Захарьящев, Станислав Кикоть
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
22 декабря 2016 г. 18:10   
4. Модальные логики элементарных классов шкал Крипке и теория соответствия
С. П. Кикоть
Совместный семинар лаборатории J.-V. Poncelet и сектора Алгебры и теории чисел № 4.1 ИППИ РАН «Арифметика, геометрия и теория кодирования»
11 марта 2014 г. 17:30
5. О нижних оценках длины переписывания конъюнктивных запросов относительно некоторых теорий первого порядка
С. П. Кикоть
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
16 апреля 2013 г. 18:30
6. Semantic characterization of Kracht formulas
Stanislav Kikot
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
26 августа 2010 г. 09:15   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024