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 41-60 of 268 (Search time: 0.005 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 41 | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, Thomas | Probabilistic consensus of the blockchain protocol | 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; 469-480 | M33 |
| 42 | Ognjanović, Zoran ; Marinković, Bojan | Prikaz doprinosa Matematičkog instituta SANU i Matematičkog fakulteta u Beogradu digitalizaciji kulturne i naučne baštine od 1990-tih do danas | 2019 | 1. Naučno-stručni skup "Primena digitalizacije u kulturi i nauci", 16. 11. 2018.; 31-42 | M63 |
| 43 | 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 |
| 44 | Ilić Stepic , Angelina ; Ognjanović, Zoran | Logics to formalise p-adic valued probability and their applications | 4-May-2018 | International Journal of Parallel, Emergent and Distributed Systems; 33(3); 257-275 | M52 |
| 45 | Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning about simply typed lambda terms | 1-Jan-2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2018; FL; United States; 8 January 2018 through 11 January 2018; 10703 LNCS; 170-189 | M33 |
| 46 | Doder, Dragan; Savić, Nenad; Ognjanović, Zoran | A decidable multi-agent logic with iterations of upper and lower probability operators | 1-Jan-2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018; Budapest; Hungary; 14 May 2018 through 18 May 2018; 10833 LNCS; 170-185 | M33 |
| 47 | 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 |
| 48 | 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 |
| 9 | 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 |
| 10 | 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 |
| 11 | Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Towards Probabilistic reasoning about simply typed lambda terms | Nov-2017 | Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12 | |
| 12 | Doder, Dragan; Ognjanović, Zoran | Probabilistic Logics with Independence and Confirmation | 1-Oct-2017 | Studia Logica; 105(5); 943-969 | M22 |
| 13 | Huylebrouck, Dirk; Ognjanović, Zoran ; Radović, Ljijana | Leibniz, a Sorb | 1-Sep-2017 | Mathematical Intelligencer; 39(3); 53-55 | M23 |
| 14 | Savić, Nenad; Doder, Dragan; Ognjanović, Zoran | Logics with lower and upper probability operators | 1-Sep-2017 | International Journal of Approximate Reasoning; 88; 148-168 | M21 |
| 15 | Ognjanović, Zoran ; Savić, Nenad; Studer, Thomas | Justification logic with approximate conditional probabilities | 1-Jan-2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Workshop Logic, Rationality, and Interaction, LORI 2017, Sapporo, Japan, September 11–14, 2017, A. Baltag, J. Seligman, T. Yamada (Eds.); 10445 LNCS; 681-686 | M33 |
| 16 | Savić, Nenad; Doder, Dragan; Ognjanović, Zoran | A first-order logic for reasoning about higher-order upper and lower probabilities | 1-Jan-2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017; Lugano; Switzerland; 10 July 2017 through 14 July 2017; 10369 LNAI; 491-500 | M33 |
| 17 | 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 |
| 18 | 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 |
| 19 | 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 |
| 20 | Ognjanović, Zoran ; Todorović, Milan ; Tomović, Siniša ; Lazarević, Sandra; Šegan-Radonjić, Marija ; Marinković, Bojan ; Jelisavčić, Vladisav ; Korać, Vanja ; Aćimović, Dragan; Kuzmanović Cvetković, Julka | Napredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kulture | 2017 | M82 |
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 |