Marković, Zoran
Loading...
3
0
20
0
false
Full Name
Marković, Zoran
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Approximate probability | Default reasoning | n-Consistency | n-Probability | Probability measure
- 1 Branching time logic | First order logic | Strong completeness
- 1 Branching time | Probability operators | Propositional logic
- 1 Decidability | Evidence | Probabilistic logic | Strong Completeness | Temporal logic
- 1 Probabilistic temporal logic
Date issued
Type
Results 1-5 of 5 (Search time: 0.002 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | 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 |
2 | Ognjanović, Zoran ; Doder, Dragan; Marković, Zoran | A branching time logic with two types of probability operators | 19-Oct-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5th International Conference on Scalable Uncertainty Management, SUM 2011; Dayton, OH; United States; 10 October 2011 through 13 October 2011; 6929 LNAI; 219-232 | M33 |
3 | 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 |
4 | Doder, Dragan; Ognjanović, Zoran ; Marković, Zoran | An axiomatization of a first-order branching time temporal logic | 26-Aug-2010 | Journal of Universal Computer Science; 16(11); 1439-1451 | M23 |
5 | 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 |
Results 1-1 of 1 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 6411 | Win logon system based on smart cards for secure access control to Workstations | 01-01-2005 | 31-12-2007 | Marković, Zoran |