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
- 2 Probabilistic logic | Epistemic logic | Completeness
- 2 Probabilistic logic | Measure of confirmation | Completeness theorem | Decidability
- 1 AS | ATIZ | Austria-Forum | NBS | Serbia-Forum | VESTIGIA
- 1 Axiomatization | Completeness theorem | Probabilistic logic | Upper and lower probabilities
- 1 Axiomatization | Probabilistic logic | Strong completeness | Uncertainty
- 1 Blockchain | Formal model | Multi-agent systems | Specification/verification | Temporal epistemic logic with probabilities
- 1 Branching time | Probability operators | Propositional logic
- 1 classification | fuzzy logic | medical diagnosis | probability measures | soft computing
- 1 co-authorship network | community detection | digital library | scientific collaboration | Serbian mathematical journals | social network analysis
- 1 Completeness theorem | Decidability | Probabilistic logic | Upper and lower probabilities
- next >
Date issued
- 13 2020 - 2026
- 74 2010 - 2019
- 33 2000 - 2009
- 17 1990 - 1999
- 4 1981 - 1989
Type
- 141 Conference Paper
Results 81-100 of 141 (Search time: 0.005 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 81 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | Conditional p-adic probability logic | 2012 | ECAI-2012 Workshop on Weighted logics for Artificial Intelligence WL4AI, Montpellier, France, August 28, 2012.; 17-24 | M33 |
| 82 | Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Hierarchies of probability logics | 2012 | ECAI-2012 Workshop on Weighted logics for Artificial Intelligence WL4AI, Montpellier, France, August 28, 2012.; 9-15 | M33 |
| 83 | 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 |
| 84 | Doder, Dragan; Perović, Aleksandar; Ognjanović, Zoran | Probabilistic approach to nonmonotonic consequence relations | 14-Jul-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011; Belfast; United Kingdom; 29 June 2011 through 1 July 2011; 6717 LNAI; 459-471 | M33 |
| 85 | Marinković, Bojan ; Liquori, Luigi; Ciancaglini, Vincenzo; Ognjanović, Zoran | A distributed catalog for digitized cultural heritage | 11-Mar-2011 | Communications in Computer and Information Science; 2nd International Conference on Information and Communication Technologies, ICT Innovations 2010; Ohrid; North Macedonia; 12 September 2010 through 15 September 2010; 83 CCIS; 176-186 | M33 |
| 86 | Mijajlović, Žarko; Pejović, Nada; Ognjanović, Zoran | Doctoral dissertations in NCD Virtual library | 2011 | Review of the NCD; The fifth SEEDI International Conference: Digitization of cultural and scientific heritage, May 19-20, 2010, Sarajevo, BiH; 18; 15-18 | M33 |
| 87 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | A p-adic probability logic | 2011 | Verovatnosne logike i njihove primene; 29-30. septembar 2011, Matematički institut SANU, Beograd; 11-12 | M60 |
| 88 | 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 |
| 89 | 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 |
| 90 | 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 |
| 91 | 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 |
| 92 | Mijajlović, Žarko; Ognjanović, Zoran ; Pejović, Aleksandar | Digitization of scientific journals in Serbia | 1-Dec-2007 | 11th International Conference on Electronic Publishing, ELPUB 2007; Vienna; Austria; 13 June 2007 through 15 June 2007; Openness in Digital Publishing: Awareness, Discovery and Access - Proceedings of the 11th International Conference on Electronic Publishing, ELPUB 2007; 465-466 | M33 |
| 93 | Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan | NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia | 2007 | 2nd International Conference on Metadata and Semantics Research (CD-ROM), Ionian Academy, Corfu, Greece, 2007.; 1-16 | M33 |
| 94 | Ognjanović, Zoran ; Dobreva, Milena; Ikonomov, Nikola | South-Eastern European Digitization Initiative - SEEDI | 2007 | INFORUM 2007: 13th Conference on Professional Information Resources Prague; 1-3 | M33 |
| 95 | Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan | Predlog nacionalnog standarda opisa nepokretnih kulturnih dobara | 2007 | Pregled nacionalnog centra za digitalizaciju; VI nacionalna konferencije "Nove tehnologije i standardi: digitalizacija nacionalne baštine", Beograd, 2007; 11; 1-11 | M63 |
| 96 | 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 |
| 97 | Ognjanović, Zoran ; Butigan-Vučaj, Tamara | A proposal for the national standard for describing digitized heritage | 1-Dec-2006 | 10th International Conference on Electronic Publishing, ELPUB 2006; Bansko; Bulgaria; 14 June 2006 through 16 June 2006; Digital Spectrum: Integrating Technology and Culture - Proceedings of the 10th International Conference on Electronic Publishing, ELPUB 2006; 387-388 | M33 |
| 98 | Ognjanović, Zoran ; Butigan-Vučaj, Tamara | A proposal for the national standard for describing digitizes heritage | 2006 | 10th International conference on electronic publishing ELPUB '06, Bansko, Bulgaria, june 14-16 2006; 387-388 | M30 |
| 99 | 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 |
| 100 | Korać, Miomir; Ognjanović, Zoran ; Simić, Višnja; Dugandžić, Filip | PANDORA - Expert system for dating artifacts | 2006 | ECAI06 Workshop on Intelligent Technologies for Cultural Heritage Exploitation, Riva del Garda, Italy, August 28 - September 1, 2006; 40-44 | M33 |
Results 1-3 of 3 (Search time: 0.0 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 |