Зоран Огњановић | Факултет Техничких Наука

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

Биографија

Радно место

Радови

Репрезентативне референце

Избори у звања

Биографија

Тренутно нема података о биографији запосленог!

Радно место

Актуелно

Радно место	Од	Организациона јединица

Актуелне

Назив функције	Од	Организациона јединица

Радови

Назив	У Установи
/ Диплома Математичке науке	Математички факултет 1987
Доказивач теорема у модалном рачуну С4 заснован на методи дуалних таблоа Магистратура Математичке науке	Математички факултет 1993
Неке вероватносне логике и њихове примене у рачунарству Докторат Математичке науке	Природно-математички факултет 1999

Репрезентативне референце

Критеријум продукције	Опис
Критеријум продукције (М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, 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.
Критеријум продукције (М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) Рад у врхунском међународном часопису	Опис 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) Рад у врхунском међународном часопису	Опис 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
Критеријум продукције (М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
Критеријум продукције (М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.
Критеријум продукције (М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) Рад у међународном часопису	Опис Dirk Huylebrouck, Zoran Ognjanović, Ljiljana Radović, Leibniz, a Sorb, The Mathematical Intelligencer, 39(3), 53-55, 2017.
Критеријум продукције (М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) Рад у међународном часопису	Опис 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
Критеријум продукције (М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) Рад у међународном часопису	Опис Aleksandar Perović, Dragan Radojević, Zoran Ognjanović, Miodrag Rašković, Interpolative Boolean Logic, Lecture Notes in Computer Science Volume 5253, 209-219, 2008.
Критеријум продукције (М23) Рад у међународном часопису	Опис Angelina Ilić Stepić, Zoran Ognjanović, Complex valued probability logics,Publications de l Institut Mathematique, 95 (109) (2014), 73--86, 2014.
Критеријум продукције (М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

Избори у звања

Звање	Ужа научна област	Високошколска установа	Датум избора
Научни саветник	Математичке науке	Ресорно министрарство за науку	19. 11. 2008.
Виши научни сарадник	Математичке науке	Математички институт - САНУ	06. 11. 2003.
Научни сарадник	Математичке науке	Математички институт - САНУ	25. 01. 2000.
Истраживач приправник	Математичке науке	Математички институт - САНУ	01. 06. 1989.

ОРГАНИЗАЦИЈА

ДОКУМЕНТА

ЗАПОСЛЕНИ

КОНКУРСИ

Галерије

АКРЕДИТАЦИЈА

КОНТАКТ

АКРЕДИТАЦИЈА

КОНТАКТ

Студентска служба

Контакт: