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 61-80 of 85 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
61Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran Measure logic1-Jan-2007Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 2007; 4724; 128-138M23
62Ognjanović, Zoran ; Ikodinović, NebojšaA logic with higher order conditional probabilities1-Jan-2007Publications de l'Institut Mathematique; 96; 141-154M24
63Ognjanović, Zoran Discrete linear-time probabilistic logics: Completeness, decidability and complexity1-Jan-2006Journal of Logic and Computation; 16(2); 257-285M22
64Korać, Miomir; Ognjanović, Zoran ; Dugandžić, FilipPANDORA - Ekspertni sistem za datiranje iskopina2006Arheologija i prirodne nauke; 2; 105-120M52
65Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag Completeness theorem for a logic with imprecise and conditional probabilities1-Jan-2005Publications de l'Institut Mathematique; 78(92); 35-49M24
66Ikodinović, Nebojša; Ognjanović, Zoran A logic with coherent conditional probabilities1-Jan-2005Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005; Barcelona; Spain; 6 July 2005 through 8 July 2005; 3571; 726-736M22
67Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad A hybrid genetic and variable neighborhood descent for probabilistic SAT problem1-Jan-2005Lecture Notes in Computer Science; Second International Worshop on Hybrid Metaheuristics, HM 2005; Barcelona; Spain; 29 August 2005 through 30 August 2005; 3636; 42-53M22
68Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef A genetic algorithm for probabilistic SAT problem9-Dec-2004Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); 7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004; Zakopane; Poland; 7 June 2004 through 11 June 2004; 3070; 462-467M22
69Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran A logic with conditional probabilities1-Jan-2004Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Workshop on Logics in Artificial Intelligence, JELIA 2004; 3229; 226-238M22
70Đordević, Radosav; Rašković, Miodrag ; Ognjanović, Zoran Completeness theorem for propositional probabilistic models whose measures have only finite ranges1-Jan-2004Archive for Mathematical Logic; 43; 557-563M22
71Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag A probabilistic extension of intuitionistic logic1-Jan-2003Mathematical Logic Quarterly; 49(4); 415-424M22
72Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag An intuitionistic logic with probabilistic operators2003Publications de l'Institut Mathematique; 73(87); 31-38M24
73Ognjanović, 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
74Ognjanović, Zoran The resolution tableau for logics of likelihood2001Kragujevac Journal of Mathematics; 23; 107-117M52
75Ognjanović, Zoran Completeness theorem for a first order linear-time logic2001Publications de l'Institut Mathematique; 69(83); 1-7M24
76Ognjanović, Zoran ; Rašković, Miodrag Some first-order probability logics28-Sep-2000Theoretical Computer Science; 247(1-2); 191-212M23
77Ognjanović, Zoran ; Timotijević, TatjanaOn two approaches to modal theorem proving2000Novi Sad Journal of Mathematics; 30(2); 83-93M24
78Ognjanović, Zoran ; Rašković, Miodrag Some probability logics with new types of probability operators1-Jan-1999Journal of Logic and Computation; 9(2); 181-195M21
79Rašković, Miodrag ; Ognjanović, Zoran A first order probability logic, LPQ1999Publications de l'Institut Mathematique; 65(79); 1-7M24
80Ognjanović, Zoran ; Rašković, Miodrag A logic with higher order probabilities1996Publications de l'Institut Mathematique; 60(74); 1-4M24

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