Researchers
Ognjanović, Zoran
Type
Date issued - custom
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran   ; Studer, Thomas | Article | 21M21 |
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Article | 22M22 |
| 2015 | A p-adic probability logic (✓) | Ikodinović, Nebojša ; Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar M. | Conference Paper | Mp. category will be shown later |
| 2015 | PROJECT 'DIGITARIJUM': CREATION OF TEACHING MATERIAL FOR DIGITAL HERITAGE | Vujošević, Sandra ; Knežević, Milica ; Ognjanović, Zoran ; Šegan, Marija | Conference Paper | Mp. category will be shown later |
| 2015 | Some applications of probabilistic first-order logics (✓) | Ikodinović, Nebojša ; Ognjanović, Zoran ; Rašković, Miodrag ; Zoran Marković | Conference Paper | Mp. category will be shown later |
| 2015 | ELEKTRONSKI KATALOG SPOMENICI KULTURE U SRBIJI (2014 – 2015) | Vujošević, Sandra; Ognjanović, Zoran ; Šegan-Radonjić, Marija | Conference Paper | Mp. category will be shown later |
| 2015 | Digitalizacija naučnog i kulturnog - nasleđa u srednjoškolskom - Obrazovanju | Ognjanović, Zoran ; Šegan, Marija ; Milica Lajbenšperger; Sanja Rajić; Aleksandra Ivanović | Conference Paper | Mp. category will be shown later |
| 2015 | First-Order Probabilistic Common Knowledge Logic | Tomović, Siniša S. ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | Stvaranje Cendari digitalnog repozitorijuma o Prvom svetskom ratu I srenjevekovnoj kulturi Evrope (✓) | Knežević, Milica ; Marinković, Bojan ; Čukić, Ivan ; Ognjanović, Zoran ; Nataša Bulatović; Todorović, Milan ; Jörg Lehmann; Andrei Zamoiski | Conference Paper | Mp. category will be shown later |
| 2015 | A probabilistic logic for reasoning about uncertain temporal information | Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | Probabilistic common knowledge among infinite number of agents | Tomović, Siniša S. ; Ognjanović, Zoran ; Doder, Dragan | Conference Paper | Mp. category will be shown later |
| 2015 | Proving formal properties of the Chord protocol using Isabelle | Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Aleksandar Zeljić; Paola Glavan | Conference Paper | Mp. category will be shown later |
| 2015 | Bee colony optimization for the satisfiability problem in probabilistic logic | Stojanović, Tatjana ; Davidović, Tatjana ; Ognjanović, Zoran | Article | 21M21 |
| 2015 | SERBIA-FORUM - KORAK KA BOLjOJ VIDLjIVOSTI DIGITALIZOVANE KULTURNE BAŠTINE U SRBIJI | Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Aleksandar Mihajlović; Jelisavčić, Vladisav ; Tomović, Siniša ; Milutinović, Veljko | Conference Paper | Mp. category will be shown later |
| 2015 | Digitalizacija naučnog i kulturnog nasleđa u srednjoškolskom obrazovanju | Šegan-Radonjić, Marija ; Lajbenšperger, Milica; Rajić, Sanja; Ivanović, Aleksandra; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | Probabilistic logics with independence and probabilistic support | Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2014 | Digital Catalogue of Cultural - Monuments in Serbia 2012X2013: Overview and Highlights | Šegan, Marija ; Milovanović, Miloš R. ; Ognjanović, Zoran D. ; S. Rajić; Ž. Mijajlović | Conference Paper | Mp. category will be shown later |
| 2014 | Dealing with satis_x000c_ability problem in default logic using Bee-colony optimization (✓) | Stojanović, Tatjana ; Ikodinović, Nebojša M. ; Davidović, Tatjana M. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2014 | Digital Catalogue of Cultural Monuments in Serbia 2012 - 2013: Overview and Highlights | Šegan-Radonjić, Marija ; Milovanović, Miloš ; Ognjanović, Zoran ; Rajić, Sanja; Mijajlović, Žarko | Conference Paper | Mp. category will be shown later |