Istraživači

Rezultati 21-40 od 305
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2021Logics for reasoning about degrees of confirmationDautović, Šejla  ; Doder, Dragan ; Ognjanović, Zoran  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2021Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019)Kern-Isberner, Gabriele; Ognjanović, Zoran  Ostalo
Mp kategorija će biti prikazana naknadno.
2021Automated non-monotonic reasoning in System PStojanovic, Tatjana  ; Ikodinović, Nebojša.  ; Davidovíc T.  ; Ognjanović Z.  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2021Federating Digital Contact Tracing using Structured Overlay NetworksGhilezan, Silvia ; Kašterović, Simona  ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran  ; Stefanović, Tamara  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Electronic Guides – An Example of Application of Information Technologies in Representation of National HeritageRadomir Stanković  ; Dušan Tatić  ; Zoran Ognjanović  Naučni članak
Mp kategorija će biti prikazana naknadno.
2020Logics with Probability OperatorsOgnjanović, Zoran  ; Ilić Stepić, AngelinaPoglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2020A First-order Logic for Reasoning about Knowledge and ProbabilityTomović, Siniša  ; Ognjanović, Zoran  ; Doder, DraganNaučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2020Logical formalization of Bayesian concepts of confirmationDautović, Šejla  ; Doder, Dragan; Ognjanović, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Probabilistic Modeling of Default ReasoningIkodinović, Nebojša  ; Ognjanović, Zoran  Poglavlje u monografiji
Mp kategorija će biti prikazana naknadno.
2020An Introduction To Logics With Probability OperatorsOgnjanović, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Towards Probabilistic Reasoning in Type Theory - The Intersection Type CaseGhilezan, Silvia  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, NenadKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Correctness of the chord protocolMarinković, Bojan ; Ognjanović, Zoran  ; Glavan, Paola; Kos, Anton; Umek, AntonNaučni članak
22M22 - Međunarodni časopis kategorije M22
2020Probabilistic justification logicKokkinis, Ioannis; Ognjanović, Zoran  ; Studer, ThomasNaučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2020Reasoning About Degrees of ConfirmationDautović, Šejla  ; Doder, Dragan; Ognjanović, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
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
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.
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
2019A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocolMarinković, Bojan ; Glavan, Paola; Ognjanović, Zoran  ; Studer, ThomasNaučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2019Probabilistic consensus of the blockchain protocolMarinković, Bojan B. ; P. Glavan; Ognjanović, Zoran D.  ; D. Doder; T. StuderKonferencijski rad
Mp kategorija će biti prikazana naknadno.