Истраживачи
Ognjanović, Zoran
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2003 | A genetic algorithm for PSAT | Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2003 | Nacionalni centar za digitalizaciju | Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2003 | Nacionalni centar za digitalizaciju - godina prva | Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2002 | A probabilistic logic based on propositional intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2001 | Primena genetskih algoritama na SAT problem | Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2001 | An automated theorem prover for the probability logic LPP | Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2001 | On classical logicwith probability operators: A short survay | Rašković, Miodrag; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2000 | A new program for cryptographic authetification control of data | Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1999 | New software for cryptographic control of data integrity | Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1998 | A logic for temporal and probabilistic reasoning | Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1997 | The completeness theorem for a temporal logic with probabilistic operators | Ognjanović, Zoran ; Rašković, Miodrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1997 | Sredstva za arhiviranje i prikazivanje multimedijalnih baza preko Interneta | Mijajlović, Žarko; Korać, Miomir; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1997 | Prezentovanje kulturne baštine Muzeja grada Beograda na Internetu | Mijajlović, Žarko; Korać, Miomir; Ognjanović, Zoran ; Midić, Uroš | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1996 | A logic with higher order probabilities | Rašković, Miodrag; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1996 | Some propositional probabilistic logics | Rašković, Miodrag; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1995 | Pandora - ekspertni sistem za datiranje iskopina | Korać, Miomir; Ognjanović, Zoran ; Dugandžić, Filip | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1995 | Multprocesorski multitasking Prolog | Ognjanović, Zoran ; Majstorović, Uroš; Stanisavljević, Ivan; Petrović, Vladimir | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1995 | And-Parallel Prolog for PC-based lans | Ognjanović, Zoran ; Majstorović, Uroš | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1995 | A logic for reasoning about Probability | Rašković, Miodrag; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1995 | Rezonovanje o verovatnoći | Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Конференцијски рад | Мп категорија ће бити приказана накнадно. |