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 Digitization | Digitized heritage | Metadata | National standard
- 1 digitization | scientific heritage | cultural heritage | virtual library
- 1 e-encyclopedia | cultural heritage | cultural artifacts | cultural elements | Serbia-Forum | sub-content
- 1 Electronic editions | Electronic resources | Digital libraries
- 1 First-order | Probability logic | Strong completeness
- 1 foto-arhiv | Vizuelni arhiv Jugoslavija | digitalizacija
- 1 Infinite number of agents | Probabilistic common knowledge | Probabilistic epistemic logic | Strong completeness
- 1 Interactive proof system | Zero-knowledge proof | Epistemic logic | Justification logic | Probabilistic logic
- 1 Interactive Proofs | Justification Logic | Non-standard Probabilities
- 1 Intersection types | Kripke-style semantics | Lambda calculus | Probabilistic reasoning | Soundness
- < previous next >
Date issued
- 13 2020 - 2025
- 74 2010 - 2019
- 33 2000 - 2009
- 17 1990 - 1999
- 4 1981 - 1989
Type
- 141 Conference Paper
Results 101-120 of 141 (Search time: 0.002 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 |