Zoran Ognjanovic

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

Coauthor Index

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

Colors in the list of coauthors