Browsing eNauka
Browsing by Project Methods of Mathematical Logic for Decision Support in Real Life Situations
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2005 | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem | Ognjanović, Zoran   ; Midić, Uroš; Mladenović, Nenad | Article | 23M23 |
| 2005 | A logic with coherent conditional probabilities | Ikodinović, Nebojša ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2003 | A probabilistic extension of intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Article | 22M22 |
| 2002 | A probabilistic logic based on propositional intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Conference Paper | Mp. category will be shown later |
| 2003 | An intuitionistic logic with probabilistic operators | Marković, Zoran; Ognjanović, 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 | 21M21 |