Browsing eNauka
Browsing by Author Ognjanović, Zoran
Showing results 1 to 20 of 334
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 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 |
| 2011 | A Branching-time Probabilistic Logic | Doder, Dragan ; Zoran Marković; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2017 | A case study of the usage of information technologies and mobile devices by visitors in museum environments | Tatić, Dušan D. ; N. Jovanović; D. Tatić; Stanković, Radomir S. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2003 | A Conditional Probability Logic | Rašković, Miodrag; Ognjanović, Zoran ; Marković, Zoran | Conference Paper | Mp. category will be shown later |
| 1990 | A contribution to the organization of an expert system for process control of FMC | Jocković, Miroslav; Vukobratović, Miomir ; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 2018 | A decidable multi-agent logic with iterations of upper and lower probability operators | Dragan Doder; Nenad Savic; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2011 | A distributed catalog for digitized cultural heritage | Marinković, Bojan ; Liquori, Luigi; Ciancaglini, Vincenzo; Ognjanović, Zoran | Conference Paper | 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 |
| 2012 | A Distributed Implementation of a Catalog of Digitized Cultural Collections | Marinković, Bojan ; Ognjanović, Zoran ; Butigan Vučaj Tamara | Conference Paper | Mp. category will be shown later |
| 1999 | A first order probability logic, LPQ | Rašković, Miodrag; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 2012 | A first-order conditional probability logic | Milosevic, M.; Ognjanović, Zoran | Article | 21a+M21a+ |
| 2013 | A first-order conditional probability logic with iterations | Milosevic, Milos; Ognjanović, Zoran | Article | 23M23 |
| 2013 | A first-order dynamic probability logic | Ognjanović, Zoran ; Perović, Aleksandar ; Doder, Dragan | Conference Paper | Mp. category will be shown later |
| 2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2020 | A First-order Logic for Reasoning about Knowledge and Probability | Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan | Article | 21M21 |
| 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 |
| 2014 | A first-order probabilistic logic with approximate conditional probabilities | Ikodinović, Nebojša ; Rašković, M.; Marković, Z.; Ognjanović, Zoran | Article | 21a+M21a+ |
| 2004 | A genetic algorithm for probabilistic SAT problem | Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef | Article | 22M22 |
| 2003 | A genetic algorithm for PSAT | Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef | Conference Paper | Mp. category will be shown later |
| 2001 | A genetic algorithm for satisfiability problem in a probabilistic logic: A first report | Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš | Article | 21M21 |