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 Axiomatization | Strong completeness | Weighted formulas
- 1 Bayesian Analysis | Conditional probabilities | Decision support in medicine | Imprecise knowledge | Medical expert system | Optimal path findings | Probability theory | Rule based expert systems
- 1 blockchain | formal model | Multi-agent systems | specification/verification | temporal epistemic logic
- 1 Blockchain | Formal model | Multi-agent systems | Specification/verification | Temporal epistemic logic with probabilities
- 1 Boolean logic | Boolean polynomials | Boolean frame
- 1 Branching time logic | First order logic | Strong completeness
- 1 Branching time | Probability operators | Propositional logic
- 1 Chord | Correctness | DHT | Epistemic logic | IoT | Temporal logic
- 1 Classical propositional logic | Completeness theorem | Measure | Uncertainty
- 1 Classification problem | Fuzzy logic | Gödel's t-norm | Probabilistic logic | Product t-norm
- < previous 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 1-20 of 268 (Search time: 0.003 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A probabilistic temporal epistemic logic: Strong completeness | 2024 | Logic Journal of the IGPL; 32(1); 94-138 | ~M21a |
| 2 | Doder, Dragan; Ognjanović, Zoran | Probabilistic temporal logic with countably additive semantics | 2024 | Annals of Pure and Applied Logic; 175(9); 103389 | ~M21 |
| 3 | Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic, Part II: Decidability | 2024 | Logic Journal Of The Igpl; 35(5); 827-879 | ~M21a |
| 4 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | The Logic ILP for Intuitionistic Reasoning About Probability | 2024 | Studia Logica; 112; 987-1017 | ~M21 |
| 5 | Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Reasoning about knowledge and conditional probability | 1-Dec-2023 | International Journal of Approximate Reasoning; 163; 109037 | ~M22 |
| 6 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Probability Logics for Reasoning About Quantum Observations | 2023 | Logica Universalis; 17; 175-219 | ~M21 |
| 7 | Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran | Intuitionistic propositional probability logic | 29-Aug-2022 | Mathematical Logic Quarterly | M23 |
| 8 | 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 |
| 9 | 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 |
| 10 | 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 |
| 11 | 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 |
| 12 | 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 |
| 13 | Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas | A logic of interactive proofs | 2022 | Journal of Logic and Computation; 32(8); 1645-1658 | ~M21 |
| 14 | Marinković, Bojan ; Šegan-Radonjić, Marija ; Novaković, Maja ; Ognjanović, Zoran | Digital Documentation Management of Cultural Heritage | 2022 | Handbook of Cultural Heritage Analysis; 2133-2155 | M14 |
| 15 | Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina | Tableau For the Logic ILP | 2022 | Publications de l'Institut Mathématique; 112(126); 1-11 | M24 |
| 16 | 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 |
| 17 | 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 |
| 18 | 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 |
| 19 | 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 |
| 20 | 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 |
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 |