Истраживачи

Резултати 261-280 од 305
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2003A Conditional Probability LogicRašković, Miodrag; Ognjanović, Zoran  ; Marković, ZoranКонференцијски рад
Мп категорија ће бити приказана накнадно.
2003Genetski algoritam za PSATOgnjanović, Zoran  ; Midić, Uroš; Kratica, Jozef  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2002A probabilistic logic based on propositional intuitionistic logicMarković, Zoran; Ognjanović, Zoran  ; Rašković, MiodragКонференцијски рад
Мп категорија ће бити приказана накнадно.
2001Completeness theorem for a first order linear-time logicOgnjanović, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
2001An automated theorem prover for the probability logic LPPRašković, Miodrag; Ognjanović, Zoran  ; Petrović, Vladimir; Majstorović, UrošКонференцијски рад
Мп категорија ће бити приказана накнадно.
2001A genetic algorithm for satisfiability problem in a probabilistic logic: A first reportOgnjanović, Zoran  ; Kratica, Jozef  ; Milovanović, Miloš  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2001The resolution tableau for logics of likelihoodOgnjanović, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
2001Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podatakaMihaljević, Miodrag J.  ; Marković, Zoran; Urošević, Dragan  ; Ognjanović, Zoran  Техничко решење
Мп категорија ће бити приказана накнадно.
2001On classical logicwith probability operators: A short survayRašković, Miodrag; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2001Primena genetskih algoritama na SAT problemOgnjanović, Zoran  ; Kratica, Jozef  ; Milovanović, Miloš  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2000A new program for cryptographic authetification control of dataBojanić, Slobodan; Mihaljević, Miodrag J.  ; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2000On two approaches to modal theorem provingOgnjanović, Zoran  ; Timotijević, TatjanaНаучни чланак
Мп категорија ће бити приказана накнадно.
2000Some first-order probability logicsOgnjanović, Zoran  ; Rašković, MiodragНаучни чланак
22M22 - Међународни часопис категорије M22
1999Some probability logics with new types of probability operatorsOgnjanović, Zoran  ; Rašković, MiodragНаучни чланак
21M21 - Водећи међународни часопис категорије M21
1999A first order probability logic, LPQRašković, Miodrag; Ognjanović, Zoran  Научни чланак
Мп категорија ће бити приказана накнадно.
1999Neke verovatnosne logike i njihove primene u računarstvuOgnjanović, Zoran  Докторска дисертација
70M70 - Одбрањена докторска дисертација
1999New software for cryptographic control of data integrityBojanić, Slobodan; Mihaljević, Miodrag J.  ; Ognjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1998A logic for temporal and probabilistic reasoningOgnjanović, Zoran  Конференцијски рад
Мп категорија ће бити приказана накнадно.
1997Veštačka inteligencija : inteligentne mašine i sistemiJocković, Miroslav; Ognjanović, Zoran  ; Stankovski, Stevan  Монографија
Мп категорија ће бити приказана накнадно.
1997Prezentovanje kulturne baštine Muzeja grada Beograda na InternetuMijajlović, Žarko; Korać, Miomir; Ognjanović, Zoran  ; Midić, UrošКонференцијски рад
Мп категорија ће бити приказана накнадно.