|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
ISRALOG ’17. The Third Israeli Workshop on Non-Classical Logics and Their Applications. University of Haifa 15-17 Oct. 2017.Конференция
- Охват: Международная
- Даты проведения: 15-17 октября 2017
- Место проведения: University of Haifa, Israel
-
Организатор:
University of Haifa - Число участников: 40
- Число участников из МГУ: 1
- Число докладчиков: 40
- Веб-сайт: http://is.haifa.ac.il/~annazam/isralog17/
-
Описание конференции:
Non-classical logics are increasingly used in various fields of information systems and computer science. They provide formal tools for handling uncertain, imprecise and inconsistent information, knowledge representation, program verification and reasoning about dynamic structures.
- Добавил в систему: Григорьев Олег Михайлович
Доклады:
- 2017 Logic of Bipartite Truth with Uncertainty Dimension (Устный)
- Автор: Grigoriev O.M.