Showing results 40 to 59 of 60
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
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 |
Rašković, Miodrag ; Ognjanović, Zoran | Some propositional probabilistic logics | 1996 | Scientific review; Kurepa's symposium 1996; 19-20; 83-90 | M33 |
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 |
Stošović, Milan; Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | Transforming electronic medical books to diagnostic decision support systems using relational database management systems | 1-Dec-2013 | Computational Medicine in Data Mining and Modeling; 79-103 | M14 |
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 |