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 logic, intuitionistic logic, completeness, decidability
- 1 Probabilistic logics | Polynomials | Polynomial weight | Bayesian inference
- 1 probability logic | conditional probability | approximate probability | non-standard analysis | strong completeness | decidability | default reasoning
- 1 Probability | Conditional probability | Formal logic | Mathematical models | Probability functions
- 1 Qualitative possibilities | Confidence relations | Boolean algebras | Complete axiomatizations
- next >
Type
Results 1-20 of 22 (Search time: 0.005 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 | Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Probability logics | 2009 | Logic in computer science; 12(20); 35-111 | M14 |
3 | 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 |
4 | 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 |
5 | 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 |
6 | 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 |
7 | 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 |
8 | Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran | Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu negovornih servisa Mobilne telefonije, Telekoma Srbije | 2007 | M80 | |
9 | Marković, Zoran ; Mihaljević, Miodrag J. ; Marković, M.; Ognjanović, Zoran ; Perišić, Z.; Marinković, Bojan ; Sobajić, O. | Elaborat o uspostavi i podršci za sertikaciju sistema za upravljanje bezbednošću informacija u Sektoru IT bezbednost, Direkcije za IT, Telekoma Srbija | 2007 | M80 | |
10 | Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran | Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu govornog servisa Mobilne telefonije, Telekoma Srbije | 2007 | M80 | |
11 | Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | Decidability of a conditional-probability logic with non-standard valued probabilities | 2006 | 11th Workshop on nonmonotonic reasoning NMR 11, 30 May to 1 June 2006, Lake District area, UK, 201--207, 2006; 201-207 | M33 |
12 | 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 | |
13 | 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 |
14 | Ognjanović, Zoran ; Ikodinović, Nebojša; Marković, Zoran | A logic with Kolmogorov style conditional probabilities | 2005 | 5th Panhellenic logic symposium, Athens, Greece, July 25-28, 2005; 111-116 | M33 |
15 | 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 |
16 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | What is the Proper Propositional Base for Probabilistic Logic? | 2004 | Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference IPMU 2004, Perugia, Italy, July, 4-9, 2004; 443-450 | M33 |
17 | Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Probabilistic Approach to Default Reasoning | 2004 | 10th International workshop on Non-monotonic reasoning NMR 2004, Whistler, BC, Canada, June 6--8, 2004; 335-341 | M33 |
18 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic extension of intuitionistic logic | 1-Jan-2003 | Mathematical Logic Quarterly; 49(4); 415-424 | M22 |
19 | Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Conditional Probability Logic | 2003 | Workshop on Computational Intelligence and Information Technologies, Faculty of Electronic Engineering Niš and Dept. of Comp. Science University of Dortmund Germany, Srbija i Crna Gora, Niš, 13. X 2003.; 13-16 | M33 |
20 | 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 |