Showing results 36 to 55 of 60
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| 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 |
| 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 |
| 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 |
| 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 |
| Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic extension of intuitionistic logic | 1-Jan-2003 | Mathematical Logic Quarterly; 49(4); 415-424 | M22 |
| 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 |
| 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 |
| Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Probability logics | 2009 | Logic in computer science; 12(20); 35-111 | M14 |
| Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Probability Logics. Probability-Based Formalization of Uncertain Reasoning | 2016 | | M11 |
| 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 |
| 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 |
| Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Rezonovanje o verovatnoći | 1995 | YUINFO '95, Brezovica 1995.; 227-230 | M63 |
| 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 |
| Rašković, Miodrag ; Glišović, Nataša; Rašković, Sanvila; Perić-Popadić, Aleksandra; Đurić, Vojislav | Sistem za kvalifikaciju pacijenata | 2016 | | M85 |
| Rašković, Miodrag ; Glišović, Nataša; Rašković, Sanvila; Perić-Popadić, Aleksandra; Đurić, Vojislav | Sistem za podršku kliničkom odlučivanju koji integriše znanje eksperata sa znanjem sadržanim u podacima iz kliničke prakse | 2013 | | M85 |
| Rašković, Miodrag ; Glišović, Nataša; Rašković, Sanvila; Perić-Popadić, Aleksandra; Đurić, Vojislav | Sistem za podršku kliničkom odlučivanju koji je zasnovan na upoređivanju bolesnika na osnovu kliničkih i laboratorijskih parametara korišćenjem hamming-ovog rastojanja | 2016 | | M86 |
| Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Some applications of probabilistic first-order logics | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 25-26 | M34 |
| Ognjanović, Zoran ; Rašković, Miodrag | Some first-order probability logics | 28-Sep-2000 | Theoretical Computer Science; 247(1-2); 191-212 | M23 |
| Marković, Zoran ; Rašković, Miodrag | Some New Probability Operators | 2020 | Probabilistic Extensions of Various Logical Systems; 143-163 | M13 |
| 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 |
