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