Researchers
Ognjanović, Zoran
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2000 | On two approaches to modal theorem proving | Ognjanović, Zoran   ; Timotijević, Tatjana | Article | Mp. category will be shown later |
| 2000 | Some first-order probability logics | Ognjanović, Zoran ; Rašković, Miodrag | Article | 22M22 |
| 1999 | Some probability logics with new types of probability operators | Ognjanović, Zoran ; Rašković, Miodrag | Article | 21M21 |
| 1999 | A first order probability logic, LPQ | Rašković, Miodrag; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 1996 | A logic with higher order probabilities | Ognjanović, Zoran ; Rašković, Miodrag | Article | Mp. category will be shown later |
| 1995 | Šta sve donosi veštačka inteligencija | Ognjanović, Zoran | Article | Mp. category will be shown later |
| 1995 | Ekspertni sistem za iskopine 'Pandora' | Korać, Miomir ; Ognjanović, Zoran D. ; Dugandžić, Filip | Article | Mp. category will be shown later |
| 1994 | A tableau-like proof procedure for normal modal logics | Ognjanović, Zoran | Article | 23M23 |
| 1990 | Approach to the modeling of the highest control level of flexible manufacturing cell | Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Article | 23M23 |
| 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 |