Showing results 29 to 46 of 46
< previous
Author(s) | Title | Issue Date | Appears in | Rank |
Marković, Zoran | On the structure of kripke models of heyting arithmetic | 1-Jan-1993 | Mathematical Logic Quarterly; 39(1); 531-538 | |
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 |
Mihaljević, Miodrag J. ; Marković, Zoran ; Blagojević, D.; Marković, M.; Urošević, Dragan ; Bajić, D. | Softverski sistem za zaštićeno elektronsko arhiviranje | 2005 | | M85 |
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 |
Marković, Zoran ; Rašković, Miodrag | Some New Probability Operators | 2020 | Probabilistic Extensions of Various Logical Systems; 143-163 | M13 |
Marković, Zoran | Some preservation results for classical and intuitionistic satisfiability in kripke models | 1-Jan-1983 | Notre Dame Journal of Formal Logic; 24(3); 395-398 | |
Mihaljević, Miodrag J. ; Marković, Zoran ; Davidović, Tatjana | Tehnički izveštaj o evaluaciji kriptografske sigurnosti određenih kriptografskih tehnika od perspektivnog interesa za GSM mrežu Mobilne telefonije, Telekoma Srbije | 2008 | | M80 |
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran | Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu govornog servisa Mobilne telefonije, Telekoma Srbije | 2007 | | M80 |
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran | Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu negovornih servisa Mobilne telefonije, Telekoma Srbije | 2007 | | M80 |
Marković, Zoran | Teorija modela sostema intuicionističke logike | 1974 | master thesis: Matematički fakultet, Univerzitet u Beogradu | M71 |
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 |