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 21-40 of 268 (Search time: 0.013 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
21 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | An Epistemic Probabilistic Logic with Conditional Probabilities | 2021 | European Conference on Logics in Artificial Intelligence, JELIA 2021: Logics in Artificial Intelligence; 279-293 | M33 |
22 | Kern-Isberner, Gabriele; Ognjanović, Zoran | Special issue from the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019) | 2021 | International Journal of Approximate Reasoning | M28b |
23 | Stojanović, Tatjana; Ikodinović, Nebojša; Davidović, Tatjana ; Ognjanović, Zoran | Automated non-monotonic reasoning in System P | 2021 | Annals of Mathematics and Artificial Intelligence; 89; 471-509 | ~M22 |
24 | Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas | Logic and Applications - LAP Meeting | 28-Oct-2020 | Logic, Language, and Security; 12300; 98-100 | |
25 | Ognjanović, Zoran | An Introduction To Logics With Probability Operators | Sep-2020 | Book of Abstracts of the 6th International conference Contemporary problems of mathematics, mechanics and informatics, CPMMI 2020; 6th International conference Contemporary problems of mathematics, mechanics and informatics, CPMMI 2020, Novi Pazar, 21–22 September 2020; 25-25 | M34 |
26 | Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Completeness theorems for σ–additive probabilistic semantics | 1-Apr-2020 | Annals of Pure and Applied Logic; 171(4); 102755 | M21 |
27 | Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan | A First-order Logic for Reasoning about Knowledge and Probability | 2-Feb-2020 | ACM Transactions on Computational Logic; 21(2); 16:1-16:30 | M22 |
28 | Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas | Probabilistic justification logic | 23-Jan-2020 | Journal of Logic and Computation; 30(1); 257-280 | M21 |
29 | Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case | 1-Jan-2020 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139 | M33 |
30 | Doder, Dragan; Savić, Nenad; Ognjanović, Zoran | Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities | 1-Jan-2020 | Journal of Logic, Language and Information; 29; 77-107 | M21 |
31 | Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, Anton | Correctness of the chord protocol | 1-Jan-2020 | Computer Science and Information Systems; 17(1); 141-160 | M23 |
32 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Reasoning About Degrees of Confirmation | 2020 | Lecture Notes in Computer Science; The 3rd International Conference on Logic and Argumentation (CLAR 2020); 12061; 80-95 | M33 |
33 | Ognjanović, Zoran ; Korać, Vanja ; Knežević, Milica ; Arsić, Aleksandra ; Novaković, Maja ; Vukelić, Dejan ; Aćimović, Dragan; Stanković, Radomir ; Tatić, Dušan | Digitalna prezentacija kulturne baštine Novog Pazara | 2020 | M85 | |
34 | Ikodinović, Nebojša; Ognjanović, Zoran | Probabilistic Modeling of Default Reasoning | 2020 | Probabilistic Extensions of Various Logical Systems; 109-142 | M13 |
35 | Ognjanović, Zoran ; Ilić Stepić, Angelina | Logics with Probability Operators | 2020 | Probabilistic Extensions of Various Logical Systems; 1-35 | M13 |
36 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logical formalization of Bayesian concepts of confirmation | 2020 | Book of Abstracts : Logis and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 9-11 | M34 |
37 | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | 1-Sep-2019 | Journal of Logic and Computation; 29(5); 803-830 | M21 |
38 | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving properties of the Chord protocol using the ASM formalism | 17-Jan-2019 | Theoretical Computer Science; 756; 64-93 | M23 |
39 | Kern-Isberner, Gabriele; Ognjanović, Zoran | Preface | 1-Jan-2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; VI | M36 |
40 | Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan | Cultural heritage digitization in Serbia: Standards, policies, and case studies | 1-Jan-2019 | Sustainability (Switzerland); 11(14); 3788 | M22 |
Results 1-3 of 3 (Search time: 0.001 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 |