Miodrag Raskovic

Publication Activity (10 Years)

Years Active: 1986-2020
Publications (10 Years): 1

Top Topics

Probabilistic Logic

Conditional Probabilities

Inference Rules

Top Venues

Ann. Math. Artif. Intell.

Int. J. Approx. Reason.

Ann. Pure Appl. Log.

Publications

Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
-additive probabilistic semantics. Ann. Pure Appl. Log. 171 (4) (2020)
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
A first-order probabilistic logic with approximate conditional probabilities. Log. J. IGPL 22 (4) (2014)
Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
Hierarchies of probabilistic logics. Int. J. Approx. Reason. 55 (9) (2014)
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
Logics with Generalized Measure Operators. J. Multiple Valued Log. Soft Comput. 20 (5-6) (2013)
Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic
A propositional probabilistic logic with discrete linear time for reasoning about evidence. Ann. Math. Artif. Intell. 65 (2-3) (2012)
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Dragan G. Radojevic
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm. Fuzzy Sets Syst. 169 (1) (2011)
Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. FoIKS (2010)
Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
Measures of inconsistency and defaults. Int. J. Approx. Reason. 51 (7) (2010)
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
Qualitative Possibilities and Necessities. ECSQARU (2009)
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
How to Restore Compactness into Probabilistic Logics?. JELIA (2008)
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
A Probabilistic Logic with Polynomial Weight Formulas. FoIKS (2008)
Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic
Interpolative Boolean Logic. AIMSA (2008)
Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
A logic with approximate conditional probabilities that can model default reasoning. Int. J. Approx. Reason. 49 (1) (2008)
Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
Logics with the Qualitative Probability Operator. Log. J. IGPL 16 (2) (2008)
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
Measure Logic. ECSQARU (2007)
Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Arch. Math. Log. 43 (4) (2004)
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic
A Logic with Conditional Probabilities. JELIA (2004)
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic
A probabilistic approach to default reasoning. NMR (2004)
Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic
A probabilistic extension of intuitionistic logic. Math. Log. Q. 49 (4) (2003)
Zoran Ognjanovic, Miodrag Raskovic
Some first-order probability logics. Theor. Comput. Sci. 247 (1-2) (2000)
Zoran Ognjanovic, Miodrag Raskovic
Some Probability Logics with New Types of Probability Operators. J. Log. Comput. 9 (2) (1999)
Miodrag Raskovic
Completeness Theorem for Biprobability Models. J. Symb. Log. 51 (3) (1986)
Miodrag Raskovic, Rade T. Zivaljevic
Barwise Completeness Theorems for Some Biprobability Logics. Math. Log. Q. 32 (7-9) (1986)