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 Covid-19 | Digital Contact Tracing | Structured Overlay Networks
- 1 Interactive Proofs | Justification Logic | Non-standard Probabilities
- 1 Intuitionistic logic | Probability
- 1 multi-agent systems | temporal epistemic logic with probabilities | blockchain | formal model specification/verification
- 1 Privacy | Internet of Things | Cloud computing | Mathematical models | Formal methods
- 1 Probabilistic logic | Epistemic logic | Completeness
- 1 Probabilistic logic | Measure of confirmation | Completeness theorem | Decidability
- 1 Probabilistic logic | Temporal logic | Completeness
Date issued
Type
Results 1-20 of 27 (Search time: 0.006 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | 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 |
2 | 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 |
3 | 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 |
4 | 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 |
5 | 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 |
6 | 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 |
7 | 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 |
8 | 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 |
9 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Towards probabilistic reasoning about typed lambda terms | Jun-2018 | TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal; 41-42 | M34 |
10 | Stojanović, Tatjana; Ikodinović, Nebojša; Davidović, Tatjana ; Ognjanović, Zoran | Some optimization methods for non-monotonic Reasoning in System P | 2018 | XIV Serbian Mathematical Congress (14SMAK 2018), Faculty of Science, University of Kragujevac 16-19.5.2018 | M34 |
11 | Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola | Correctness and strong completeness for logic of time and knowledge | 2018 | 6th World Congress and School on Universal Logic, UNILOG'2018, Vichy, France, June 16-26, 2018; 451-452 | M34 |
12 | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Logical Framework for Proving the Correctness of the Chord Protocol | 2018 | 7th international conference Logic and Applications LAP 2018, Dubrovnik, Croatia, September 24-28, 2018; 29-31 | M34 |
13 | Todorović, Milan ; Ghilezan, Silvia ; Ognjanović, Zoran | Mathematical methods for privacy protection | 2018 | Book of Abstracts : Logic and Applications, LAP 2018; 7th International Conference Logic and Applications, LAP 2018, September 24 - 28, 2018 Dubrovnik,Croatia; 41-43 | M34 |
14 | Ilić Stepić, Angelina ; Ognjanović, Zoran | A Probability Logic for Reasoning About Quantum Observations | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 21-22 | M34 |
15 | Doder, Dragan; Ognjanović, Zoran | A probabilistic temporal logic with countably additive semantics | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 10-10 | M34 |
16 | Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20 | M34 |
17 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning in type systems | 2016 | 5th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24 | M34 |
18 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Towards probabilistic reasoning about lambda terms with intersection types | 2016 | The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016 | M34 |
19 | Doder, Dragan; Ognjanović, Zoran | Probabilistic logics with independence and probabilistic support | 2015 | progic 2015: The Seventh Workshop on Combining Probability and Logic, 22-24 April 2015, University of Kent, Canterbury; 25-26 | M34 |
20 | Savić, Nenad; Doder, Dragan; Ognjanović, Zoran | A logic with upper and lower probability operators | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 53-54 | M34 |
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 |