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

Refined By:
Date Issued:  [2010 TO 2019]
Type:  Article

Results 1-7 of 7 (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

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