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

Zoran Ognjanovic

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

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

Coauthor Index

1Dragan Blagojevic [13]
2Tamara Butigan-Vucaj [16] [17]
3Radosav S. Dordevic [8]
4Nebojsa Ikodinovic [14] [19]
5Miodrag Kapetanovic [2]
6Aleksandar Krapez [2]
7Jozef Kratica [6] [11]
8Bojan Marinkovic [16] [17]
9Zoran Markovic [7] [9] [10] [19] [21] [22] [23]
10Uros Midic [11] [12]
11Zarko Mijajlovic [13] [18]
12Milos Milovanovic [6]
13Nenad Mladenovic [12]
14Aleksandar Pejovic [18]
15Aleksandar Perovic [20] [22] [23] [24]
16Tatjana Petrovic [1] [2]
17Dragan G. Radojevic [24]
18Miodrag Raskovic [4] [5] [7] [8] [9] [10] [19] [20] [21] [22] [23] [24]
19Zorana Ristovic [1]
20Dragan Urosevic [1]

Colors in the list of coauthors

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