Showing results 21 to 40 of 46
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| 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 |
| 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 |
| Doder, Dragan; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Measures of inconsistency and defaults | 1-Sep-2010 | International Journal of Approximate Reasoning; 51(7); 832-845 | M21 |
| Mihaljević, Miodrag J. ; Marković, Zoran ; Perišić, Z.; Marković, M. | Metodološka osnova, generički elementi i određena pravila za upravljanje kontinuitetom IT poslovanja i oporavkom sistema u Sektoru za upravljanje IT platformama, Direkcije za IT, Telekoma Srbija | 2007 | | M80 |
| Mihaljević, Miodrag J. ; Marković, M.; Marković, Zoran ; Ognjanović, Zoran ; Perišić, Z.; Marinković, Bojan ; Korać, Vanja | Metodološke, organizacione i normativne komponente za sistem upravljanja bezbednošću informacija u Telekomu Srbija | 2006 | | M80 |
| Marković, Zoran | Model Theory for Instutionistic Logic | 1979 | doctoral thesis: University of Pennsylvania, USA | M70 |
| Mihaljević, Miodrag J. ; Marković, Zoran | On cryptographic approaches for security of information technologies | 2000 | Facta universitatis, Series: Mechanics, Automatic Control and Robotics; 2(10); 1393-1402 | M50 |
| 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 | 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 | |
