Naučni savetnik dr Zoran Ognjanović


Nedostaje slika

dr Zoran Ognjanović

Naučni savetnik


Telefon0112630170
E-mail
Akademsko zvanjeNaučni savetnik
Trenutno nema podataka o biografiji zaposlenog!
NazivU Ustanovi
/

Diploma

Matematičke nauke

Matematički fakultet

1987

Dokazivač teorema u modalnom računu S4 zasnovan na metodi dualnih tabloa

Magistratura

Matematičke nauke

Matematički fakultet

1993

Neke verovatnosne logike i njihove primene u računarstvu

Doktorat

Matematičke nauke

Prirodno-matematički fakultet

1999

Kriterijum produkcijeOpis
(M21) Rad u vrhunskom međunarodnom časopisuMiloš Milošević, Zoran Ognjanović, A first-order conditional probability logic, Logic Journal of the Interest Group in Pure and Applied Logics, 20(1), 235-253, 2012. doi:10.1093/jigpal/jzr033
(M21) Rad u vrhunskom međunarodnom časopisuDragan Doder, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, Measures of inconsistency and defaults, International Journal of Approximate Reasoning 51, 832 - 845, 2010. doi:10.1016/j.ijar.2010.05.007
(M21) Rad u vrhunskom međunarodnom časopisuAleksandar Perović, Zoran Ognjanović, Miodrag Rašković, Dragan Radojević, Finitely additive probability measures on classical propositional formulas definable by Godel's t-norm and product t-norm, Fuzzy Sets and Systems 169, 65-90, 2011. doi:10.1016/j.fss.2010.10.007
(M22) Rad u istaknutom međunarodnom časopisuZoran Marković, Miodrag Rašković, Zoran Ognjanović, A Logic with Approximate Conditional Probabilities that can Model Default Reasoning, International Journal of Approximate Reasoning Volume 49, Issue 1, 52-66, 2008.
(M22) Rad u istaknutom međunarodnom časopisuZoran Markovic, Zoran Ognjanovic, Miodrag Raskovic: A probabilistic extension of intuitionistic logic. Math. Log. Q. 49(4): 415-424 (2003)
(M22) Rad u istaknutom međunarodnom časopisuZoran Ognjanovic, Miodrag Raskovic: Some first-order probability logics. Theor. Comput. Sci. 247(1-2): 191-212 (2000)
(M22) Rad u istaknutom međunarodnom časopisuZoran Ognjanović, Aleksandar Perović, Miodrag Rašković, Logics with the Qualitative Probability Operator, Logic Journal of IGPL, volume 16, number 2, 105--120; doi:10.1093/jigpal/jzm031, 2008.
(M23) Rad u međunarodnom časopisuAleksandar Perović, Dragan Radojević, Zoran Ognjanović, Miodrag Rašković, Interpolative Boolean Logic, Lecture Notes in Computer Science Volume 5253, 209-219, 2008.
(M23) Rad u međunarodnom časopisuDragan Doder, Zoran Ognjanović, Zoran Marković, An Axiomatization of a First-order Branching Time Temporal Logic, Journal of Universal Computer Science, vol. 16, no. 11 (2010), 1439-1451.
(M23) Rad u međunarodnom časopisuZoran Ognjanović, Zoran Marković, Miodrag Rašković, Dragan Doder, Aleksandar Perović, A propositional probabilistic logic with discrete linear time for reasoning about evidence, Annals of Mathematics and Artificial Intelligence vol. 65, nr. 2-3, 217--243, 2012. DOI: 10.1007/s10472-012-9307-9
(M23) Rad u međunarodnom časopisuAngelina Ilic-Stepić, Zoran Ognjanović, Nebojša Ikodinović, Aleksandar Perović, A p-adic probability logic, Mathematical Logic Quarterly, vol. 58 (4-5), 263-280, 2012. DOI 10.1002/malq201110006
(M33) Saopštenje sa međunarodnog skupa štampano u celiniŽarko Mijajlović, Zoran Ognjanović, Digitization of Mathematical Editions in Serbia, Proceedings of the Workshop Towards Digital Mathematics Library DML 2008, July 27th, 2008, Birmingham, UK, editor Petr Sojka, 87 - 95, Masaryk University, 2008.
(M42) Monografija nacionalnog značaja, monografsko izdanje građe,Zoran Ognjanović, Dragan Doder, Some Temporal-Probabilistic logics, in: Advanced in nonlinear sciences, (V. Đorđević, editor), Južnoslovenska akademija nelinearnih nauka, Beograd, vol 3, 227--262, 2011. ISBN 978-86-905633-3-3
(M11) Istaknuta monografija međunarodnog značajaZoran Ognjanović, Miodrag Rašković, Zoran Marković. Probability Logics. Probability-Based Formalization of Uncertain Reasoning. Springer. 2016.
(M13) Monografska studija/poglavlje u knjizi M11 ili rad u tematskom zborniku vodećeg međunarodnog značajaAleksandar Perović, Dragan Doder, Zoran Ognjanović, Applications of Probabilistic and Related Logics to Decision Support in Medicine, in: Computational Medicine in Data Mining and Modeling, G. Rakocevic, T. Djukic, N. T.; Filipovic, N.; Milutinović, V. (Eds.), Springer, 35--77, 2013.
(M21) Rad u vrhunskom međunarodnom časopisuDragan Doder, John Grant, Zoran Ognjanović, Probabilistic logics for objects located in space and time, Journal of Logic and Computation 23(3), 487--515, 2013.
(M21) Rad u vrhunskom međunarodnom časopisuNebojša Ikodinović, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, Logics with Generalized Measure Operators, Journal of Multiple-Valued Logic and Soft Computing, Volume 20, Number 5-6, 527--555, 2013.
(M21) Rad u vrhunskom međunarodnom časopisuDragan Doder, Zoran Ognjanović, Probabilistic Logics with Independence and Confirmation, Studia Logica, 105, 943–-969, 2017.
(M21) Rad u vrhunskom međunarodnom časopisu Nenad Savić, Dragan Doder, Zoran Ognjanović, Logics with lower and upper probability operators, International Journal of Approximate Reasoning, Volume 88, 148--168, 2017.
(M21) Rad u vrhunskom međunarodnom časopisuTatjana Stojanović, Tatjana Davidović, Zoran Ognjanović, Bee Colony Optimization for the satisfiability problem in probabilistic logic, Applied Soft Computing, Volume 31, 339–-347, 2015.
(M21) Rad u vrhunskom međunarodnom časopisuFirst steps towards probabilistic justification logic Ioannis Kokkinis; Petar Maksimović; Zoran Ognjanović, Thomas Studer Logic Journal of the IGPL, vol. 23, no. 4, 662--687, 2015.
(M21) Rad u vrhunskom međunarodnom časopisuMiloš Savić, Mirjana Ivanović, Miloš Radovanović, Zoran Ognjanović, Aleksandar Pejović,Tatjana Jakšić Kruger, The structure and evolution of scientific collaboration in Serbian mathematical journals, Scientometrics, vol. 101 br. 3, str. 1805--1830, 2014.
(M21) Rad u vrhunskom međunarodnom časopisuNebojša Ikodinović, Zoran Ognjanović, Miodrag Rašković, Aleksandar Perović, Hierarchies of probabilistic logics, International Journal of Approximate Reasoning, Volume 55, Issue 9, 1830–-1842, 2014.
(M21) Rad u vrhunskom međunarodnom časopisuAngelina Ilić-Stepić, Zoran Ognjanović, Nebojša Ikodinović, Conditional p-adic probability logic International Journal of Approximate Reasoning,Volume 55, Issue 9, 1843–-1865, 2014.
(M21) Rad u vrhunskom međunarodnom časopisuNebojša Ikodinović, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, A first-order probabilistic logic with approximate conditional probabilities, Logic Journal of the IGPL, 22(4), 539 -- 564, 2014.
(M22) Rad u istaknutom međunarodnom časopisuSiniša Tomović, Miodrag Mihaljević, Aleksandar Perović, Zoran Ognjanović, A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One, Mathematical Problems in Engineering, vol. 2016, Article ID 9289050, 9 pages, 2016. doi:10.1155/2016/9289050.
(M22) Rad u istaknutom međunarodnom časopisuAleksandar Perović, Dragan Doder, Zoran Ognjanović, Miodrag Rašković, On Evaluations of Propositional Formulas in Countable Structures, Filomat, Volume 30, Number 1, 1--13, 2016.
(M23) Rad u međunarodnom časopisuAngelina Ilić Stepić, Zoran Ognjanović, Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers, Studia Logica, 103, 145--174, 2015.
(M23) Rad u međunarodnom časopisuBojan Marinković, Vincenzo Ciancaglini, Zoran Ognjanović, Paola Glavan, Luigi Liquori, Petar Maksimović, Analyzing the Exhaustiveness of the Synapse Protocol, Peer-to-Peer Networking and Applications, vol 8, no 5, 793--806, 2015.
(M23) Rad u međunarodnom časopisuMiloš Milošević, Zoran Ognjanović, A First-Order Conditional Probability Logic With Iterations, Publications de L Institute Matematique, n.s. 93 (107) 19--27, 2013.
(M23) Rad u međunarodnom časopisu Dirk Huylebrouck, Zoran Ognjanović, Ljiljana Radović, Leibniz, a Sorb, The Mathematical Intelligencer, 39(3), 53-55, 2017.
(M23) Rad u međunarodnom časopisuAngelina Ilić Stepić, Zoran Ognjanović, Complex valued probability logics,Publications de l Institut Mathematique, 95 (109) (2014), 73--86, 2014.
ZvanjeUža naučna oblastVisokoškolska ustanovaDatum izbora
Naučni savetnikMatematičke naukeResorno ministrarstvo za nauku19.11.2008.
Viši naučni saradnikMatematičke naukeMatematički institut - SANU06.11.2003.
Naučni saradnikMatematičke naukeMatematički institut - SANU25.01.2000.
Istraživač pripravnikMatematičke naukeMatematički institut - SANU01.06.1989.