Институт математики
и фундаментальной информатики СФУ

Доклад:

Смелых К.А. - Методы проверки моделей и алгоритмы разрешимости для мультиагентных логик.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Мукосий А.А.

Доклад:

Смелых К.А. - Методы проверки моделей для модальных логик.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Мукосий А.А.

Доклад:

Фисков Я.С. - Принцип аксиоматической трансляции.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Фисков Я.С.
• Мукосий А.А.

Доклад:

Мукосий А.А. - Деревья унификаторов.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Фисков Я.С.
• Мукосий А.А.

Доклад:

Поляков А.В. - Допустимые правила вывода в унификации.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.

Доклад:

Брылякова Е.В. - Эквивалентность унификаторов в
суперинтуиционистскихлогиках.

Башмаков С.И. - Невозможность конечной аксиоматизации.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Фисков Я.С.
• Мукосий А.А.

Доклад:

Смелых К.А. - Элементы мультиагентной логики в обучении с подкреплением.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.

Доклад:

Поляков А.В. - Метод n-характеристичекой модели для суперинтуиционистской логики L2.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.
• Фисков Я.С.
• Мукосий А.А.

Доклад:

Брылякова Е.В. - Решётки топобулевых алгебр.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.

Доклад:

Поляков А.В. - Обобщение кортежной семантики для рефлексивных и транзитивных линейных модальных логик.

Смелых К.А. - Разрешимость логики CTLK.

Участники семинара:

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.