Ognjanović, Zoran

Type

Date issued

273 2000 - 2027
32 1900 - 1999

Mp-cat.

171 М30/М60
28 M20/M50
22 M21
22 M80
14 M10/M40
14 M22
12 M23
8 M21a
6 other
3 M21a+
. next >

Date issued - custom

Year from:

Year to:

Results 21-40 of 305 Results/Page

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