Rašković, Miodrag

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Rašković, Miodrag
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Refined By:
Rank:  M63

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

Author(s)TitleIssue DateAppears inRank
1Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran ; Ikodinović, Nebojša; Perović, AleksandarLogike sa verovatnosnim operatorima2007XXXIV Simpozijum o operacionim istraživanjima SYMOPIS 2007, Zlatibor, 16. 9. - 19. 9. 2007; 649-651M63
2Raš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
3Rašković, Miodrag ; Ognjanović, Zoran On classical logicwith probability operators: A short survay200110th Congress of Yugoslav Mathematicians, Belgrade, 21 -- 24. 01. 2001., Beograd; 135-142M63
4Ognjanović, 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
5Rašković, Miodrag ; Ognjanović, Zoran A logic with higher order probabilities1996X Conference on Applied Mathematics, Budva 1995.; 255-257M63
6Rašković, Miodrag ; Ognjanović, Zoran A logic for reasoning about Probability1995IX Conference on Applied Mathematics, Budva 1994.; 365-369M63
7Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, UrošRezonovanje o verovatnoći1995YUINFO '95, Brezovica 1995.; 227-230M63
8Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, UrošLPP-logic about Probability1994XXI SYM-OP-IS '94, Kotor 1994.; 179-182M63

Projects
(Co-Investigators)


Results 1-6 of 6 (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 1585History and Philosophy of Mathematics01-01-200231-12-2005Božić, Milan
PROJECT 144050History and philosophy of mathematics and natural sciences01-01-200631-12-2010Božić, Milan
PROJECT 1379Methods of Mathematical Logic for Decision Support in Real Life Situations01-01-200231-12-2005Ognjanović, Zoran
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran