Поштоване колегинице и колеге, позивамо вас да присуствујете предавању на Семинару за
рачунарску логику 18. јуна 2026. године, са почетком у 14 часова (сала 301ф,
Кнеза Михаила 36 и онлајн).
Предавач: Драган Додер
Тема предавања: Могући светови као основа за логичко резоновање у присуству неизвесности
Апстракт:
Предавање даје кратак (и површан) преглед неколико логичких система који
имају могуће светове као заједничку семантичку компоненту: модалне и
темпоралне логике, вероватносне логике, немонотоно резоновање и ревизију
веровања (AGM belief revision).
Предавање ће трајати нешто преко сат времена и биће одржано на српском
језику, са слајдовима на енглеском језику.
