Researchers
Ognjanović, Zoran
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2011 | Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm | Perović, Aleksandar   ; Ognjanović, Zoran ; Rašković, Miodrag ; Radojević, Dragan | Article | 21aM21a |
| 2011 | Elektronski Katalog digitalnih kolekcija kulturne i naučne baštine Srbije | Jakšić, Tatjana ; Marinković, Bojan ; Nevena Milojković; Ognjanović, Zoran ; Šegan, Marija | Technical reports | Mp. category will be shown later |
| 2011 | Katalog digitalnih kolekcija kulturne i naučne baštine Srbije | Marinković, Bojan ; Ognjanović, Zoran ; Šegan-Radonjić, Marija ; Milojković, Nevena; Jakšić Kruger, Tatjana | Technical reports | Mp. category will be shown later |
| 2011 | A Distributed Implementation of a Catalog of Digitized Cultural Collection | Marinković, Bojan ; Ognjanović, Zoran ; T. Butigan - Vučaj | Conference Paper | Mp. category will be shown later |
| 2011 | Distribuirana implementacija kataloga digitalizovanih kolekcija kulturne i naučne baštine | Marinković, Bojan ; Ognjanović, Zoran ; T. Butigan - Vučaj | Conference Paper | Mp. category will be shown later |
| 2011 | A first-order probabilistic logic with approximate conditional probabilities (✓) | Ikodinović, Nebojša ; Rašković, Miodrag ; Zoran Marković; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2011 | Doctoral dissertations in NCD Virtual library | Žarko Mijajlović; Ognjanović, Zoran ; Pejović, Nadežda | Conference Paper | Mp. category will be shown later |
| 2011 | A Branching-time Probabilistic Logic | Doder, Dragan ; Zoran Marković; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2011 | Some Temporal-Probabilistic Logics | Doder, Dragan ; Ognjanović, Zoran | Book parts | Mp. category will be shown later |
| 2011 | Katalog digitalizovanih kolekcija | Marinković, Bojan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2011 | Elektronski zdravstveni karton pacijenata Klinike za alergologiju i imunologiju Klinickog centra Srbije (✓) | Glišović, Nataša; Đurić, Vojislav ; Knežević, Milica ; Petar Maksimović; Zoran Marković; Ognjanović, Zoran ; Perić-Popadić, Aleksandra ; Rašković, Miodrag ; Rašković, Sanvila ; Čukić, Ivan | Technical reports | Mp. category will be shown later |
| 2011 | Unapređenje elektronske biblioteke Matematičkog instituta SANU (✓) | Jakšić, Tatjana ; Žarko Mijajlović; Nevena Milojković; Ognjanović, Zoran ; Pejović, Aleksandar ; Radojičić, Nina ; Knežević, Milica ; Mišković, Stefan ; Šegan, Marija ; Vučković, Bojan ;
Milovanović, Miloš
; | Technical reports | Mp. category will be shown later |
| 2011 | A branching time logic with two types of probability operators | Ognjanović, Zoran ; Doder, Dragan ; Marković, Zoran | Conference Paper | Mp. category will be shown later |
| 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 | 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 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 |
| 2010 | Digitization of mathematical editions in Serbia | Mijajlović, Žarko; Ognjanović, Zoran ; Pejović, Aleksandar | 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 | 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 |