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


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

др Зоран Марковић

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


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

Диплома

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

Природно Матеметички Факултет

1971

Теорија модела система интуиционистицке логике

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

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

Природно Матеметички Факултет

1974

Модел Тхеорy фор Интуитионистиц Логиц

Докторат

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

University of Pennsylvania

1979

Критеријум продукцијеОпис
(М21) Рад у врхунском међународном часопису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.
(М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) Рад у истакнутом међународном часописуMiodrag Raskovic, Zoran Markovic, Zoran Ognjanovic: A logic with approximate conditional probabilities that can model default reasoning. Int. J. Approx. Reasoning 49(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) Рад у истакнутом међународном часописуSvetlana Markovic, Zoran Markovic, Johan P. Engelbrecht, Robert I. McCrindle: Spectral Moments of Polycyclic Aromatic Hydrocarbons. Solution of a Kinetic Problem. Journal of Chemical Information and Computer Sciences 42(1): 82-86 (2002)
(М22) Рад у истакнутом међународном часописуSvetlana Markovic, Zoran Markovic, Robert I. McCrindle: Spectral Moments of Phenylenes. Journal of Chemical Information and Computer Sciences 41(1): 112-119 (2001)
(М22) Рад у истакнутом међународном часописуZoran Markovic: On the Structure of Kripke Models of Heyting Arithmetic. Mathematical Logic Quaterly 39: 531-538 (1993)
(М23) Рад у међународном часописуAleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic: A Probabilistic Logic with Polynomial Weight Formulas. FoIKS 2008, Lecture Notes in Computer Science 4932/2008: 239-252
(М23) Рад у међународном часописуAleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic: How to Restore Compactness into Probabilistic Logics?. JELIA 2008, Lecture Notes in Computer Science 5293/2008: 338-348
(М23) Рад у међународном часописуNebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic: Measure Logic. ECSQARU 2007, Lecture Notes in Computer Science 4724/2007: 128-138
(М23) Рад у међународном часописуMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic: A Logic with Conditional Probabilities. JELIA 2004, Lecture Notes in Computer Science 3229/2004: 226-238
(М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, 1439-1451, 2010
(М23) Рад у међународном часописуZoran Ognjanović, Zoran Marković, Miodrag Rašković, Dragan Doder, Aleksandar Perović, A Probabilistic Temporal Logic That Can Model Reasoning about Evidence, Annals of Mathematics and Artificial Intelligence, Vol. 65, Nr. 2-3, 217-243, 2012. (preliminary version: Springer LNCS volume 5956, 9-24, 2010.)
(М33) Саопштење са међународног скупа штампано у целиниMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic: A probabilistic approach to default reasoning. NMR 2004: 335-341
ЗвањеУжа научна областВисокошколска установаДатум избора
Научни саветникМатематикаМатематички институт - САНУ01.01.1998.