Истраживачи
Ognjanović, Zoran
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2003 | An intuitionistic logic with probabilistic operators | Marković, Zoran; Ognjanović, Zoran   ; Rašković, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | Completeness theorem for a first order linear-time logic | Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | The resolution tableau for logics of likelihood | Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2000 | On two approaches to modal theorem proving | Ognjanović, Zoran ; Timotijević, Tatjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | A first order probability logic, LPQ | Rašković, Miodrag; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1996 | A logic with higher order probabilities | Ognjanović, Zoran ; Rašković, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1995 | Šta sve donosi veštačka inteligencija | Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1995 | Ekspertni sistem za iskopine 'Pandora' | Korać, Miomir ; Ognjanović, Zoran D. ; Dugandžić, Filip | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1990 | A contribution to the organization of an expert system for process control of FMC (✓) | Jocković, Miroslav; Vukobratović, Miomir ; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |