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 Axiomatization | Completeness theorem | Probabilistic logic | Upper and lower probabilities
- 2 Completeness theorem | Decidability | Probabilistic logic | Upper and lower probabilities
- 2 Probabilistic logic | Epistemic logic | Completeness
- 2 Probabilistic logic | Measure of confirmation | Completeness theorem | Decidability
- 2 probability logic | conditional probability | approximate probability | non-standard analysis | strong completeness | decidability | default reasoning
- 1 Abstract state machines | Chord | DHT-based overlay networks | Formal description | Peer-to-Peer
- 1 Abstract State Machines | DHT-based overlay networks | Peer-to-peer | Retrieval probability
- 1 Approximate probability | Conditional probability | Decidability | Default reasoning | Non-standard analysis | Probabilistic logic | Strong completeness
- 1 Approximate probability | Conditional probability | Meta-heuristics | Probabilistic satisfiability | Swarm intelligence
- 1 Approximate probability | Conditional probability | Metaheuristics | Non-monotonic reasoning | Probabilistic satisfiability | Swarm intelligence
- 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 201-220 of 268 (Search time: 0.006 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
201 | Ikodinović, Nebojša; Ognjanović, Zoran | A logic with coherent conditional probabilities | 1-Jan-2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005; Barcelona; Spain; 6 July 2005 through 8 July 2005; 3571; 726-736 | M22 |
202 | Ognjanović, Zoran ; Midić, Uroš; Mladenović, Nenad | A hybrid genetic and variable neighborhood descent for probabilistic SAT problem | 1-Jan-2005 | Lecture Notes in Computer Science; Second International Worshop on Hybrid Metaheuristics, HM 2005; Barcelona; Spain; 29 August 2005 through 30 August 2005; 3636; 42-53 | M22 |
203 | 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 |
204 | 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 |
205 | 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 |
206 | Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef | A genetic algorithm for probabilistic SAT problem | 9-Dec-2004 | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); 7th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2004; Zakopane; Poland; 7 June 2004 through 11 June 2004; 3070; 462-467 | M22 |
207 | 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 |
208 | Đordević, Radosav; Rašković, Miodrag ; Ognjanović, Zoran | Completeness theorem for propositional probabilistic models whose measures have only finite ranges | 1-Jan-2004 | Archive for Mathematical Logic; 43; 557-563 | M22 |
209 | Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marković, Mirko | Progress report in Serbia and Montenegro | 2004 | Coordinating digitisation in Europe; 226-230 | |
210 | 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 |
211 | 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 |
212 | 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 |
213 | 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 |
214 | 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 |
215 | Ognjanović, Zoran ; Krdžavac, Nenad | Uvod u teorijsko računarstvo | 2004 | M41 | |
216 | 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 |
217 | Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic extension of intuitionistic logic | 1-Jan-2003 | Mathematical Logic Quarterly; 49(4); 415-424 | M22 |
218 | 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 |
219 | Ognjanović, Zoran | National centre for digitisation | 2003 | DigiCULT.Info; 6; 44-45 | |
220 | 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 |
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 |