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 - 2024
- 74 2010 - 2019
- 33 2000 - 2009
- 17 1990 - 1999
- 4 1981 - 1989
Type
- 141 Conference Paper
Results 101-120 of 141 (Search time: 0.005 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
101 | 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 |
102 | Mijajlović, Žarko; Ognjanović, Zoran ; Blagojević, Dragan | Electronic editions of mathematical works in Serbia | 1-Dec-2005 | 9th ICCC International Conference on Electronic Publishing, ELPUB 2005; Leuven-Heverlee; Belgium; 8 June 2005 through 10 June 2005; From Author to Reader: Challenges for the Digital Content Chain - Proceedings of the 9th ICCC International Conference on Electronic Publishing, ELPUB 2005 | M33 |
103 | Jovanović, Dejan; Mladenović, Nenad ; Ognjanović, Zoran | Variable Neighborhood Search for the Probabilistic Satisfiability Problem | 2005 | 6th Metaheuristics International Conference, August 22-26, 2005, Vienna, Austria; 557-562 | M33 |
104 | Pajkić, Željko; Jovanović, Dejan ; Ognjanović, Zoran | A Z39.50 gateway implementation | 2005 | Review of the National Center for Digitization; Third International Conference New Technologies and Standards: Digitization of National Heritage 2004, June, 3-5, 2004, Belgrade; 6; 90-94 | M33 |
105 | 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 |
106 | Mijajlović, Žarko; Ognjanović, Zoran | A survey of certain digitization projects in Serbia | 2004 | Review of the National Center for Digitization; Preservation of Cultural Heritage, 16 – 17 September 2003, Borovetz, Bulgaria; 4; 52-61 | M33 |
107 | Ognjanović, Zoran ; Mijajlović, Žarko | Digitization projects carried out by the Mathematical Institute Belgrade | 2004 | International Journal Information Theories & Applications; International conference "Digitization of Cultural and Scientific Heritage", 27 August - 3 September 2004, Bansko, Bulgaria; 11(3); 275-278 | M33 |
108 | Mijajlović, Žarko; Ognjanović, Zoran ; Đorđević, Nada; Zečević, Tijana | Virtual library - data base of textual data | 2004 | Review of the National Center for Digitization; Third International Conference New Technologies and Standards: Digitization of National Heritage 2004, June, 3-5, 2004, Belgrade, Serbia and Montenegro; 5; 42-48 | M33 |
109 | 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 |
110 | 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 |
111 | Ognjanović, Zoran ; Mijajlović, Žarko | Digitization projects carried aut by the mathematical institute Belgrade | 2004 | International Journal Information Theories & Applications; International conference Digitization of Cultural and Scientific Heritage, 27 August - 3 September 2004, Bansko, Bulgaria; 11(3); 275-278 | M30 |
112 | Ognjanović, Zoran | Nacionalni centar za digitalizaciju - godina prva | 2003 | Pregled nacionalnog centra za digitalizaciju; Nove tehnologije i standardi: digitalizacija nacionalne baštine, 2003, Beograd; 2; 5-7 | M63 |
113 | 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 |
114 | Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef | A genetic algorithm for PSAT | 2003 | XXX Simpozijum o operacionim istraživanjima SYMOPIS 2003, Herceg Novi, 30. 9. - 3. 10. 2003.; 303-306 | M63 |
115 | Ognjanović, Zoran | Nacionalni centar za digitalizaciju | 2003 | Pregled nacionalnog centra za digitalizaciju; Naučno-stručni skup - Nove tehnologije: digitalizacija nacionalne baštine 2002, Beograd; 1; 3-11 | M63 |
116 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic logic based on propositional intuitionistic logic | 2002 | 37th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia; 784-787 | M33 |
117 | Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš | Primena genetskih algoritama na SAT problem | 2001 | XXVIII Jugoslovenski simpozijum o operacionim istraživanjima SYMOPIS 2001, Beograd 2. do 5. 10. 2001.; 289-292 | M63 |
118 | Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | An automated theorem prover for the probability logic LPP | 2001 | A tribute to S. B. Prešić - papers celebrating his 65th birthday, Beograd 1998.; 79-83 | M63 |
119 | Rašković, Miodrag ; Ognjanović, Zoran | On classical logicwith probability operators: A short survay | 2001 | 10th Congress of Yugoslav Mathematicians, Belgrade, 21 -- 24. 01. 2001., Beograd; 135-142 | M63 |
120 | Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran | A new program for cryptographic authetification control of data | 2000 | XLIV Conference of electronics, telecommunications, automation and nuclear engineering ETRAN, Beograd 2000; 72-74 | M63 |
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 |