( en | de | ru )

 

Disambiguation of "Markovic, Zoran"

Author of the publication

copydeleteadd this publication to your clipboard
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.

, , , , and . FoIKS, volume 5956 of Lecture Notes in Computer Science, page 9-24. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maja Markovic

Katrin Markovic

Ljubisa Markovic

Milan Markovic

Danijela Markovic

 

Other publications of authors with the same name

Measures of inconsistency and defaults., , , and . Int. J. Approx. Reason., 51 (7): 832-845 (2010)Some preservation results for classical and intuitionistic satisfiability in Kripke models.. Notre Dame J. Formal Log., 24 (3): 395-398 (1983)A Branching Time Logic with Two Types of Probability Operators., , and . SUM, volume 6929 of Lecture Notes in Computer Science, page 219-232. Springer, (2011)Logics with Generalized Measure Operators., , , and . J. Multiple Valued Log. Soft Comput., 20 (5-6): 527-555 (2013)Toxicity, structural analysis, and molecular docking studies of selected isonicotinohydrazide analogs., , , , and . BIBE, page 1-6. IEEE, (2021)Inhibitory potency of Valsartan/Sacubitril drug combination: molecular docking simulations., , , , and . BIBE, page 1-4. IEEE, (2021)On the Structure of Kripke Models of Heyting Arithmetic.. Math. Log. Q., (1993)Probability Logics - Probability-Based Formalization of Uncertain Reasoning, , and . Springer, (2016)A Probabilistic Temporal Logic That Can Model Reasoning about Evidence., , , , and . FoIKS, volume 5956 of Lecture Notes in Computer Science, page 9-24. Springer, (2010)Spectral Moments of Phenylenes., , and . Journal of Chemical Information and Computer Sciences, 41 (1): 112-119 (2001)