Rašković, Miodrag
Loading...
3
0
20
0
false
Full Name
Rašković, Miodrag
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 2 probability logic | conditional probability | approximate probability | non-standard analysis | strong completeness | decidability | default reasoning
- 1 Approximate probability | Conditional probability | Decidability | Default reasoning | Non-standard analysis | Probabilistic logic | Strong completeness
- 1 Approximate probability | Decidability | Non-standard analysis | Probabilistic first-order logic | Strong completeness
- 1 Approximate probability | Default reasoning | n-Consistency | n-Probability | Probability measure
- 1 Axiomatic system | Logic programming | Theorem proving
- 1 Axiomatization | Strong completeness | Weighted formulas
- 1 Boolean logic | Boolean polynomials | Boolean frame
- 1 Classical propositional logic | Completeness theorem | Measure | Uncertainty
- 1 Classification of objects | Data bases | Missing values | Nature-inspired methods | Swarm intelligence
- 1 Classification problem | Fuzzy logic | Gödel's t-norm | Probabilistic logic | Product t-norm
- next >
Date issued
Type
Results 41-60 of 60 (Search time: 0.014 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 41 | Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Probabilistic Approach to Default Reasoning | 2004 | 10th International workshop on Non-monotonic reasoning NMR 2004, Whistler, BC, Canada, June 6--8, 2004; 335-341 | M33 |
| 42 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic extension of intuitionistic logic | 1-Jan-2003 | Mathematical Logic Quarterly; 49(4); 415-424 | M22 |
| 43 | Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Conditional Probability Logic | 2003 | Workshop 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-16 | M33 |
| 44 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | An intuitionistic logic with probabilistic operators | 2003 | Publications de l'Institut Mathematique; 73(87); 31-38 | M24 |
| 45 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic logic based on propositional intuitionistic logic | 2002 | 37th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia; 784-787 | M33 |
| 46 | Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | An automated theorem prover for the probability logic LPP | 2001 | A tribute to S. B. Prešić - papers celebrating his 65th birthday, Beograd 1998.; 79-83 | M63 |
| 47 | Rašković, Miodrag ; Ognjanović, Zoran | On classical logicwith probability operators: A short survay | 2001 | 10th Congress of Yugoslav Mathematicians, Belgrade, 21 -- 24. 01. 2001., Beograd; 135-142 | M63 |
| 48 | Ognjanović, Zoran ; Rašković, Miodrag | Some first-order probability logics | 28-Sep-2000 | Theoretical Computer Science; 247(1-2); 191-212 | M23 |
| 49 | Ognjanović, Zoran ; Rašković, Miodrag | Some probability logics with new types of probability operators | 1-Jan-1999 | Journal of Logic and Computation; 9(2); 181-195 | M21 |
| 50 | Rašković, Miodrag ; Ognjanović, Zoran | A first order probability logic, LPQ | 1999 | Publications de l'Institut Mathematique; 65(79); 1-7 | M24 |
| 51 | Ognjanović, Zoran ; Rašković, Miodrag | The completeness theorem for a temporal logic with probabilistic operators | 1997 | VIII International Conference on Logic and Computer Science LIRA '97, 1997.; 177-181 | M63 |
| 52 | Ognjanović, Zoran ; Rašković, Miodrag | A logic with higher order probabilities | 1996 | Publications de l'Institut Mathematique; 60(74); 1-4 | M24 |
| 53 | Rašković, Miodrag ; Ognjanović, Zoran | Some propositional probabilistic logics | 1996 | Scientific review; Kurepa's symposium 1996; 19-20; 83-90 | M33 |
| 54 | Rašković, Miodrag ; Ognjanović, Zoran | A logic with higher order probabilities | 1996 | X Conference on Applied Mathematics, Budva 1995.; 255-257 | M63 |
| 15 | Rašković, Miodrag ; Ognjanović, Zoran | A logic for reasoning about Probability | 1995 | IX Conference on Applied Mathematics, Budva 1994.; 365-369 | M63 |
| 16 | Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Rezonovanje o verovatnoći | 1995 | YUINFO '95, Brezovica 1995.; 227-230 | M63 |
| 17 | Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | LPP-logic about Probability | 1994 | XXI SYM-OP-IS '94, Kotor 1994.; 179-182 | M63 |
| 18 | Rašković, Miodrag ; Tanović, Predrag | Completeness theorem for a monadic logic with both first-order and probability quantifiers | 1990 | Publications de l'Institut Mathématique; 47(61); 1-14 | M24 |
| 19 | Rašković, Miodrag | Logike sa merom u Lajbnicovom univerzumu | 1983 | doctoral thesis: Matematički fakultet, Univerzitet u Beogradu | M70 |
| 20 | Rašković, Miodrag | Zasnivanja nestandardne analize | 1978 | master thesis: Matematički fakultet, Univerzitet u Beogradu | M71 |
Projects
(Co-Investigators)
Results 1-6 of 6 (Search time: 0.0 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT III 044006 | Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education | 01-01-2011 | 31-12-2019 | Ognjanović, Zoran |
| PROJECT 1585 | History and Philosophy of Mathematics | 01-01-2002 | 31-12-2005 | Božić, Milan |
| PROJECT 144050 | History and philosophy of mathematics and natural sciences | 01-01-2006 | 31-12-2010 | Božić, Milan |
| PROJECT 1379 | Methods of Mathematical Logic for Decision Support in Real Life Situations | 01-01-2002 | 31-12-2005 | Ognjanović, Zoran |
| PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |
| PROJECT 144013 | Representations of logical structures and their application in computer science | 01-01-2006 | 31-12-2010 | Ognjanović, Zoran |