Miodrag Raskovic

According to our database, Miodrag Raskovic authored at least 24 papers between 1986 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Completeness theorems for <i>σ</i>-additive probabilistic semantics.

Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Ann. Pure Appl. Log., 2020

2016

Probability Logics - Probability-Based Formalization of Uncertain Reasoning

Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Springer, ISBN: 978-3-319-47012-2, 2016

2014

Hierarchies of probabilistic logics.

Nebojsa Ikodinovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Int. J. Approx. Reason., 2014

A first-order probabilistic logic with approximate conditional probabilities.

Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

Log. J. IGPL, 2014

2013

Logics with Generalized Measure Operators.

Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

J. Multiple Valued Log. Soft Comput., 2013

2012

A propositional probabilistic logic with discrete linear time for reasoning about evidence.

Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic

Ann. Math. Artif. Intell., 2012

2011

Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Dragan G. Radojevic

Fuzzy Sets Syst., 2011

2010

Measures of inconsistency and defaults.

Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

Int. J. Approx. Reason., 2010

A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.

Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Proceedings of the Foundations of Information and Knowledge Systems, 2010

2009

Qualitative Possibilities and Necessities.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008

A logic with approximate conditional probabilities that can model default reasoning.

Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

Int. J. Approx. Reason., 2008

Logics with the Qualitative Probability Operator.

Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic

Log. J. IGPL, 2008

How to Restore Compactness into Probabilistic Logics?.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

A Probabilistic Logic with Polynomial Weight Formulas.

Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Interpolative Boolean Logic.

Dragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Measure Logic.

Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

2004

Completeness theorem for propositional probabilistic models whose measures have only finite ranges.

Radosav S. Dordevic, Miodrag Raskovic, Zoran Ognjanovic

Arch. Math. Log., 2004

A probabilistic approach to default reasoning.

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

A Logic with Conditional Probabilities.

Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

A probabilistic extension of intuitionistic logic.

Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic

Math. Log. Q., 2003

2000

Some first-order probability logics.

Zoran Ognjanovic, Miodrag Raskovic

Theor. Comput. Sci., 2000

1999

Some Probability Logics with New Types of Probability Operators.

Zoran Ognjanovic, Miodrag Raskovic

J. Log. Comput., 1999

1986

Barwise Completeness Theorems for Some Biprobability Logics.

Miodrag Raskovic, Rade T. Zivaljevic

Math. Log. Q., 1986

Completeness Theorem for Biprobability Models.

Miodrag Raskovic

J. Symb. Log., 1986