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 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
- 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 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
- next >
Date issued
- 17 2020 - 2025
- 36 2010 - 2019
- 24 2000 - 2009
- 8 1990 - 1999
Type
- 85 Article
Results 81-85 of 85 (Search time: 0.002 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 81 | Ognjanović, Zoran | Šta sve donosi veštačka inteligencija | 1995 | Filozofija i Društvo; 8; 193-204 | M52 |
| 82 | Korać, Miomir; Ognjanović, Zoran ; Dugandžić, Filip | Ekspertni sistem za iskopine PANDORA | 1995 | Info review; 5; 43-47 | M54 |
| 83 | Ognjanović, Zoran | A tableau-like proof procedure for normal modal logics | 20-Jun-1994 | Theoretical Computer Science; 129(1); 167-186 | M23 |
| 84 | Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | Approach to the modeling of the highest control level of flexible manufacturing cell | 1-Apr-1990 | Robotica; 8(2); 125-130 | M23 |
| 85 | Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran | A contribution to the organization of an expert system for process control of FMC | 1990 | Robotics and Computer-Integrated Manufacturing; 7(3-4); 297-302 | M51 |
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 |