Science Adviser Zoran Marković


Missing picture!

Zoran Marković

Science Adviser


Telephone0112630170
E-mail
Academic titleScience Adviser
Employee's biography not found!
TitleIn institution

Bachelor's thesis

Mathematical Science

Faculty of Mathematics

1971

Teorija modela sistema intuicionisticke logike

Magister thesis

Mathematical Science

Faculty of Mathematics

1974

Model Theory for Intuitionistic Logic

PhD thesis

Mathematical Science

University of Pennsylvania

1979

Criterium of productionDescription
() Research published in the top international journalZoran 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.
() Research published in the top international journalDragan 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
() Research published in the prominent international journalMiodrag 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)
() Research published in the prominent international journalZoran Markovic, Zoran Ognjanovic, Miodrag Raskovic: A probabilistic extension of intuitionistic logic. Math. Log. Q. 49(4): 415-424 (2003)
() Research published in the prominent international journalSvetlana 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)
() Research published in the prominent international journalSvetlana Markovic, Zoran Markovic, Robert I. McCrindle: Spectral Moments of Phenylenes. Journal of Chemical Information and Computer Sciences 41(1): 112-119 (2001)
() Research published in the prominent international journalZoran Markovic: On the Structure of Kripke Models of Heyting Arithmetic. Mathematical Logic Quaterly 39: 531-538 (1993)
() Research published in the international journalAleksandar 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
() Research published in the international journalAleksandar 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
() Research published in the international journalNebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic: Measure Logic. ECSQARU 2007, Lecture Notes in Computer Science 4724/2007: 128-138
() Research published in the international journalMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic: A Logic with Conditional Probabilities. JELIA 2004, Lecture Notes in Computer Science 3229/2004: 226-238
() Research published in the international journalDragan 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
() Research published in the international journalZoran 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.)
() Report from the international meeting printed in its entiretyMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic: A probabilistic approach to default reasoning. NMR 2004: 335-341
TitleScientific areaHigher education institutionElection date
Science AdviserMathematicsMathematical Institute - Serbian Academy of Sciences and Arts01.01.1998.