Researchers
Ognjanović, Zoran
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case (✓) | Ghilezan, Silvia   ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
| 2020 | Reasoning About Degrees of Confirmation | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2020 | An Introduction To Logics With Probability Operators | Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2020 | Logical formalization of Bayesian concepts of confirmation | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |