2008 |
24 | EE | Dragan G. Radojevic,
Aleksandar Perovic,
Zoran Ognjanovic,
Miodrag Raskovic:
Interpolative Boolean Logic.
AIMSA 2008: 209-219 |
23 | EE | Aleksandar Perovic,
Zoran Ognjanovic,
Miodrag Raskovic,
Zoran Markovic:
A Probabilistic Logic with Polynomial Weight Formulas.
FoIKS 2008: 239-252 |
22 | EE | Aleksandar Perovic,
Zoran Ognjanovic,
Miodrag Raskovic,
Zoran Markovic:
How to Restore Compactness into Probabilistic Logics?.
JELIA 2008: 338-348 |
21 | 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) |
20 | EE | Zoran Ognjanovic,
Aleksandar Perovic,
Miodrag Raskovic:
Logics with the Qualitative Probability Operator.
Logic Journal of the IGPL 16(2): 105-120 (2008) |
2007 |
19 | EE | Nebojsa Ikodinovic,
Miodrag Raskovic,
Zoran Markovic,
Zoran Ognjanovic:
Measure Logic.
ECSQARU 2007: 128-138 |
18 | EE | Zarko Mijajlovic,
Zoran Ognjanovic,
Aleksandar Pejovic:
Digitization of Scientific Journals in Serbia.
ELPUB 2007: 465-466 |
17 | EE | Zoran Ognjanovic,
Tamara Butigan-Vucaj,
Bojan Marinkovic:
NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia.
MTSR 2007: 45-54 |
2006 |
16 | EE | Zoran Ognjanovic,
Tamara Butigan-Vucaj,
Bojan Marinkovic:
A Proposal for the National Standard for Describing Digitized Heritage.
ELPUB 2006: 387-388 |
15 | EE | Zoran Ognjanovic:
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity.
J. Log. Comput. 16(2): 257-285 (2006) |
2005 |
14 | EE | Nebojsa Ikodinovic,
Zoran Ognjanovic:
A Logic with Coherent Conditional Probabilities.
ECSQARU 2005: 726-736 |
13 | EE | Dragan Blagojevic,
Zarko Mijajlovic,
Zoran Ognjanovic:
Electronic Editions of Mathematical Works in Serbia.
ELPUB 2005 |
12 | EE | Zoran Ognjanovic,
Uros Midic,
Nenad Mladenovic:
A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem.
Hybrid Metaheuristics 2005: 42-53 |
2004 |
11 | EE | Zoran Ognjanovic,
Uros Midic,
Jozef Kratica:
A Genetic Algorithm for Probabilistic SAT Problem.
ICAISC 2004: 462-467 |
10 | EE | Miodrag Raskovic,
Zoran Ognjanovic,
Zoran Markovic:
A Logic with Conditional Probabilities.
JELIA 2004: 226-238 |
9 | EE | Miodrag Raskovic,
Zoran Ognjanovic,
Zoran Markovic:
A probabilistic approach to default reasoning.
NMR 2004: 335-341 |
8 | 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 |
7 | EE | Zoran Markovic,
Zoran Ognjanovic,
Miodrag Raskovic:
A probabilistic extension of intuitionistic logic.
Math. Log. Q. 49(4): 415-424 (2003) |
2001 |
6 | EE | Zoran Ognjanovic,
Jozef Kratica,
Milos Milovanovic:
A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report.
ECSQARU 2001: 805-816 |
2000 |
5 | EE | Zoran Ognjanovic,
Miodrag Raskovic:
Some first-order probability logics.
Theor. Comput. Sci. 247(1-2): 191-212 (2000) |
1999 |
4 | EE | Zoran Ognjanovic,
Miodrag Raskovic:
Some Probability Logics with New Types of Probability Operators.
J. Log. Comput. 9(2): 181-195 (1999) |
1994 |
3 | | Zoran Ognjanovic:
A Tableau-Like Proof Procedure for Normal Modal Logics.
Theor. Comput. Sci. 129(1): 167-186 (1994) |
1992 |
2 | | Aleksandar Krapez,
Miodrag Kapetanovic,
Zoran Ognjanovic,
Tatjana Petrovic:
Prover 91 - A Parallel Theorem Prover (Extended Abstract).
TABLEAUX 1992: 43-45 |
1 | | Zoran Ognjanovic,
Dragan Urosevic,
Tatjana Petrovic,
Zorana Ristovic:
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract).
TABLEAUX 1992: 61-63 |