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 Axiomatization | Strong completeness | Weighted formulas
- 1 Boolean logic | Boolean polynomials | Boolean frame
- 1 Classification problem | Fuzzy logic | Gödel's t-norm | Probabilistic logic | Product t-norm
- 1 Completeness theorems | Definability of probability operators | Hierarchy of probability logics | Probability logic
- 1 Completeness | Probability logic | Sigma-additivity
- 1 Decidability | Evidence | Probabilistic logic | Strong Completeness | Temporal logic
- 1 Decidability | Probability logic | Qualitative probability | Strong completeness
- 1 Polynomial weights | Complete axiomatization | Probabilistic logics
- 1 Probabilistic logics | Polynomials | Polynomial weight | Bayesian inference
- 1 Probabilistic temporal logic
- next >
Date issued
Type
Results 1-18 of 18 (Search time: 0.005 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Completeness theorems for σ–additive probabilistic semantics | 1-Apr-2020 | Annals of Pure and Applied Logic; 171(4); 102755 | M21 |
| 2 | Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran ; Rašković, Miodrag | On evaluations of propositional formulas in countable structures | 1-Jan-2016 | Filomat; 30(1); 1-13 | M22 |
| 3 | Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Hierarchies of probabilistic logics | 1-Jan-2014 | International Journal of Approximate Reasoning; 55(9); 1830-1842 | M21 |
| 4 | Rašković, Miodrag ; Knežević, Milica ; Perović, Aleksandar; Rašković, Sanvila; Perić, Aleksandra; Đurić, Vojislav | Sistem za automatsko testiranje korelacije dijagnostičkih kriterijuma | 2013 | M85 | |
| 5 | Doder, Dragan; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | On evaluations of propositional formulas whose range is a subset of some fixed countable ordered field | 1-Dec-2012 | World Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.; 10th International Fuzzy Logic and Intelligent Technologies inNuclear Science Conference, FLINS 2012; Istanbul; Turkey; 26 August 2012 through 29 August 2012; 7; 567-572 | M33 |
| 6 | Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, Aleksandar | A propositional probabilistic logic with discrete linear time for reasoning about evidence | 24-Aug-2012 | Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243 | M23 |
| 7 | Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Hierarchies of probability logics | 2012 | ECAI-2012 Workshop on Weighted logics for Artificial Intelligence WL4AI, Montpellier, France, August 28, 2012.; 9-15 | M33 |
| 8 | Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran ; Perović, Aleksandar | On probability logic | 2012 | The IPSI BgD Transactions on Advanced Research; 8(1); 2-7 | M52 |
| 9 | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Radojević, Dragan | Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm | 16-Apr-2011 | Fuzzy Sets and Systems; 169(1); 65-90 | M21a |
| 10 | Doder, Dragan; Marković, Zoran ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | A probabilistic temporal Logic that can model reasoning about evidence | 26-Apr-2010 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010; Sofia; Bulgaria; 15 February 2010 through 19 February 2010; 5956 LNCS; 9-24 | M23 |
| 11 | 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 |
| 12 | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | An axiomatizatin of qualitative probability | 1-Dec-2008 | Acta Polytechnica Hungarica; 5(1); 105-110 | M51 |
| 13 | 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 |
| 14 | 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 |
| 15 | 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 |
| 16 | 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 |
| 17 | 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 |
| 18 | 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 |
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 |