Научни саветник др Зоран Огњановић


Недостаје слика

др Зоран Огњановић

Научни саветник


Телефон0112630170
E-mail
Академско звањеНаучни саветник
Тренутно нема података о биографији запосленог!
НазивУ Установи
/

Диплома

Математичке науке

Математички факултет

1987

Доказивач теорема у модалном рачуну С4 заснован на методи дуалних таблоа

Магистратура

Математичке науке

Математички факултет

1993

Неке вероватносне логике и њихове примене у рачунарству

Докторат

Математичке науке

Природно-математички факултет

1999

Критеријум продукцијеОпис
(М21) Рад у врхунском међународном часописуMiloš 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
(М21) Рад у врхунском међународном часописуDragan 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
(М21) Рад у врхунском међународном часописуAleksandar 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
(М22) Рад у истакнутом међународном часописуZoran 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.
(М22) Рад у истакнутом међународном часописуZoran Markovic, Zoran Ognjanovic, Miodrag Raskovic: A probabilistic extension of intuitionistic logic. Math. Log. Q. 49(4): 415-424 (2003)
(М22) Рад у истакнутом међународном часописуZoran Ognjanovic, Miodrag Raskovic: Some first-order probability logics. Theor. Comput. Sci. 247(1-2): 191-212 (2000)
(М22) Рад у истакнутом међународном часописуZoran 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.
(М23) Рад у међународном часописуAleksandar Perović, Dragan Radojević, Zoran Ognjanović, Miodrag Rašković, Interpolative Boolean Logic, Lecture Notes in Computer Science Volume 5253, 209-219, 2008.
(М23) Рад у међународном часописуDragan 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.
(М23) Рад у међународном часописуZoran 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
(М23) Рад у међународном часописуAngelina 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
(М33) Саопштење са међународног скупа штампано у целиниŽ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.
(М42) Монографија националног значаја, монографско издање грађе,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
(М11) Истакнута монографија међународног значајаZoran Ognjanović, Miodrag Rašković, Zoran Marković. Probability Logics. Probability-Based Formalization of Uncertain Reasoning. Springer. 2016.
(М13) Монографска студија/поглавље у књизи М11 или рад у тематском зборнику водећег међународног значајаAleksandar 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.
(М21) Рад у врхунском међународном часописуDragan Doder, John Grant, Zoran Ognjanović, Probabilistic logics for objects located in space and time, Journal of Logic and Computation 23(3), 487--515, 2013.
(М21) Рад у врхунском међународном часописуNebojš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.
(М21) Рад у врхунском међународном часописуDragan Doder, Zoran Ognjanović, Probabilistic Logics with Independence and Confirmation, Studia Logica, 105, 943–-969, 2017.
(М21) Рад у врхунском међународном часопису Nenad Savić, Dragan Doder, Zoran Ognjanović, Logics with lower and upper probability operators, International Journal of Approximate Reasoning, Volume 88, 148--168, 2017.
(М21) Рад у врхунском међународном часописуTatjana Stojanović, Tatjana Davidović, Zoran Ognjanović, Bee Colony Optimization for the satisfiability problem in probabilistic logic, Applied Soft Computing, Volume 31, 339–-347, 2015.
(М21) Рад у врхунском међународном часописуFirst 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.
(М21) Рад у врхунском међународном часописуMiloš 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.
(М21) Рад у врхунском међународном часописуNebojš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.
(М21) Рад у врхунском међународном часописуAngelina Ilić-Stepić, Zoran Ognjanović, Nebojša Ikodinović, Conditional p-adic probability logic International Journal of Approximate Reasoning,Volume 55, Issue 9, 1843–-1865, 2014.
(М21) Рад у врхунском међународном часописуNebojš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.
(М22) Рад у истакнутом међународном часописуSiniš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.
(М22) Рад у истакнутом међународном часописуAleksandar Perović, Dragan Doder, Zoran Ognjanović, Miodrag Rašković, On Evaluations of Propositional Formulas in Countable Structures, Filomat, Volume 30, Number 1, 1--13, 2016.
(М23) Рад у међународном часописуAngelina Ilić Stepić, Zoran Ognjanović, Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers, Studia Logica, 103, 145--174, 2015.
(М23) Рад у међународном часописуBojan 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.
(М23) Рад у међународном часописуMiloš Milošević, Zoran Ognjanović, A First-Order Conditional Probability Logic With Iterations, Publications de L Institute Matematique, n.s. 93 (107) 19--27, 2013.
(М23) Рад у међународном часопису Dirk Huylebrouck, Zoran Ognjanović, Ljiljana Radović, Leibniz, a Sorb, The Mathematical Intelligencer, 39(3), 53-55, 2017.
(М23) Рад у међународном часописуAngelina Ilić Stepić, Zoran Ognjanović, Complex valued probability logics,Publications de l Institut Mathematique, 95 (109) (2014), 73--86, 2014.
ЗвањеУжа научна областВисокошколска установаДатум избора
Научни саветникМатематичке наукеРесорно министрарство за науку19.11.2008.
Виши научни сарадникМатематичке наукеМатематички институт - САНУ06.11.2003.
Научни сарадникМатематичке наукеМатематички институт - САНУ25.01.2000.
Истраживач приправникМатематичке наукеМатематички институт - САНУ01.06.1989.