Истраживачи
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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | An Epistemic Probabilistic Logic with Conditional Probabilities (✓) | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | A Probabilistic Temporal Epistemic Logic (✓) | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | Federating Digital Contact Tracing using Structured Overlay Networks (✓) | Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | Logics for Reasoning about Knowledge and Conditional Probability (✓) | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | A Logic of Interactive Proofs (✓) | Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case (✓) | Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2020 | Logical formalization of Bayesian concepts of confirmation | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2020 | An Introduction To Logics With Probability Operators | Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2020 | Reasoning About Degrees of Confirmation | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |