eNauka - pregled
Pregled prema Projekat Methods of Mathematical Logic for Decision Support in Real Life Situations
Prikaz rezultata 1 do 6 od 6
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2005 | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem | Ognjanović, Zoran ![]() ![]() ![]() ![]() | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
2005 | A logic with coherent conditional probabilities![]() | Ikodinović, Nebojša ![]() ![]() ![]() ![]() | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2003 | A probabilistic extension of intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ![]() ![]() | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
2002 | A probabilistic logic based on propositional intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ![]() ![]() | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2003 | An intuitionistic logic with probabilistic operators | Marković, Zoran; Ognjanović, Zoran ![]() ![]() | Naučni članak | Mp kategorija će biti prikazana naknadno. |
2004 | Completeness theorem for propositional probabilistic models whose measures have only finite ranges | Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran ![]() ![]() | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |