еНаука - преглед
Преглед према Пројекат Methods of Mathematical Logic for Decision Support in Real Life Situations
Приказ резултата 1 до 6 од 6
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2005 | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem | Ognjanović, Zoran   ; Midić, Uroš; Mladenović, Nenad | Научни чланак | 23M23 - Рад у међ. часопису |
| 2005 | A logic with coherent conditional probabilities (✓) | Ikodinović, Nebojša ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2003 | A probabilistic extension of intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2002 | A probabilistic logic based on propositional intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2003 | An intuitionistic logic with probabilistic operators | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2004 | Completeness theorem for propositional probabilistic models whose measures have only finite ranges | Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |