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 | Conditional probability | Decidability | Default reasoning | Non-standard analysis | Probabilistic logic | Strong completeness
- 1 Axiomatic system | Logic programming | Theorem proving
- 1 Completeness | Conditional probability logic | Hardy field | Nonstandard values
- 1 Polynomial weights | Complete axiomatization | Probabilistic logics
- 1 Probabilistic logic, intuitionistic logic, completeness, decidability
- 1 Probabilistic logics | Polynomials | Polynomial weight | Bayesian inference
- 1 Probability | Conditional probability | Formal logic | Mathematical models | Probability functions
- 1 Qualitative possibilities | Confidence relations | Boolean algebras | Complete axiomatizations
Results 1-9 of 9 (Search time: 0.002 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | 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 |
2 | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | How to restore compactness into probabilistic logics? | 28-Nov-2008 | Lecture 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-348 | M23 |
3 | Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | A logic with approximate conditional probabilities that can model default reasoning | 1-Sep-2008 | International Journal of Approximate Reasoning; 49(1); 52-66 | M22 |
4 | 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 |
5 | 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 |
6 | Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag | Completeness theorem for a logic with imprecise and conditional probabilities | 1-Jan-2005 | Publications de l'Institut Mathematique; 78(92); 35-49 | M24 |
7 | Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A logic with conditional probabilities | 1-Jan-2004 | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); European Workshop on Logics in Artificial Intelligence, JELIA 2004; 3229; 226-238 | M22 |
8 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic extension of intuitionistic logic | 1-Jan-2003 | Mathematical Logic Quarterly; 49(4); 415-424 | M22 |
9 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | An intuitionistic logic with probabilistic operators | 2003 | Publications de l'Institut Mathematique; 73(87); 31-38 | M24 |
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 |