Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za jul 2015.
Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 15h, pod rukovodstvom Profesora Miodraga Raskovica.
ČETVRTAK, 9.07.2015. U 15:00
Aleksandra Arsic
Predstavljanje rada: ENTAILMENT AMONG PROBABILISTIC IMPLICATIONS*
Albert Atserias and Jose L. Balcazar Department of Computer Science Universitat Polit`ecnica de Catalunya
ČETVRTAK, 16.07.2015. U 15:00
Nenad Savic
LOGIKA SA GORNJIM I DONJIM VEROVATNOSNIM OPERATORIMA
ČETVRTAK, 30.07.2014. U 15:00
Sinisa Tomovic
PRIKAZ RADOVA
Prikaz radova: Bisimulacija i izrazajnost logika sa uslovnim verovanjem, stepenima verovanja i sigurnim verovanjem. Linearna temporalna logika sa operatorom frekvencije.
Beograd, 2015.