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 AS | ATIZ | Austria-Forum | NBS | Serbia-Forum | VESTIGIA
- 1 Axiomatization | Completeness theorem | Probabilistic logic | Upper and lower probabilities
- 1 Axiomatization | Probabilistic logic | Strong completeness | Uncertainty
- 1 Blockchain | Formal model | Multi-agent systems | Specification/verification | Temporal epistemic logic with probabilities
- 1 Branching time | Probability operators | Propositional logic
- 1 classification | fuzzy logic | medical diagnosis | probability measures | soft computing
- 1 co-authorship network | community detection | digital library | scientific collaboration | Serbian mathematical journals | social network analysis
- 1 Completeness theorem | Decidability | Probabilistic logic | Upper and lower probabilities
- 1 Completeness theorems | Finite strings | Inference rules | Probabilistic evaluation | Propositional formulas | Propositional logic
- 1 cultural heritage digitization | digital repositories | user experience
- next >
Date issued
Type
Results 1-20 of 56 (Search time: 0.005 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | 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 |
2 | 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 |
3 | 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 |
4 | 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 |
5 | 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 |
6 | 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 |
7 | 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 |
8 | 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 |
9 | 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 |
10 | 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 |
11 | Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Umek, Anton | Correctness of the Chord Protocol | 20-Oct-2016 | Proceedings - 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; Beijing; China; 20 October 2016 through 21 October 2016; 547-552 | M33 |
12 | Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas | Probabilistic justification logic | 1-Jan-2016 | 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 2016; Deerfield Beach; United States; 4 January 2016 through 7 January 2016; 9537; 174-186 | M33 |
13 | Savić, Nenad; Doder, Dragan; Ognjanović, Zoran | A logic with upper and lower probability operators | 1-Jan-2015 | ISIPTA 2015 - Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications; 9th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2015; Pescara; Italy; 20 July 2015 through 24 July 2015; 267-276 | M33 |
14 | Doder, Dragan; Ognjanović, Zoran | A probabilistic logic for reasoning about uncertain temporal information | 1-Jan-2015 | Uncertainty in Artificial Intelligence - Proceedings of the 31st Conference, UAI 2015; 31st Conference on Uncertainty in Artificial Intelligence, UAI 2015; Amsterdam; Netherlands; 12 July 2015 through 16 July 2015; 248-257 | M33 |
15 | Savić, Miloš; Ivanović, Mirjana; Radovanović, Miloš; Ognjanović, Zoran ; Pejović, Aleksandar; Jakšić Kruger, Tatjana | Exploratory Analysis of Communities in Co-authorship Networks: A Case Study | 1-Jan-2015 | International Conference on ICT Innovations, ICT Innovations 2014; 6th Information and Communication Technologies Innovations 2014 conference, ICT 2014; Ohrid; North Macedonia; 9 September 2014 through 12 September 2014; 311; 55-64 | M33 |
16 | Tomović, Siniša ; Ognjanović, Zoran ; Doder, Dragan | Probabilistic common knowledge among infinite number of agents | 1-Jan-2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015; Compiègne; France; 15 July 2015 through 17 July 2015; 9161; 496-505 | M33 |
17 | Knežević, Milica; Ognjanović, Zoran ; Perović, Aleksandar | Finitely Additive Probability Measures in Automated Medical Diagnostics | 1-Jan-2014 | International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014; 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, IPMU 2014; Montpellier; France; 15 July 2014 through 19 July 2014; 443 CCIS; 10-19 | M33 |
18 | Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Todorović, Milan ; Ognjanović, Zoran ; Tomović, Siniša ; Stojanović, Vladimir; Milutinović, Veljko | Serbia forum - Digital cultural heritage portal | 1-Jan-2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Conference on Image and Signal Processing, ICISP 2014; Cherbourg; France; 30 June 2014 through 2 July 2014; 8509 LNCS; 265-271 | M33 |
19 | Šegan-Radonjić, Marija ; Milovanović, Miloš ; Ognjanović, Zoran ; Rajić, Sanja; Mijajlović, Žarko | Digital Catalogue of Cultural Monuments in Serbia 2012 - 2013: Overview and Highlights | 2014 | Review of the NCD; The Eight International SEEDI Conference, Zagreb, 15--16. 5. 2013; 25; 22-28 | M33 |
20 | Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Ognjanović, Zoran ; Milutinović, Veljko | An Overview of and Innovative Perspectives for the Serbia-Forum Cultural Heritage Digitization Project | 2014 | Review of the NCD; The Eight International SEEDI Conference, Zagreb, 15--16. 5. 2013; 25; 17-21 | M33 |
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 |