Истраживачи
Ognjanović, Zoran
Година
- 38 2020 - 2026
- 164 2010 - 2019
- 71 2000 - 2009
- 28 1990 - 1999
- 4 1980 - 1989
Мп-кат.
Година - распон
Резултати 261-280 од 305
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2003 | A Conditional Probability Logic | Rašković, Miodrag; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2003 | Genetski algoritam za PSAT | Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2002 | A probabilistic logic based on propositional intuitionistic logic | Marković, Zoran; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2001 | Completeness theorem for a first order linear-time logic | Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | An automated theorem prover for the probability logic LPP | Rašković, Miodrag; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2001 | A genetic algorithm for satisfiability problem in a probabilistic logic: A first report | Ognjanović, Zoran | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2001 | The resolution tableau for logics of likelihood | Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podataka | Mihaljević, Miodrag J. | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2001 | On classical logicwith probability operators: A short survay | Rašković, Miodrag; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2001 | Primena genetskih algoritama na SAT problem | Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2000 | A new program for cryptographic authetification control of data | Bojanić, Slobodan; Mihaljević, Miodrag J. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2000 | On two approaches to modal theorem proving | Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2000 | Some first-order probability logics | Ognjanović, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 1999 | Some probability logics with new types of probability operators | Ognjanović, Zoran | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 1999 | A first order probability logic, LPQ | Rašković, Miodrag; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | Neke verovatnosne logike i njihove primene u računarstvu | Ognjanović, Zoran | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 1999 | New software for cryptographic control of data integrity | Bojanić, Slobodan; Mihaljević, Miodrag J. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1998 | A logic for temporal and probabilistic reasoning | Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Veštačka inteligencija : inteligentne mašine i sistemi![]() | Jocković, Miroslav; Ognjanović, Zoran | Монографија | Мп категорија ће бити приказана накнадно. |
| 1997 | Prezentovanje kulturne baštine Muzeja grada Beograda na Internetu | Mijajlović, Žarko; Korać, Miomir; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
