Naučni savetnik dr Zoran Marković


Nedostaje slika

dr Zoran Marković

Naučni savetnik


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

Diploma

Matematičke nauke

Prirodno Matemetički Fakultet

1971

Teorija modela sistema intuicionisticke logike

Magistratura

Matematičke nauke

Prirodno Matemetički Fakultet

1974

Model Theory for Intuitionistic Logic

Doktorat

Matematičke nauke

University of Pennsylvania

1979

Kriterijum produkcijeOpis
(M21) Rad u vrhunskom 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.
(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
(M22) Rad u istaknutom međunarodnom časopisuMiodrag 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)
(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 časopisuSvetlana 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)
(M22) Rad u istaknutom međunarodnom časopisuSvetlana Markovic, Zoran Markovic, Robert I. McCrindle: Spectral Moments of Phenylenes. Journal of Chemical Information and Computer Sciences 41(1): 112-119 (2001)
(M22) Rad u istaknutom međunarodnom časopisuZoran Markovic: On the Structure of Kripke Models of Heyting Arithmetic. Mathematical Logic Quaterly 39: 531-538 (1993)
(M23) Rad u međunarodnom časopisuAleksandar 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
(M23) Rad u međunarodnom časopisuAleksandar 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
(M23) Rad u međunarodnom časopisuNebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic: Measure Logic. ECSQARU 2007, Lecture Notes in Computer Science 4724/2007: 128-138
(M23) Rad u međunarodnom časopisuMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic: A Logic with Conditional Probabilities. JELIA 2004, Lecture Notes in Computer Science 3229/2004: 226-238
(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, 1439-1451, 2010
(M23) Rad u međunarodnom časopisuZoran 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.)
(M33) Saopštenje sa međunarodnog skupa štampano u celiniMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic: A probabilistic approach to default reasoning. NMR 2004: 335-341
ZvanjeUža naučna oblastVisokoškolska ustanovaDatum izbora
Naučni savetnikMatematikaMatematički institut - SANU01.01.1998.