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:
Date Issued:  [1990 TO 1999]
Author:  Rašković, Miodrag

Results 1-9 of 9 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
1Ognjanović, Zoran ; Rašković, Miodrag Some probability logics with new types of probability operators1-Jan-1999Journal of Logic and Computation; 9(2); 181-195M21
2Rašković, Miodrag ; Ognjanović, Zoran A first order probability logic, LPQ1999Publications de l'Institut Mathematique; 65(79); 1-7M24
3Ognjanović, 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
4Ognjanović, Zoran ; Rašković, Miodrag A logic with higher order probabilities1996Publications de l'Institut Mathematique; 60(74); 1-4M24
5Rašković, Miodrag ; Ognjanović, Zoran Some propositional probabilistic logics1996Scientific review; Kurepa's symposium 1996; 19-20; 83-90M33
6Rašković, Miodrag ; Ognjanović, Zoran A logic with higher order probabilities1996X Conference on Applied Mathematics, Budva 1995.; 255-257M63
7Rašković, Miodrag ; Ognjanović, Zoran A logic for reasoning about Probability1995IX Conference on Applied Mathematics, Budva 1994.; 365-369M63
8Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, UrošRezonovanje o verovatnoći1995YUINFO '95, Brezovica 1995.; 227-230M63
9Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, UrošLPP-logic about Probability1994XXI SYM-OP-IS '94, Kotor 1994.; 179-182M63

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