Ognjanović, Zoran
Loading...
3
0
20
0
false
Full Name
Ognjanović, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Approximate probability | Decidability | Non-standard analysis | Probabilistic first-order logic | Strong completeness
- 1 Approximate probability | Default reasoning | n-Consistency | n-Probability | Probability measure
- 1 AS | ATIZ | Austria-Forum | NBS | Serbia-Forum | VESTIGIA
- 1 Attacking scenarios | Authentication protocols | Computational capability | Cryptographic security | High performance computing | Implementation complexity | Learning parity with noise | Man in the middle
- 1 Author metrics | Co-authorship network | Collaborative behaviour | Connected components | Digital library | Evolutionary trends | Serbian mathematical journals
- 1 Axiomatic system | Logic programming | Theorem proving
- 1 Axiomatization | Completeness theorem | Decidability | Independence | Probabilistic support
- 1 Axiomatization | Decidability | Probabilistic logic | Temporal logic
- 1 Axiomatization | Decidability | Strong completeness | Temporal logic | Zero time transitions
- 1 Axiomatization | Probabilistic logic | Strong completeness | Uncertainty
- < previous next >
Date issued
- 36 2020 - 2025
- 129 2010 - 2019
- 70 2000 - 2009
- 29 1990 - 1999
- 4 1980 - 1989
Type
- 141 Conference Paper
- 85 Article
- 18 Technical Report
- 12 Book Chapter
- 7 Other
Results 161-180 of 268 (Search time: 0.005 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
161 | 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 |
162 | 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 |
163 | Mijajlović, Žarko; Ognjanović, Zoran ; Pejović, Aleksandar | Digitization of mathematical editions in Serbia | 1-May-2010 | Mathematics in Computer Science; 3(3); 251-263 | M51 |
164 | 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 |
165 | Stojanović, Tatjana; Kaplarević-Mališić, Ana; Ognjanović, Zoran | An extension of the probability logic $LPP_2$ | 2010 | Kragujevac Journal of Mathematics; 33; 45-62 | M52 |
166 | Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan | NCD recommendation for the national standard for describing digitized heritage in Serbia | 1-Dec-2009 | Metadata and Semantics; 45-54 | M14 |
167 | 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 |
168 | Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Probability logics | 2009 | Logic in computer science; 12(20); 35-111 | M14 |
169 | Ognjanović, Zoran ; Dobreva, Milena; Ikonomov, Nikola; Butigan-Vučaj, Tamara | South-Eastern European Digitization Initiative, SEEDI | 2009 | Heritage and Beyond; 179-182 | |
170 | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | An axiomatizatin of qualitative probability | 1-Dec-2008 | Acta Polytechnica Hungarica; 5(1); 105-110 | M51 |
171 | 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 |
172 | Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag | Interpolative Boolean logic | 25-Sep-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008; Varna; Bulgaria; 4 September 2008 through 6 September 2008; 5253 LNAI; 209-219 | M23 |
173 | 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 |
174 | Mijajlović, Žarko; Ognjanović, Zoran | Digitization of mathematical editions in Serbia | 1-Jan-2008 | DML 2008 - Towards Digital Mathematics Library, Proceedings; 1st Workshop on Towards Digital Mathematics Library, DML 2008; Birmingham; United Kingdom; 27 July 2008 through 27 July 2008 | M33 |
175 | 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 |
176 | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Logics with the qualitative probability operator | 1-Jan-2008 | Logic Journal of the IGPL; 16(2); 105-120 | M23 |
177 | Ognjanović, Zoran | Neka iskustva u digitalizaciji kulturne i naučne baštine u Srbiji | 2008 | 1. Međunarodni simpozijum "Digitalizacija kulturne baštine Bosne i Hercegovine", Sarajevo, BiH, 21-23. 4. 2008; 5-11 | M63 |
178 | Mijajlović, Žarko; Ognjanović, Zoran ; Pejović, Aleksandar | Internet presentations of mathematical works in Serbia | 2008 | Review of the NCD; The third SEEDI International Conference: Digitization of cultural and scientific heritage, September 13-15, 2007, Cetinje, Montenegro; 12; 43-48 | M33 |
179 | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | An axiomatization of qualitative probability | 1-Dec-2007 | 5th International Symposium on Intelligent Systems and Informatics, SISY 2007; 151-154 | M33 |
180 | Jovanović, Dejan; Mladenović, Nenad ; Ognjanović, Zoran | Variable neighborhood search for the probabilistic satisfiability problem | 1-Dec-2007 | Metaheuristics; 39; 173-188 | M14 |
Results 1-3 of 3 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT III 044006 | Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education | 01-01-2011 | 31-12-2019 | Ognjanović, Zoran |
PROJECT 1379 | Methods of Mathematical Logic for Decision Support in Real Life Situations | 01-01-2002 | 31-12-2005 | Ognjanović, Zoran |
PROJECT 144013 | Representations of logical structures and their application in computer science | 01-01-2006 | 31-12-2010 | Ognjanović, Zoran |