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
- 2 Probabilistic logic | Epistemic logic | Completeness
- 2 Probabilistic logic | Measure of confirmation | Completeness theorem | Decidability
- 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
- next >
Date issued
- 13 2020 - 2024
- 74 2010 - 2019
- 33 2000 - 2009
- 17 1990 - 1999
- 4 1981 - 1989
Type
- 141 Conference Paper
Results 41-60 of 141 (Search time: 0.003 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 41 | 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 |
| 42 | 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 |
| 43 | 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 |
| 44 | 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 |
| 45 | Knežević, Milica ; Marinković, Bojan ; Bulatović, Nataša; Todorović, Milan ; Čukić, Ivan; Ognjanović, Zoran ; Lehmann, Jörg; Zamoiski, Andrei | Stvaranje CENDARI digitalnog repozitorijuma o Prvom svetskom ratu i srenjevekovnoj kulturi Evrope | 2015 | 13th National Conference: Cultural Heritage Digitization & Digital Humanities; 4-4 | M60 |
| 46 | 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 |
| 47 | 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 |
| 48 | Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Some applications of probabilistic first-order logics | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 25-26 | M34 |
| 49 | Todorović, Milan ; Zeljić, Aleksandar; Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving formal properties of the Chord protocol using Isabelle | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 59-60 | M34 |
| 50 | Šegan-Radonjić, Marija ; Lajbenšperger, Milica; Rajić, Sanja; Ivanović, Aleksandra; Ognjanović, Zoran | Digitalizacija naučnog i kulturnog nasleđa u srednjoškolskom obrazovanju | 2015 | Naučna konferencija Doprinos istraživačkih nalaza razvoju obrazovnih politika; 142-146 | M60 |
| 51 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandar | A p-adic probability logic | 2015 | International conference on p-adic mathematical physics and its applications; 07-12.09.2015, Belgrade, Serbia; 28-28 | M30 |
| 52 | Vujošević, Sandra; Knežević, Milica ; Ognjanović, Zoran ; Šegan-Radonjić, Marija | PROJECT 'DIGITARIJUM': CREATION OF TEACHING MATERIAL FOR DIGITAL HERITAGE | 2015 | 4th Annual Conference on Humanities and Their Methods in the Digital Ecosystem (AIUCD 2015) | M30 |
| 53 | Vujošević, Sandra; Ognjanović, Zoran ; Šegan-Radonjić, Marija | ELEKTRONSKI KATALOG SPOMENICI KULTURE U SRBIJI (2014 – 2015) | 2015 | 13. nacionalna konferencija sa međunarodnim učešćem - Digitalizacija kulturne baštine i Digitalna humanistika; 15-15 | M60 |
| 54 | Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Tomović, Siniša ; Milutinović, Veljko | Serbia-Forum - korak ka boljoj vidljivosti digitalizovane kulturne baštine u Srbiji | 2015 | XIII Konferencija Digitalizacija nacionalne baštine i digitalna humanistika, 10.09.2015.-11.09.2015, Srbija; 7-7 | M60 |
| 55 | Tomović, Siniša ; Doder, Dragan; Ognjanović, Zoran | First-Order Probabilistic Common Knowledge Logic | 2015 | Peta nacionalna konferencija Verovatnosne logike i njihove primene; 19-19 | M60 |
| 56 | 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 |
| 57 | 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 |
| 58 | Doder, Dragan; Grant, John; Ognjanović, Zoran | Logics for probabilistic spatio-temporal reasoning | 2014 | Logic and Applications 2014, Dubrovnik, 22-26. 9, 2014; 3-4 | M34 |
| 59 | Š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 |
| 60 | 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 |