ИСТИНА

Кикоть Станислав Павлович

Соавторы: Золин Е.Е., Захарьящев М.В., Шапировский И.Б., 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 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
    • Ведущая организация: Математический институт им. В.А.Стеклова РАН
    • Оппоненты: Максимова Лариса Львовна, Рыбаков Михаил Николаевич