 | 2012 |
|---|
| 6 |       | Aleksandar Perovic,
Dragan Doder,
Zoran Ognjanovic:
On Real-Valued Evaluation of Propositional Formulas.
FoIKS 2012: 264-277 |
| 2011 |
|---|
| 5 | | Dragan Doder,
Aleksandar Perovic,
Zoran Ognjanovic:
Probabilistic Approach to Nonmonotonic Consequence Relations.
ECSQARU 2011: 459-471 |
| 4 | | Zoran Ognjanovic,
Dragan Doder,
Zoran Markovic:
A Branching Time Logic with Two Types of Probability Operators.
SUM 2011: 219-232 |
| 2010 |
|---|
| 3 | | Dragan Doder,
Zoran Markovic,
Zoran Ognjanovic,
Aleksandar Perovic,
Miodrag Raskovic:
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.
FoIKS 2010: 9-24 |
| 2 | | Dragan Doder,
Miodrag Raskovic,
Zoran Markovic,
Zoran Ognjanovic:
Measures of inconsistency and defaults.
Int. J. Approx. Reasoning 51(7): 832-845 (2010) |
| 1 | | Dragan Doder,
Zoran Ognjanovic,
Zoran Markovic:
An Axiomatization of a First-order Branching Time Temporal Logic.
J. UCS 16(11): 1439-1451 (2010) |
Data released under the ODC-BY 1.0 license — See also our legal information page