Researchers

Publications



Refined By:
Date Issued:  2010

Issue DateTitleAuthor(s)TypeМ-cat.
2010Digitization of mathematical editions in SerbiaMijajlović, Žarko; Ognjanović, Zoran  ; Pejović, Aleksandar Article
Mp. category will be shown later
2010An axiomatization of a first-order branching time temporal logicDoder, Dragan ; Ognjanović, Zoran  ; Zoran MarkovićArticle
Mp. category will be shown later
2010An extension of the probability logic LPP_2Ognjanović, Zoran  ; Tatjana Stojanović; Ana Kaplarević-MališićArticle
51M51
2010An extension of the probability logic $LPP_2$Stojanović, Tatjana; Kaplarević-Mališić, Ana; Ognjanović, Zoran  Article
Mp. category will be shown later
2010A probabilistic temporal Logic that can model reasoning about evidencePerović, Aleksandar  ; Doder, Dragan ; Zoran Markovic; Ognjanović, Zoran  ; Rašković, Miodrag  Article
Mp. category will be shown later
2010An extension of the probability logic LPP2Stojanović, Tatjana  ; Kaplarević-Mališić, Ana  ; Ognjanović, Zoran D.  Article
51M51
2010Measures of inconsistency and defaultsDoder, Dragan ; Rašković, Miodrag  ; Marković, Zoran; Ognjanović, Zoran  Article
21M21