Ognjanović, Zoran

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ognjanović, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 241-260 of 268 (Search time: 0.004 seconds).

Author(s)TitleIssue DateAppears inRank
241Jocković, Miroslav; Ognjanović, Zoran ; Stankovski, StevanVeštačka inteligencija : inteligentne mašine i sistemi1998M42
242Ognjanović, Zoran ; Rašković, Miodrag The completeness theorem for a temporal logic with probabilistic operators1997VIII International Conference on Logic and Computer Science LIRA '97, 1997.; 177-181M63
243Mijajlović, Žarko; Korać, Miomir; Ognjanović, Zoran ; Midić, UrošPrezentovanje kulturne baštine Muzeja grada Beograda na Internetu1997VII Naučni skup o sistemu naučnih, tehnoloških i poslovnih informacija, Beograd 28 - 29. 5. 1997; 175-178M63
244Mijajlović, Žarko; Korać, Miomir; Ognjanović, Zoran Sredstva za arhiviranje i prikazivanje multimedijalnih baza preko Interneta1997VII Naučni skup o sistemu naučnih, tehnoloških i poslovnih informacija, Beograd 28 - 29. 5. 1997; 109-112M63
245Ognjanović, Zoran ; Rašković, Miodrag A logic with higher order probabilities1996Publications de l'Institut Mathematique; 60(74); 1-4M24
246Rašković, Miodrag ; Ognjanović, Zoran Some propositional probabilistic logics1996Scientific review; Kurepa's symposium 1996; 19-20; 83-90M33
247Rašković, Miodrag ; Ognjanović, Zoran A logic with higher order probabilities1996X Conference on Applied Mathematics, Budva 1995.; 255-257M63
248Rašković, Miodrag ; Ognjanović, Zoran A logic for reasoning about Probability1995IX Conference on Applied Mathematics, Budva 1994.; 365-369M63
249Ognjanović, Zoran ; Majstorović, UrošAnd-Parallel Prolog for PC-based lans1995IX Conference on Applied Mathematics, Budva 1994. Institute of Mathematics, PMF Novi Sad, Novi Sad; 337-341M63
250Ognjanović, Zoran ; Majstorović, Uroš; Stanisavljević,Ivan; Petrović, VladimirMultprocesorski multitasking Prolog1995YUINFO '95, Brezovica 1995.; 196-199M63
251Ognjanović, Zoran Šta sve donosi veštačka inteligencija1995Filozofija i Društvo; 8; 193-204M52
252Korać, Miomir; Ognjanović, Zoran ; Dugandžić, FilipEkspertni sistem za iskopine PANDORA1995Info review; 5; 43-47M54
253Korać, Miomir; Ognjanović, Zoran ; Dugandžić, FilipPandora - ekspertni sistem za datiranje iskopina1995Infofest, Budva, 1995; 1-9M64
254Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, UrošRezonovanje o verovatnoći1995YUINFO '95, Brezovica 1995.; 227-230M63
255Ognjanović, Zoran A tableau-like proof procedure for normal modal logics20-Jun-1994Theoretical Computer Science; 129(1); 167-186M23
256Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, UrošLPP-logic about Probability1994XXI SYM-OP-IS '94, Kotor 1994.; 179-182M63
257Ognjanović, Zoran Tehnologija ekspertnih sistema1994IV Naučni skup o sistemu naučnih i tehnoloških informacija "Stanje i tendencije razvoja sistema naučnih, tehnoloških i poslovnih informacija u Saveznoj republici Jugoslaviji", Vrnjačka Banja, 7. i 8. april 1994; 53-56M63
258Jocković, Miroslav; Ognjanović, Zoran Jedno rešenja sistema zasnovanih na znanju za upravljanje fleksibilnom proizvodnjom ćelijom1994Veštačka inteligencija; 181-196M45
259Ognjanović, Zoran Dokazivač teorema u modalnom računu S4 zasnovan na metodi dualni tabloa1993master thesis: Matematički fakultet, Univerzitet u BeograduM71
260Jocković, Miroslav; Ognjanović, Zoran A solution of an inference engine in knowladge based systems1993XXXVII Conference of electronics, telecommunications, automation and nuklear engineerin ETAN, Beograd 1993.; XIII; 9-14M63

Projects


Results 1-3 of 3 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT III 044006Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education01-01-201131-12-2019Ognjanović, Zoran
PROJECT 1379Methods of Mathematical Logic for Decision Support in Real Life Situations01-01-200231-12-2005Ognjanović, Zoran
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran