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 221-240 of 268 (Search time: 0.004 seconds).

Author(s)TitleIssue DateAppears inRank
221Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef A genetic algorithm for PSAT2003XXX Simpozijum o operacionim istraživanjima SYMOPIS 2003, Herceg Novi, 30. 9. - 3. 10. 2003.; 303-306M63
222Ognjanović, Zoran Nacionalni centar za digitalizaciju2003Pregled nacionalnog centra za digitalizaciju; Naučno-stručni skup - Nove tehnologije: digitalizacija nacionalne baštine 2002, Beograd; 1; 3-11M63
223Dobreva, Milena; Ognjanović, Zoran The second conference of the National digitisation centre of Serbia and Montenegro: Digitisation from a Balkan perspective2003DigiCULT.Info; 5; 16-17
224Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag An intuitionistic logic with probabilistic operators2003Publications de l'Institut Mathematique; 73(87); 31-38M24
225Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag A probabilistic logic based on propositional intuitionistic logic200237th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia; 784-787M33
226Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš A genetic algorithm for satisfiability problem in a probabilistic logic: A first report1-Jan-2001Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 2001; 2143; 805-816M21
227Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš Primena genetskih algoritama na SAT problem2001XXVIII Jugoslovenski simpozijum o operacionim istraživanjima SYMOPIS 2001, Beograd 2. do 5. 10. 2001.; 289-292M63
228Ognjanović, Zoran The resolution tableau for logics of likelihood2001Kragujevac Journal of Mathematics; 23; 107-117M52
229Ognjanović, Zoran Completeness theorem for a first order linear-time logic2001Publications de l'Institut Mathematique; 69(83); 1-7M24
230Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, UrošAn automated theorem prover for the probability logic LPP2001A tribute to S. B. Prešić - papers celebrating his 65th birthday, Beograd 1998.; 79-83M63
231Rašković, Miodrag ; Ognjanović, Zoran On classical logicwith probability operators: A short survay200110th Congress of Yugoslav Mathematicians, Belgrade, 21 -- 24. 01. 2001., Beograd; 135-142M63
232Mihaljević, Miodrag J. ; Marković, Zoran ; Urošević, Dragan ; Ognjanović, Zoran Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podataka2001M85
233Ognjanović, Zoran ; Rašković, Miodrag Some first-order probability logics28-Sep-2000Theoretical Computer Science; 247(1-2); 191-212M23
234Ognjanović, Zoran ; Timotijević, TatjanaOn two approaches to modal theorem proving2000Novi Sad Journal of Mathematics; 30(2); 83-93M24
235Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran A new program for cryptographic authetification control of data2000XLIV Conference of electronics, telecommunications, automation and nuclear engineering ETRAN, Beograd 2000; 72-74M63
236Ognjanović, Zoran ; Rašković, Miodrag Some probability logics with new types of probability operators1-Jan-1999Journal of Logic and Computation; 9(2); 181-195M21
237Ognjanović, Zoran Neka verovatnosne logike i njihove primene u računarstvu1999doctoral thesis: Prirodno-matematiki fakultet, Univerzitet u KragujevcuM70
238Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran New software for cryptographic control of data integrity1999XLIII Conference of electronics, telecommunications, automation and nuclear engineering ETRAN, Beograd 1999; 39-41M63
239Rašković, Miodrag ; Ognjanović, Zoran A first order probability logic, LPQ1999Publications de l'Institut Mathematique; 65(79); 1-7M24
240Ognjanović, Zoran A logic for temporal and probabilistic reasoning1998Workshop on Probabilistic Logic and Randomised Computation, ESSLLI '98, Saarbruecken, Germany; 1-10M33

Projects


Results 1-3 of 3 (Search time: 0.0 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