dblp.uni-trier.dewww.uni-trier.de

Miodrag Raskovic

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EEDragan G. Radojevic, Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic: Interpolative Boolean Logic. AIMSA 2008: 209-219
12EEAleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic: A Probabilistic Logic with Polynomial Weight Formulas. FoIKS 2008: 239-252
11EEAleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic: How to Restore Compactness into Probabilistic Logics?. JELIA 2008: 338-348
10EEMiodrag 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)
9EEZoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic: Logics with the Qualitative Probability Operator. Logic Journal of the IGPL 16(2): 105-120 (2008)
2007
8EENebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic: Measure Logic. ECSQARU 2007: 128-138
2004
7EEMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic: A Logic with Conditional Probabilities. JELIA 2004: 226-238
6EEMiodrag Raskovic, Zoran Ognjanovic, Zoran Markovic: A probabilistic approach to default reasoning. NMR 2004: 335-341
5EERadosav 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
4EEZoran Markovic, Zoran Ognjanovic, Miodrag Raskovic: A probabilistic extension of intuitionistic logic. Math. Log. Q. 49(4): 415-424 (2003)
2000
3EEZoran Ognjanovic, Miodrag Raskovic: Some first-order probability logics. Theor. Comput. Sci. 247(1-2): 191-212 (2000)
1999
2EEZoran 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)

Coauthor Index

1Radosav S. Dordevic [5]
2Nebojsa Ikodinovic [8]
3Zoran Markovic [4] [6] [7] [8] [10] [11] [12]
4Zoran Ognjanovic [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
5Aleksandar Perovic [9] [11] [12] [13]
6Dragan G. Radojevic [13]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)