Miodrag Raskovic

24 papers B 2C 2Misc 1Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
Completeness theorems for
Ann. Pure Appl. Log.
Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
2016 — book
Probability Logics - Probability-Based Formalization of Uncertain Reasoning
Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
2014 J jnl
A first-order probabilistic logic with approximate conditional probabilities.
Log. J. IGPL
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
2014 J jnl
Hierarchies of probabilistic logics.
Int. J. Approx. Reason.
Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
2013 J jnl
Logics with Generalized Measure Operators.
J. Multiple Valued Log. Soft Comput.
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
2012 J jnl
A propositional probabilistic logic with discrete linear time for reasoning about evidence.
Ann. Math. Artif. Intell.
Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic
2011 J jnl
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm.
Fuzzy Sets Syst.
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Dragan G. Radojevic
2010 — conf
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.
FoIKS
Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
2010 J jnl
Measures of inconsistency and defaults.
Int. J. Approx. Reason.
Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
2009 C conf
Qualitative Possibilities and Necessities.
ECSQARU
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
2008 — conf
A Probabilistic Logic with Polynomial Weight Formulas.
FoIKS
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
2008 J jnl
A logic with approximate conditional probabilities that can model default reasoning.
Int. J. Approx. Reason.
Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
2008 B conf
How to Restore Compactness into Probabilistic Logics?.
JELIA
Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
2008 Misc conf
Interpolative Boolean Logic.
AIMSA
Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic
2008 J jnl
Logics with the Qualitative Probability Operator.
Log. J. IGPL
Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
2007 C conf
Measure Logic.
ECSQARU
Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
2004 B conf
A Logic with Conditional Probabilities.
JELIA
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic
2004 — conf
A probabilistic approach to default reasoning.
NMR
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic
2004 J jnl
Completeness theorem for propositional probabilistic models whose measures have only finite ranges.
Arch. Math. Log.
Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic
2003 J jnl
A probabilistic extension of intuitionistic logic.
Math. Log. Q.
Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic
2000 J jnl
Some first-order probability logics.
Theor. Comput. Sci.
Zoran Ognjanovic, Miodrag Raskovic
1999 J jnl
Some Probability Logics with New Types of Probability Operators.
J. Log. Comput.
Zoran Ognjanovic, Miodrag Raskovic
1986 J jnl
Barwise Completeness Theorems for Some Biprobability Logics.
Math. Log. Q.
Miodrag Raskovic, Rade T. Zivaljevic
1986 J jnl
Completeness Theorem for Biprobability Models.
J. Symb. Log.
Miodrag Raskovic