×

zbMATH — the first resource for mathematics

Ognjanović, Zoran

Compute Distance To:
Author ID: ognjanovic.zoran Recent zbMATH articles by "Ognjanović, Zoran"
Published as: Ognjanović, Zoran; Ognjanović, Z.; Ognjanovic, Z.; Ognjanovic, Zoran
Homepage: http://www.mi.sanu.ac.rs/~zorano/
External Links: MGP · ORCID · dblp
Documents Indexed: 82 Publications since 1994, including 1 Book
4 Contributions as Editor

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 222 times in 75 Documents Cited by Year
Some first-order probability logics. Zbl 0954.03024
Ognjanovic, Z.; Raškovic, M.
22
2000
Some probability logics with new types of probability operators. Zbl 0941.03022
Ognjanović, Zoran; Rašković, Miodrag
15
1999
A logic with approximate conditional probabilities that can model default reasoning. Zbl 1184.68520
Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
15
2008
Measures of inconsistency and defaults. Zbl 1205.68422
Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
13
2010
Probability logics. Zbl 1224.03005
Ognjanović, Zoran; Rašković, Miodrag; Marković Zoran
9
2009
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Zbl 1057.03028
Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran
8
2004
A probabilistic extension of intuitionistic logic. Zbl 1022.03011
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
8
2003
Logics with the qualitative probability operator. Zbl 1138.03024
Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
8
2008
Discrete linear-time probabilistic logics: completeness, decidability and complexity. Zbl 1102.03022
Ognjanović, Zoran
8
2006
A logic with conditional probabilities. Zbl 1111.68688
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran
8
2004
Completeness theorem for logic with imprecise and conditional probabilities. Zbl 1144.03019
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag
7
2005
Probability logics. Probability-based formalization of uncertain reasoning. Zbl 1371.03001
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
6
2016
Probabilistic justification logic. Zbl 06751238
Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas
6
2016
Conditional \(p\)-adic probability logic. Zbl 1433.03062
Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša
5
2014
A first order probability logic – \(LP_Q\). Zbl 1006.03018
Rašković, Miodrag; Ognjanović, Zoran
5
1999
A probabilistic logic with polynomial weight formulas. Zbl 1138.03315
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
5
2008
A first-order conditional probability logic. Zbl 1251.03030
Milošević, Miloš; Ognjanović, Zoran
5
2012
A \(p\)-adic probability logic. Zbl 1251.03027
Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša; Perović, Aleksandar
5
2012
Probabilistic logics for objects located in space and time. Zbl 1267.03041
Doder, Dragan; Grant, John; Ognjanović, Zoran
4
2013
A logic with higher order probabilities. Zbl 0884.03019
Ognjanović, Z.; Rašković, M.
4
1996
Variable neighborhood search for the probabilistic satisfiability problem. Zbl 1171.90561
Jovanović, Dejan; Mladenović, Nenad; Ognjanović, Zoran
4
2007
A first-order conditional probability logic with iterations. Zbl 1313.03008
Milošević, Miloš; Ognjanović, Zoran
3
2013
Finitely additive probability measures on classical propositional formulas definable by Gödel’s t-norm and product t-norm. Zbl 1233.03032
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Radojević, Dragan
3
2011
An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033
Doder, D.; Ognjanović, Z.; Marković, Z.
3
2010
A logic with coherent conditional probabilities. Zbl 1122.03015
Ikodinović, Nebojša; Ognjanović, Zoran
3
2005
Measure logic. Zbl 1148.68485
Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran
3
2007
A propositional probabilistic logic with discrete linear time for reasoning about evidence. Zbl 1269.03033
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag; Doder, Dragan; Perović, Aleksandar
3
2012
Hierarchies of probabilistic logics. Zbl 1433.03061
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
2
2014
A logic with higher order probabilities. Zbl 1009.03513
Rašković, Miodrag; Ognjanović, Zoran
2
1996
A logic with higher order conditional probabilities. Zbl 1203.68206
Ognjanović, Zoran; Ikodinović, Nebojša
2
2007
An intuitionistic logic with probabilistic operators. Zbl 1048.03020
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
2
2003
Complex valued probability logics. Zbl 06694531
Ilić Stepić, Angelina; Ognjanović, Zoran
2
2014
A tableau-like proof procedure for normal modal logics. Zbl 0805.03007
Ognjanović, Zoran
2
1994
\(p\)-adic probability logics. Zbl 1353.03013
Ilić Stepić, A.; Ognjanović, Z.; Ikodinović, N.; Perović, A.
2
2016
Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers. Zbl 1382.03045
Ilić Stepić, Angelina; Ognjanović, Zoran
2
2015
Justification logic with approximate conditional probabilities. Zbl 06810820
Ognjanović, Zoran; Savić, Nenad; Studer, Thomas
2
2017
Logic in computer science. Zbl 1158.00015
1
2009
A decidable multi-agent logic with iterations of upper and lower probability operators. Zbl 06894599
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran
1
2018
A first-order dynamic probability logic. Zbl 1390.03022
Ognjanović, Zoran; Perović, Aleksandar; Doder, Dragan
1
2013
A genetic algorithm for probabilistic SAT problem. Zbl 1058.68648
Ognjanović, Zoran; Midić, Uroš; Kratica, Jozef
1
2004
A genetic algorithm for satisfiability problem in a probabilistic logic: A first report. Zbl 1001.68566
Ognjanović, Zoran; Kratica, Jozef; Milovanović, Miloš
1
2001
A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017
Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar
1
2014
Probabilistic common knowledge among infinite number of agents. Zbl 1465.68244
Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan
1
2015
Logics with lower and upper probability operators. Zbl 1422.03042
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran
1
2017
Probabilistic logics with independence and confirmation. Zbl 1417.03171
Doder, Dragan; Ognjanović, Zoran
1
2017
How to restore compactness into probabilistic logics? Zbl 1178.03034
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
1
2008
Interpolative Boolean logic. Zbl 1169.03344
Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag
1
2008
Completeness theorem for a first order linear-time logic. Zbl 1265.03009
Ognjanović, Zoran
1
2001
Logics with probabilistic operators. Zbl 1240.03003
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša; Perović, Aleksandar
1
2007
A first-order probabilistic logic with approximate conditional probabilities. Zbl 1305.03021
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
1
2014
First steps towards probabilistic justification logic. Zbl 1405.03057
Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas
1
2015
A first-order logic for reasoning about higher-order upper and lower probabilities. Zbl 06769624
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran
1
2017
A decidable multi-agent logic with iterations of upper and lower probability operators. Zbl 06894599
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran
1
2018
Justification logic with approximate conditional probabilities. Zbl 06810820
Ognjanović, Zoran; Savić, Nenad; Studer, Thomas
2
2017
Logics with lower and upper probability operators. Zbl 1422.03042
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran
1
2017
Probabilistic logics with independence and confirmation. Zbl 1417.03171
Doder, Dragan; Ognjanović, Zoran
1
2017
A first-order logic for reasoning about higher-order upper and lower probabilities. Zbl 06769624
Savić, Nenad; Doder, Dragan; Ognjanović, Zoran
1
2017
Probability logics. Probability-based formalization of uncertain reasoning. Zbl 1371.03001
Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
6
2016
Probabilistic justification logic. Zbl 06751238
Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas
6
2016
\(p\)-adic probability logics. Zbl 1353.03013
Ilić Stepić, A.; Ognjanović, Z.; Ikodinović, N.; Perović, A.
2
2016
Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers. Zbl 1382.03045
Ilić Stepić, Angelina; Ognjanović, Zoran
2
2015
Probabilistic common knowledge among infinite number of agents. Zbl 1465.68244
Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan
1
2015
First steps towards probabilistic justification logic. Zbl 1405.03057
Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas
1
2015
Conditional \(p\)-adic probability logic. Zbl 1433.03062
Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša
5
2014
Hierarchies of probabilistic logics. Zbl 1433.03061
Ikodinović, Nebojša; Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
2
2014
Complex valued probability logics. Zbl 06694531
Ilić Stepić, Angelina; Ognjanović, Zoran
2
2014
A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017
Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar
1
2014
A first-order probabilistic logic with approximate conditional probabilities. Zbl 1305.03021
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
1
2014
Probabilistic logics for objects located in space and time. Zbl 1267.03041
Doder, Dragan; Grant, John; Ognjanović, Zoran
4
2013
A first-order conditional probability logic with iterations. Zbl 1313.03008
Milošević, Miloš; Ognjanović, Zoran
3
2013
A first-order dynamic probability logic. Zbl 1390.03022
Ognjanović, Zoran; Perović, Aleksandar; Doder, Dragan
1
2013
A first-order conditional probability logic. Zbl 1251.03030
Milošević, Miloš; Ognjanović, Zoran
5
2012
A \(p\)-adic probability logic. Zbl 1251.03027
Ilić-Stepić, Angelina; Ognjanović, Zoran; Ikodinović, Nebojša; Perović, Aleksandar
5
2012
A propositional probabilistic logic with discrete linear time for reasoning about evidence. Zbl 1269.03033
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag; Doder, Dragan; Perović, Aleksandar
3
2012
Finitely additive probability measures on classical propositional formulas definable by Gödel’s t-norm and product t-norm. Zbl 1233.03032
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Radojević, Dragan
3
2011
Measures of inconsistency and defaults. Zbl 1205.68422
Doder, Dragan; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
13
2010
An axiomatization of a first-order branching time temporal logic. Zbl 1216.03033
Doder, D.; Ognjanović, Z.; Marković, Z.
3
2010
Probability logics. Zbl 1224.03005
Ognjanović, Zoran; Rašković, Miodrag; Marković Zoran
9
2009
Logic in computer science. Zbl 1158.00015
1
2009
A logic with approximate conditional probabilities that can model default reasoning. Zbl 1184.68520
Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
15
2008
Logics with the qualitative probability operator. Zbl 1138.03024
Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
8
2008
A probabilistic logic with polynomial weight formulas. Zbl 1138.03315
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
5
2008
How to restore compactness into probabilistic logics? Zbl 1178.03034
Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
1
2008
Interpolative Boolean logic. Zbl 1169.03344
Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran; Rašković, Miodrag
1
2008
Variable neighborhood search for the probabilistic satisfiability problem. Zbl 1171.90561
Jovanović, Dejan; Mladenović, Nenad; Ognjanović, Zoran
4
2007
Measure logic. Zbl 1148.68485
Ikodinovic, Nebojsa; Raskovic, Miodrag; Markovic, Zoran; Ognjanovic, Zoran
3
2007
A logic with higher order conditional probabilities. Zbl 1203.68206
Ognjanović, Zoran; Ikodinović, Nebojša
2
2007
Logics with probabilistic operators. Zbl 1240.03003
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran; Ikodinović, Nebojša; Perović, Aleksandar
1
2007
Discrete linear-time probabilistic logics: completeness, decidability and complexity. Zbl 1102.03022
Ognjanović, Zoran
8
2006
Completeness theorem for logic with imprecise and conditional probabilities. Zbl 1144.03019
Ognjanović, Zoran; Marković, Zoran; Rašković, Miodrag
7
2005
A logic with coherent conditional probabilities. Zbl 1122.03015
Ikodinović, Nebojša; Ognjanović, Zoran
3
2005
Completeness theorem for propositional probabilistic models whose measures have only finite ranges. Zbl 1057.03028
Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran
8
2004
A logic with conditional probabilities. Zbl 1111.68688
Rašković, Miodrag; Ognjanović, Zoran; Marković, Zoran
8
2004
A genetic algorithm for probabilistic SAT problem. Zbl 1058.68648
Ognjanović, Zoran; Midić, Uroš; Kratica, Jozef
1
2004
A probabilistic extension of intuitionistic logic. Zbl 1022.03011
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
8
2003
An intuitionistic logic with probabilistic operators. Zbl 1048.03020
Marković, Zoran; Ognjanović, Zoran; Rašković, Miodrag
2
2003
A genetic algorithm for satisfiability problem in a probabilistic logic: A first report. Zbl 1001.68566
Ognjanović, Zoran; Kratica, Jozef; Milovanović, Miloš
1
2001
Completeness theorem for a first order linear-time logic. Zbl 1265.03009
Ognjanović, Zoran
1
2001
Some first-order probability logics. Zbl 0954.03024
Ognjanovic, Z.; Raškovic, M.
22
2000
Some probability logics with new types of probability operators. Zbl 0941.03022
Ognjanović, Zoran; Rašković, Miodrag
15
1999
A first order probability logic – \(LP_Q\). Zbl 1006.03018
Rašković, Miodrag; Ognjanović, Zoran
5
1999
A logic with higher order probabilities. Zbl 0884.03019
Ognjanović, Z.; Rašković, M.
4
1996
A logic with higher order probabilities. Zbl 1009.03513
Rašković, Miodrag; Ognjanović, Zoran
2
1996
A tableau-like proof procedure for normal modal logics. Zbl 0805.03007
Ognjanović, Zoran
2
1994
all top 5

