Researchers
Ognjanović, Zoran
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2008 | Internet presentations of mathematical works in Serbia (✓) | Mijajlović, Žarko ; Ognjanović, Zoran ; Pejović, Aleksandar | Article | Mp. category will be shown later |
2008 | A probabilistic logic with polynomial weight formulas | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag; Marković, Zoran | Article | Mp. category will be shown later |
2008 | An axiomatizatin of qualitative probability | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Article | Mp. category will be shown later |
2008 | Logics with the qualitative probability operator | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Article | 23M23 |
2008 | Interpolative Boolean logic | Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag | Article | Mp. category will be shown later |
2008 | A logic with approximate conditional probabilities that can model default reasoning | Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran | Article | 22M22 |
2007 | Measure logic | Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran | Article | 23M23 |
2007 | A logic with higher order conditional probabilities (✓) | Ognjanović, Zoran ; Ikodinović, Nebojša | Article | Mp. category will be shown later |
2006 | PANDORA - Ekspertni sistem za datiranje iskopina (✓) | Korać, Miomir ; Ognjanović, Zoran ; Dugandžić, Filip | Article | Mp. category will be shown later |
2006 | Discrete linear-time probabilistic logics: Completeness, decidability and complexity | Ognjanović, Zoran | Article | 22M22 |
2005 | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem | Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad | Article | 23M23 |
2005 | Completeness theorem for a logic with imprecise and conditional probabilities | Ognjanović, Zoran ; Marković, Zoran; Rašković, Miodrag | Article | Mp. category will be shown later |
2004 | Completeness theorem for propositional probabilistic models whose measures have only finite ranges | Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran | Article | 22M22 |
2004 | A genetic algorithm for probabilistic SAT problem | Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef | Article | 22M22 |
2004 | A logic with conditional probabilities | Rašković, Miodrag; Ognjanović, Zoran ; Marković, Zoran | Article | 22M22 |
2003 | An intuitionistic logic with probabilistic operators | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Article | Mp. category will be shown later |
2003 | A probabilistic extension of intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Article | 22M22 |
2001 | The resolution tableau for logics of likelihood | Ognjanović, Zoran | Article | Mp. category will be shown later |
2001 | A genetic algorithm for satisfiability problem in a probabilistic logic: A first report | Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš | Article | 21M21 |
2001 | Completeness theorem for a first order linear-time logic | Ognjanović, Zoran | Article | Mp. category will be shown later |