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

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

Статистика просмотров:
Эта страница:243
Страницы публикаций:352
Полные тексты:89
Списки литературы:38
E-mail:

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

Публикации в базе данных 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 стр.  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),    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. С. П. Кикоть, “Об аксиоматике квадратов модальных логик с выделенной диагональю”, Матем. заметки, 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

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

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