Cited by 112 Authors

21 Ognjanović, Zoran
10 Rašković, Miodrag D.
9 Perović, Aleksandar
8 Doder, Dragan
8 Ikodinović, Nebojša
5 Grant, John R.
5 Marković, Zoran M.
4 Ilić Stepić, Angelina
4 Parisi, Francesco
3 De Bona, Glauber
3 Gagliardi Cozman, Fabio
3 Thimm, Matthias
2 Belle, Vaishak
2 Demri, Stéphane P.
2 Đorđević, Radosav S.
2 Fan, Tuan-Fang
2 Hansen, Pierre
2 Hunter, Anthony
2 Kokkinis, Ioannis
2 Levesque, Hector J.
2 Liau, Churn-Jung
2 Martinez, Maria Vanina
2 Mladenović, Nenad
2 Molinaro, Cristian
2 Moreno-Pérez, José Andrés
2 Mu, Kedian
2 Raddaoui, Badran
2 Savić, Nenad
1 Ah-Pine, Julien
1 Ahmad, Mohd Ali Khameini
1 Baltazar, Pedro
1 Bell, David A.
1 Boričić, Marija
1 Brickhill, Hazel
1 Cline, M.
1 Cozman, Fabio G.
1 Da Rocha, José Carlos Ferreira
1 Davidović, Tatjana
1 de Campos, Cassio Polpo
1 De Carvalho Ferreira, Nivea
1 Dragovich, Branko
1 Dubois, Didier
1 Ehab, Nourhan
1 Ferenczi, Miklós
1 Ferrucci, Luca
1 Finger, Marcelo
1 Gilio, Angelo
1 Godo, Lluís
1 Grbić, Tatjana
1 Grujić, Gabrijela
1 Gusmão, Arthur Colombini
1 Haenni, Rolf
1 Henderson, Thomas C.
1 Hirsch, Robin
1 Horsten, Leon
1 Ismail, Haythem O.
1 Jabbour, Said
1 Jaffuel, Bruno
1 Jäger, Manfred
1 Jin, Zhi
1 Khrennikov, Andreĭ Yur’evich
1 Konur, Savas
1 Kozyrev, Sergeĭ Vladimirovich
1 Liao, Lingmin
1 Liu, Weiru
1 Ma, Yue
1 Mandrioli, Dino
1 Marinković, Bojan
1 Mauá, Denis Deratani
1 Medić, Slavica
1 Mijajlović, Žarko
1 Mitiche, Amar
1 Morzenti, Angelo
1 Naumov, Pavel G.
1 Pischke, Nicholas
1 Pizzi, Claudio E. A.
1 Pottier, François
1 Prade, Henri M.
1 Pugliese, Andrea
1 Quiggin, John
1 Radojević, Dragan G.
1 Ramos, Jaime
1 Rasga, João
1 Romeijn, Jan Willem
1 Rossi, Matteo A. C.
1 Russo, Federica
1 Saburov, Mansoor
1 Sacharny, D.
1 Saïs, Lakhdar
1 Serbinowski, Bernard
1 Sernadas, Cristina S.
1 Shear, Ted
1 Simari, Gerardo I.
1 Štajner-Papuga, Ivana
1 Stojanović, Nenad U.
1 Stojanović, Tatjana
1 Štrboja, Mirjana
1 Studer, Thomas
1 Su, Che-Ping
1 Subrahmanian, V. S.
...and 12 more Authors

Citations by Year