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

Refined By:
Rank:  M24

Results 1-8 of 8 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
1Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina Tableau For the Logic ILP2022Publications de l'Institut Mathématique; 112(126); 1-11M24
2Ognjanović, Zoran ; Ikodinović, NebojšaA logic with higher order conditional probabilities1-Jan-2007Publications de l'Institut Mathematique; 96; 141-154M24
3Ognjanović, 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
4Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag An intuitionistic logic with probabilistic operators2003Publications de l'Institut Mathematique; 73(87); 31-38M24
5Ognjanović, Zoran Completeness theorem for a first order linear-time logic2001Publications de l'Institut Mathematique; 69(83); 1-7M24
6Ognjanović, Zoran ; Timotijević, TatjanaOn two approaches to modal theorem proving2000Novi Sad Journal of Mathematics; 30(2); 83-93M24
7Rašković, Miodrag ; Ognjanović, Zoran A first order probability logic, LPQ1999Publications de l'Institut Mathematique; 65(79); 1-7M24
8Ognjanović, 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.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