Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
Кикоть Станислав Павлович
Соавторы:
Золин Е.Е.
,
Захарьящев М.В.
,
Шапировский И.Б.
,
Gottlob G.
,
Kurucz A.
,
Schwentick T.
,
Wolter F.
,
Кончаков Р.В.
,
Подольский В.В.
,
Царьков Д.В.
7 статей
,
2 доклада на конференциях
,
2 НИР
,
1 диссертация
Количество цитирований статей в журналах по данным Web of Science: 41, Scopus: 82
IstinaResearcherID (IRID): 8114565
Деятельность
Статьи в журналах
2014
The price of query rewriting in ontology-based data access
Gottlob Georg
,
Kikot Stanislav
,
Kontchakov Roman
,
Podolskii Vladimir
,
Schwentick Thomas
,
Zakharyaschev Michael
в журнале
Artificial Intelligence
, издательство
Elsevier BV
(Netherlands)
, том 213, с. 42-59
DOI
2013
Modal Definability of First-Order Formulas with Free Variables and Query Answering
Kikot Stanislav
,
Zolin Evgeny
в журнале
Journal of Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 11, № 2, с. 190-216
DOI
Статьи в сборниках
2020
Modal logics with transitive closure: Completeness, decidability, filtration
Kikot Stanislav
,
Shapirovsky Ilya
,
Zolin Evgeny
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 13, с. 369-388
2018
Kripke completeness of strictly positive modal logics over meet semi-lattices with operators
Kikot Stanislav
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 9-9
2018
On strictly positive modal logics with S4.3 frames
Kikot Stanislav
,
Kurucz Agi
,
Wolter Frank
,
Zakharyaschev Michael
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 12, с. 427-446
2014
Filtration Safe Operations on Frames
Kikot Stanislav
,
Shapirovsky Ilya
,
Zolin Evgeny
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publication London
, том 10, с. 333-352
2013
Query Answering via Modal Definability with FaCT++: First Blood
Kikot Stanislav
,
Tsarkov Dmitry
,
Zakharyaschev Michael
,
Zolin Evgeny
в сборнике
Proceedings of the 26th International Workshop on Description Logics (DL 2013)
, серия
CEUR Workshop Proceedings (CEUR-WS.org)
, место издания
CEUR-WS.org
, том 1014, с. 328-340
Доклады на конференциях
2020
Модальные логики с оператором транзитивного замыкания
(Устный)
Авторы:
Золин Евгений Евгеньевич
,
Кикоть Станислав
,
Шапировский Илья
Ломоносовские чтения 2020. Секция математики
, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
2020
Modal logics with transitive closure: Completeness, decidability, filtration
(Устный)
Авторы:
Kikot Stanislav
,
Shapirovsky Ilya
,
Zolin Evgeny
Advances in Modal Logic (AiML 2020)
, Helsinki, Финляндия, 24-28 августа 2020
НИРы
1 января 2014 - 31 декабря 2015
Исследование моделей неклассических логик
Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
Руководитель:
Шапировский И.Б.
Участники НИР:
Золин Е.Е.
,
Кикоть С.П.
,
Кудинов А.В.
,
Осипов И.И.
,
Рыбаков М.Н.
,
Савельев Д.И.
,
Скворцов Д.П.
,
Смелянский Д.М.
,
Чагров А.В.
1 января 2011 - 31 декабря 2013
Исследование разрешимых фрагментов модальных и алгебраических логик
Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
Руководитель:
Шехтман В.Б.
Участники НИР:
Золин Е.Е.
,
Измайлов М.М.
,
Кикоть С.П.
,
Кудинов А.В.
,
Осипов И.И.
,
Пентус М.Р.
,
Сорокин А.А.
,
Чижов А.С.
,
Шапировский И.Б.
Диссертация
2010
О модальных логиках элементарных классов шкал Крипке
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Кикоть Станислав Павлович
Научный руководитель:
Шехтман Валентин Борисович
, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова
Ведущая организация:
Математический институт им. В.А.Стеклова РАН
Оппоненты:
Максимова Лариса Львовна
,
Рыбаков Михаил Николаевич