Marković, Zoran

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Marković, Zoran
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 1-19 of 19 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
1Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran A first-order probabilistic logic with approximate conditional probabilities1-Jan-2014Logic Journal of the IGPL; 22(4); 539-564M21
2Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran Logics with generalized measure operators13-May-2013Journal of Multiple-Valued Logic and Soft Computing; 20(5-6); 527-555M21a
3Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, AleksandarA propositional probabilistic logic with discrete linear time for reasoning about evidence24-Aug-2012Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243M23
4Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran ; Perović, AleksandarOn probability logic2012The IPSI BgD Transactions on Advanced Research; 8(1); 2-7M52
5Doder, Dragan; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran Measures of inconsistency and defaults1-Sep-2010International Journal of Approximate Reasoning; 51(7); 832-845M21
6Doder, Dragan; Ognjanović, Zoran ; Marković, Zoran An axiomatization of a first-order branching time temporal logic26-Aug-2010Journal of Universal Computer Science; 16(11); 1439-1451M23
7Doder, Dragan; Marković, Zoran ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag A probabilistic temporal Logic that can model reasoning about evidence26-Apr-2010Lecture 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-24M23
8Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran Qualitative possibilities and necessities27-Aug-2009Lecture 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-662M23
9Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran How to restore compactness into probabilistic logics?28-Nov-2008Lecture 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-348M23
10Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran A logic with approximate conditional probabilities that can model default reasoning1-Sep-2008International Journal of Approximate Reasoning; 49(1); 52-66M22
11Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran A probabilistic logic with polynomial weight formulas1-Jan-2008Lecture 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-252M23
12Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran Measure logic1-Jan-2007Lecture 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-138M23
13Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag Completeness theorem for a logic with imprecise and conditional probabilities1-Jan-2005Publications de l'Institut Mathematique; 78(92); 35-49M24
14Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran A logic with conditional probabilities1-Jan-2004Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Workshop on Logics in Artificial Intelligence, JELIA 2004; 3229; 226-238M22
15Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag A probabilistic extension of intuitionistic logic1-Jan-2003Mathematical Logic Quarterly; 49(4); 415-424M22
16Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag An intuitionistic logic with probabilistic operators2003Publications de l'Institut Mathematique; 73(87); 31-38M24
17Mihaljević, Miodrag J. ; Marković, Zoran On cryptographic approaches for security of information technologies2000Facta universitatis, Series: Mechanics, Automatic Control and Robotics; 2(10); 1393-1402M50
18Marković, Zoran On the structure of kripke models of heyting arithmetic1-Jan-1993Mathematical Logic Quarterly; 39(1); 531-538
19Marković, Zoran Some preservation results for classical and intuitionistic satisfiability in kripke models1-Jan-1983Notre Dame Journal of Formal Logic; 24(3); 395-398

Projects


Results 1-1 of 1 (Search time: 0.0 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 6411Win logon system based on smart cards for secure access control to Workstations01-01-200531-12-2007Marković, Zoran