Ognjanović, Zoran

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 21-40 од 305 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2021	Logics for reasoning about degrees of confirmation	Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2021	Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019)	Kern-Isberner, Gabriele; Ognjanović, Zoran	Остало	Мп категорија ће бити приказана накнадно.
2021	Automated non-monotonic reasoning in System P	Stojanovic, Tatjana ; Ikodinović, Nebojša. ; Davidovíc T. ; Ognjanović Z.	Научни чланак	22M22 - Међународни часопис категорије M22
2021	Federating Digital Contact Tracing using Structured Overlay Networks	Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Logical formalization of Bayesian concepts of confirmation	Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Probabilistic Modeling of Default Reasoning	Ikodinović, Nebojša ; Ognjanović, Zoran	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2020	A First-order Logic for Reasoning about Knowledge and Probability	Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2020	Logics with Probability Operators	Ognjanović, Zoran ; Ilić Stepić, Angelina	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2020	An Introduction To Logics With Probability Operators	Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Electronic Guides – An Example of Application of Information Technologies in Representation of National Heritage	Radomir Stanković ; Dušan Tatić ; Zoran Ognjanović	Научни чланак	Мп категорија ће бити приказана накнадно.
2020	Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities	Doder, Dragan; Savić, Nenad; Ognjanović, Zoran	Научни чланак	21aM21a - Водећи међународни часопис категорије M21a
2020	Probabilistic justification logic	Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2020	Reasoning About Degrees of Confirmation	Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case	Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Logic and Applications - LAP Meeting	Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas	Остало	Мп категорија ће бити приказана накнадно.
2020	Correctness of the chord protocol	Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton	Научни чланак	22M22 - Међународни часопис категорије M22
2020	Digitalna prezentacija kulturne baštine Novog Pazara	Ognjanović, 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.	Техничко решење	Мп категорија ће бити приказана накнадно.
2020	Completeness theorems for σ–additive probabilistic semantics	Ikodinović, Nebojša ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag	Научни чланак	21aM21a - Водећи међународни часопис категорије M21a
2019	Probabilistic consensus of the blockchain protocol	Marinković, Bojan B. ; P. Glavan; Ognjanović, Zoran D. ; D. Doder; T. Studer	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2019	A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas	Научни чланак	21M21 - Водећи међународни часопис категорије M21