Researchers
Ognjanović, Zoran
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2015 | Bee colony optimization for the satisfiability problem in probabilistic logic | Stojanović, Tatjana   ; Davidović, Tatjana ; Ognjanović, Zoran | Article | 21M21 |
| 2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Article | 22M22 |
| 2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas | Article | 21M21 |
| 2015 | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Article | 21M21 |