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

Results 41-60 of 60 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
41Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran A Probabilistic Approach to Default Reasoning200410th International workshop on Non-monotonic reasoning NMR 2004, Whistler, BC, Canada, June 6--8, 2004; 335-341M33
42Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag A probabilistic extension of intuitionistic logic1-Jan-2003Mathematical Logic Quarterly; 49(4); 415-424M22
43Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran A Conditional Probability Logic2003Workshop on Computational Intelligence and Information Technologies, Faculty of Electronic Engineering Niš and Dept. of Comp. Science University of Dortmund Germany, Srbija i Crna Gora, Niš, 13. X 2003.; 13-16M33
44Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag An intuitionistic logic with probabilistic operators2003Publications de l'Institut Mathematique; 73(87); 31-38M24
45Marković, 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
46Raš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
47Rašković, Miodrag ; Ognjanović, Zoran On classical logicwith probability operators: A short survay200110th Congress of Yugoslav Mathematicians, Belgrade, 21 -- 24. 01. 2001., Beograd; 135-142M63
48Ognjanović, Zoran ; Rašković, Miodrag Some first-order probability logics28-Sep-2000Theoretical Computer Science; 247(1-2); 191-212M23
49Ognjanović, Zoran ; Rašković, Miodrag Some probability logics with new types of probability operators1-Jan-1999Journal of Logic and Computation; 9(2); 181-195M21
50Rašković, Miodrag ; Ognjanović, Zoran A first order probability logic, LPQ1999Publications de l'Institut Mathematique; 65(79); 1-7M24
51Ognjanović, 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
52Ognjanović, Zoran ; Rašković, Miodrag A logic with higher order probabilities1996Publications de l'Institut Mathematique; 60(74); 1-4M24
53Rašković, Miodrag ; Ognjanović, Zoran Some propositional probabilistic logics1996Scientific review; Kurepa's symposium 1996; 19-20; 83-90M33
54Rašković, Miodrag ; Ognjanović, Zoran A logic with higher order probabilities1996X Conference on Applied Mathematics, Budva 1995.; 255-257M63
55Rašković, Miodrag ; Ognjanović, Zoran A logic for reasoning about Probability1995IX Conference on Applied Mathematics, Budva 1994.; 365-369M63
56Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, UrošRezonovanje o verovatnoći1995YUINFO '95, Brezovica 1995.; 227-230M63
57Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, UrošLPP-logic about Probability1994XXI SYM-OP-IS '94, Kotor 1994.; 179-182M63
58Rašković, Miodrag ; Tanović, Predrag Completeness theorem for a monadic logic with both first-order and probability quantifiers1990Publications de l'Institut Mathématique; 47(61); 1-14M24
59Rašković, Miodrag Logike sa merom u Lajbnicovom univerzumu1983doctoral thesis: Matematički fakultet, Univerzitet u BeograduM70
60Rašković, Miodrag Zasnivanja nestandardne analize1978master thesis: Matematički fakultet, Univerzitet u BeograduM71

Projects
(Co-Investigators)


Results 1-6 of 6 (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 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