Ognjanović, Zoran

Type

Date issued

273 2000 - 2027
32 1901 - 1999

Mp-cat.

170 М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 Probabilistic Temporal Epistemic Logic	Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar	Conference Paper	Mp. category will be shown later
2021	An Epistemic Probabilistic Logic with Conditional Probabilities	Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran	Conference Paper	Mp. category will be shown later
2021	A Logic of Interactive Proofs	Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas	Conference Paper	Mp. category will be shown later
2021	Logics for Reasoning about Knowledge and Conditional Probability	Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran	Conference Paper	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	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	Reasoning About Degrees of Confirmation	Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran	Conference Paper	Mp. category will be shown later
2020	Probabilistic justification logic	Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas	Article	21M21
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	Completeness theorems for σ–additive probabilistic semantics	Ikodinović, Nebojša ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag	Article	21aM21a
2020	A First-order Logic for Reasoning about Knowledge and Probability	Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan	Article	21M21
2020	Logics with Probability Operators	Ognjanović, Zoran ; Ilić Stepić, Angelina	Book parts	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	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
2019	Cultural heritage digitization in Serbia: Standards, policies, and case studies	Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan	Article	22M22
2019	TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM	Zoran Ognjanović ; Bojan Marinković ; Šegan-Radonjić, Marija S. ; Dejan Masliković	Conference Paper	Mp. category will be shown later