Ognjanović, Zoran
Full Name
Ognjanović, Zoran
ORCID
Scopus Author ID
Loading...
2
0
20
0
false
Loading...
3
0
20
0
false
Country
Serbia
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
- 30 2020 - 2023
- 128 2010 - 2019
- 70 2000 - 2009
- 29 1990 - 1999
- 4 1980 - 1989
Type
- 140 Conference Paper
- 79 Article
- 18 Technical Report
- 12 Book Chapter
- 7 Other
Results 1-20 of 261 (Search time: 0.003 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran | Intuitionistic propositional probability logic | 29-Aug-2022 | Mathematical Logic Quarterly | M23 |
| 2 | Doder, Dragan; Ognjanović, Zoran ; Savić, Nenad; Studer, Thomas | Incomplete Information and Justifications | 31-Mar-2022 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Tbilisi Symposium on Logic, Language, and Computation TbiLLC 2019: Language, Logic, and Computation; 13206; 258-278 | M33 |
| 3 | Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Federating digital contact tracing using structured overlay networks | 2022 | Computer Science and Information Systems | ~M23 |
| 4 | Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic: Strong Completeness | 2022 | Logic Journal of the IGPL; jzac072 | ~M21a |
| 5 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Probabilistic-Temporal Logic with Actions | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 19-20 | M34 |
| 6 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | The logic ILP for intuitionistic reasoning about probability | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 25-26 | M34 |
| 7 | Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A Logic of Interactive Proofs | 2022 | Logical Foundations of Computer Science; International Symposium on Logical Foundations of Computer Science, LFCS 2022; 13137; 143-155 | M33 |
| 8 | Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A logic of interactive proofs | 2022 | Journal of Logic and Computation; exac071 | ~M21 |
| 9 | Marinković, Bojan ; Šegan-Radonjić, Marija ; Novaković, Maja ; Ognjanović, Zoran | Digital Documentation Management of Cultural Heritage | 2022 | Handbook of Cultural Heritage Analysis; 2133-2155 | M14 |
| 10 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logics for Reasoning about Knowledge and Conditional Probability | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 19-21 | M34 |
| 11 | Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Federating Digital Contact Tracing using Structured Overlay Networks | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 28-30 | M34 |
| 12 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 33 | M34 |
| 13 | Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A Logic of Interactive Proofs | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 89-90 | M34 |
| 14 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Logics for reasoning about degrees of confirmation | 31-May-2021 | Journal of Logic and Computation; 31(8); 2189-2217 | ~M21 |
| 15 | 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 |
| 16 | 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 |
| 17 | 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 |
| 18 | Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas | Logic and Applications - LAP Meeting | 28-Oct-2020 | Logic, Language, and Security; 12300; 98-100 | |
| 19 | 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 |
| 20 | 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 |
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 |