eNauka - pregled

Pregled prema Projekat Methods of Mathematical Logic for Decision Support in Real Life Situations

Prikaz rezultata 1 do 6 od 6
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2005A hybrid genetic and variable neighborhood descent for probabilistic SAT problemOgnjanović, Zoran  ; Midić, Uroš; Mladenović, Nenad  Naučni članak
23M23 - Međunarodni časopis kategorije M23
2005A logic with coherent conditional probabilitiesIkodinović, Nebojša  ; Ognjanović, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2003A probabilistic extension of intuitionistic logicMarković, Zoran; Ognjanović, Zoran  ; Rašković, MiodragNaučni članak
22M22 - Međunarodni časopis kategorije M22
2002A probabilistic logic based on propositional intuitionistic logicMarković, Zoran; Ognjanović, Zoran  ; Rašković, MiodragKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2003An intuitionistic logic with probabilistic operatorsMarković, Zoran; Ognjanović, Zoran  ; Rašković, MiodragNaučni članak
Mp kategorija će biti prikazana naknadno.
2004Completeness 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