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

Доклады и лекции в базе данных 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