Истраживачи
Ognjanović, Zoran
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2015 | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2015 | Bee colony optimization for the satisfiability problem in probabilistic logic | Stojanović, Tatjana ; Davidović, Tatjana ; Ognjanović, Zoran | Научни чланак | 21M21 - Рад у врхунском међ. часопису |