Ognjanović, Zoran

Тип

Година

273 2000 - 2027
32 1901 - 1999

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2021	Automated non-monotonic reasoning in System P	Stojanovic, Tatjana ; Ikodinović, Nebojša. ; Davidovíc T. ; Ognjanović Z.	Научни чланак	22M22 - Међународни часопис категорије M22
2021	An Epistemic Probabilistic Logic with Conditional Probabilities	Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2021	A Probabilistic Temporal Epistemic Logic	Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2021	Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019)	Kern-Isberner, Gabriele; Ognjanović, Zoran	Остало	Мп категорија ће бити приказана накнадно.
2020	Completeness theorems for σ–additive probabilistic semantics	Ikodinović, Nebojša ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag	Научни чланак	21aM21a - Водећи међународни часопис категорије M21a
2020	An Introduction To Logics With Probability Operators	Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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	Logic and Applications - LAP Meeting	Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas	Остало	Мп категорија ће бити приказана накнадно.
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	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	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	Correctness of the chord protocol	Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton	Научни чланак	22M22 - Међународни часопис категорије M22
2020	Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case	Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2020	Probabilistic justification logic	Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2020	Reasoning About Degrees of Confirmation	Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2019	Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данас	Огњановић, Зоран ; Маринковић, Бојан	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2019	Proving properties of the Chord protocol using the ASM formalism	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22