Истраживачи
Ognjanović, Zoran
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2022 | Incomplete Information and Justifications (✓) | Doder, Dragan  ; Ognjanović, Zoran  ; Savić, Nenad; Studer, Thomas | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2022 | A Logic of Interactive Proofs (✓) | Lehnherr, David; Studer, Thomas; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2022 | The logic ILP for intuitionistic reasoning about probability (✓) | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2022 | Probabilistic-Temporal Logic with Actions (✓) | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |