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
- 1 Approximate probability | Conditional probability | Decidability | Default reasoning | Non-standard analysis | Probabilistic logic | Strong completeness
- 1 Axiomatic system | Logic programming | Theorem proving
- 1 Boolean logic | Boolean polynomials | Boolean frame
- 1 Completeness | Conditional probability logic | Hardy field | Nonstandard values
- 1 Completeness | Finite ranges of probabilities | Probabilistic logic
- 1 Completeness | First order logic | Possible worlds | Probability
- 1 Decidability | Probability logic | Qualitative probability | Strong completeness
- 1 Polynomial weights | Complete axiomatization | Probabilistic logics
- 1 probabilistic logic | intuitionistic logic | completeness | decidability
- 1 Probabilistic logic, intuitionistic logic, completeness, decidability
- next >
Type
Results 1-20 of 24 (Search time: 0.006 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Qualitative possibilities and necessities | 27-Aug-2009 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009; Verona; Italy; 1 July 2009 through 3 July 2009; 5590 LNAI; 651-662 | M23 |
2 | Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Probability logics | 2009 | Logic in computer science; 12(20); 35-111 | M14 |
3 | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | An axiomatizatin of qualitative probability | 1-Dec-2008 | Acta Polytechnica Hungarica; 5(1); 105-110 | M51 |
4 | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | How to restore compactness into probabilistic logics? | 28-Nov-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th European Conference on Logics in Artificial Intelligence, JELIA 2008; Dresden; Germany; 28 September 2008 through 1 October 2008; 5293 LNAI; 338-348 | M23 |
5 | Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag | Interpolative Boolean logic | 25-Sep-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008; Varna; Bulgaria; 4 September 2008 through 6 September 2008; 5253 LNAI; 209-219 | M23 |
6 | Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | A logic with approximate conditional probabilities that can model default reasoning | 1-Sep-2008 | International Journal of Approximate Reasoning; 49(1); 52-66 | M22 |
7 | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | A probabilistic logic with polynomial weight formulas | 1-Jan-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008; Pisa; Italy; 11 February 2008 through 15 February 2008; 4932 LNCS; 239-252 | M23 |
8 | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Logics with the qualitative probability operator | 1-Jan-2008 | Logic Journal of the IGPL; 16(2); 105-120 | M23 |
9 | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | An axiomatization of qualitative probability | 1-Dec-2007 | 5th International Symposium on Intelligent Systems and Informatics, SISY 2007; 151-154 | M33 |
10 | Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Measure logic | 1-Jan-2007 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 2007; 4724; 128-138 | M23 |
11 | Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran ; Ikodinović, Nebojša; Perović, Aleksandar | Logike sa verovatnosnim operatorima | 2007 | XXXIV Simpozijum o operacionim istraživanjima SYMOPIS 2007, Zlatibor, 16. 9. - 19. 9. 2007; 649-651 | M63 |
12 | Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | Decidability of a conditional-probability logic with non-standard valued probabilities | 2006 | 11th Workshop on nonmonotonic reasoning NMR 11, 30 May to 1 June 2006, Lake District area, UK, 201--207, 2006; 201-207 | M33 |
13 | Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag | Completeness theorem for a logic with imprecise and conditional probabilities | 1-Jan-2005 | Publications de l'Institut Mathematique; 78(92); 35-49 | M24 |
14 | Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A logic with conditional probabilities | 1-Jan-2004 | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Workshop on Logics in Artificial Intelligence, JELIA 2004; 3229; 226-238 | M22 |
15 | Đordević, Radosav; Rašković, Miodrag ; Ognjanović, Zoran | Completeness theorem for propositional probabilistic models whose measures have only finite ranges | 1-Jan-2004 | Archive for Mathematical Logic; 43; 557-563 | M22 |
16 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | What is the Proper Propositional Base for Probabilistic Logic? | 2004 | Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference IPMU 2004, Perugia, Italy, July, 4-9, 2004; 443-450 | M33 |
17 | 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 |
18 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic extension of intuitionistic logic | 1-Jan-2003 | Mathematical Logic Quarterly; 49(4); 415-424 | M22 |
19 | 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 |
20 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | An intuitionistic logic with probabilistic operators | 2003 | Publications de l'Institut Mathematique; 73(87); 31-38 | M24 |
Projects
(Co-Investigators)
Results 1-6 of 6 (Search time: 0.001 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 |