Истраживачи

eNauka >  Istraživači >  Ognjanović, Zoran

Ognjanović, Zoran

Rezultati 21-40 od 305
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2021Federating Digital Contact Tracing using Structured Overlay NetworksGhilezan, Silvia ; Kašterović, Simona  ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran  ; Stefanović, Tamara  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2021A Probabilistic Temporal Epistemic LogicIlić Stepić, Angelina  ; Ognjanović, Zoran  ; Perović, Aleksandar  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2021An Epistemic Probabilistic Logic with Conditional ProbabilitiesDautović, Šejla  ; Doder, Dragan ; Ognjanović, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2021Logics for reasoning about degrees of confirmationDautović, Šejla  ; Doder, Dragan ; Ognjanović, Zoran  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2020Probabilistic justification logicKokkinis, Ioannis; Ognjanović, Zoran  ; Studer, ThomasНаучни чланак
21M21 - Водећи међународни часопис категорије M21
2020Reasoning About Degrees of ConfirmationDautović, Šejla  ; Doder, Dragan; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2020Towards Probabilistic Reasoning in Type Theory - The Intersection Type CaseGhilezan, Silvia  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, NenadКонференцијски рад
Мп категорија ће бити приказана накнадно.
2020Logical formalization of Bayesian concepts of confirmationDautović, Šejla  ; Doder, Dragan; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2020An Introduction To Logics With Probability OperatorsOgnjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2020Probabilistic Modeling of Default ReasoningIkodinović, Nebojša; Ognjanović, Zoran  Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2020Logic and Applications - LAP MeetingŠikić, Zvonimir; Ghilezan, Silvia  ; Ognjanović, Zoran  ; Studer, ThomasOstalo
Mp kategorija će biti prikazana naknadno.
2020Digitalna prezentacija kulturne baštine Novog PazaraOgnjanović, Zoran D.  ; Vanja Korać  ; Knežević, Milica M.  ; Aleksandra Arsić  ; Novaković, Maja I.  ; Vukelić, Dejan M.  ; Dragan Aćimović; Radomir Stanković; Tatić, Dušan D.  Tehničko rešenje
Mp kategorija će biti prikazana naknadno.
2020Correctness of the chord protocolMarinković, Bojan ; Ognjanović, Zoran  ; Glavan, Paola; Kos, Anton; Umek, AntonНаучни чланак
22M22 - Међународни часопис категорије M22
2020Completeness theorems for σ–additive probabilistic semanticsIkodinović, Nebojša  ; Ognjanović, Zoran  ; Perović, Aleksandar; Rašković, MiodragNaučni članak
21aM21a - Vodeći međunarodni časopis kategorije M21a
2020Logics with Probability OperatorsOgnjanović, Zoran  ; Ilić Stepić, AngelinaПоглавље у монографији
Мп категорија ће бити приказана накнадно.
2020A First-order Logic for Reasoning about Knowledge and ProbabilityTomović, Siniša  ; Ognjanović, Zoran  ; Doder, DraganНаучни чланак
21M21 - Водећи међународни часопис категорије M21
2020Electronic Guides – An Example of Application of Information Technologies in Representation of National HeritageRadomir Stanković  ; Dušan Tatić  ; Zoran Ognjanović  Научни чланак
Мп категорија ће бити приказана накнадно.
2020Multi-agent Logics for Reasoning About Higher-Order Upper and Lower ProbabilitiesDoder, Dragan; Savić, Nenad; Ognjanović, Zoran  Naučni članak
21aM21a - Vodeći međunarodni časopis kategorije M21a
2019Cultural heritage digitization in Serbia: Standards, policies, and case studiesOgnjanović, Zoran  ; Marinković, Bojan ; Šegan-Radonjić, Marija  ; Masliković, Dejan  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2019Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данасОгњановић, Зоран  ; Маринковић, БојанКонференцијски рад
Мп категорија ће бити приказана накнадно.