2008 |
13 | EE | Dragan G. Radojevic,
Aleksandar Perovic,
Zoran Ognjanovic,
Miodrag Raskovic:
Interpolative Boolean Logic.
AIMSA 2008: 209-219 |
12 | EE | Aleksandar Perovic,
Zoran Ognjanovic,
Miodrag Raskovic,
Zoran Markovic:
A Probabilistic Logic with Polynomial Weight Formulas.
FoIKS 2008: 239-252 |
11 | EE | Aleksandar Perovic,
Zoran Ognjanovic,
Miodrag Raskovic,
Zoran Markovic:
How to Restore Compactness into Probabilistic Logics?.
JELIA 2008: 338-348 |
10 | EE | Miodrag 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) |
9 | EE | Zoran Ognjanovic,
Aleksandar Perovic,
Miodrag Raskovic:
Logics with the Qualitative Probability Operator.
Logic Journal of the IGPL 16(2): 105-120 (2008) |
2007 |
8 | EE | Nebojsa Ikodinovic,
Miodrag Raskovic,
Zoran Markovic,
Zoran Ognjanovic:
Measure Logic.
ECSQARU 2007: 128-138 |
2004 |
7 | EE | Miodrag Raskovic,
Zoran Ognjanovic,
Zoran Markovic:
A Logic with Conditional Probabilities.
JELIA 2004: 226-238 |
6 | EE | Miodrag Raskovic,
Zoran Ognjanovic,
Zoran Markovic:
A probabilistic approach to default reasoning.
NMR 2004: 335-341 |
5 | EE | Radosav S. Dordevic,
Miodrag Raskovic,
Zoran Ognjanovic:
Completeness theorem for propositional probabilistic models whose measures have only finite ranges.
Arch. Math. Log. 43(4): 557-564 (2004) |
2003 |
4 | EE | Zoran Markovic,
Zoran Ognjanovic,
Miodrag Raskovic:
A probabilistic extension of intuitionistic logic.
Math. Log. Q. 49(4): 415-424 (2003) |
2000 |
3 | EE | Zoran Ognjanovic,
Miodrag Raskovic:
Some first-order probability logics.
Theor. Comput. Sci. 247(1-2): 191-212 (2000) |
1999 |
2 | EE | Zoran Ognjanovic,
Miodrag Raskovic:
Some Probability Logics with New Types of Probability Operators.
J. Log. Comput. 9(2): 181-195 (1999) |
1986 |
1 | | Miodrag Raskovic:
Completeness Theorem for Biprobability Models.
J. Symb. Log. 51(3): 586-590 (1986) |