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 Approximate probability | Decidability | Non-standard analysis | Probabilistic first-order logic | Strong completeness
- 1 Approximate probability | Default reasoning | n-Consistency | n-Probability | Probability measure
- 1 AS | ATIZ | Austria-Forum | NBS | Serbia-Forum | VESTIGIA
- 1 Attacking scenarios | Authentication protocols | Computational capability | Cryptographic security | High performance computing | Implementation complexity | Learning parity with noise | Man in the middle
- 1 Author metrics | Co-authorship network | Collaborative behaviour | Connected components | Digital library | Evolutionary trends | Serbian mathematical journals
- 1 Axiomatic system | Logic programming | Theorem proving
- 1 Axiomatization | Completeness theorem | Decidability | Independence | Probabilistic support
- 1 Axiomatization | Decidability | Probabilistic logic | Temporal logic
- 1 Axiomatization | Decidability | Strong completeness | Temporal logic | Zero time transitions
- 1 Axiomatization | Probabilistic logic | Strong completeness | Uncertainty
- < previous next >
Date issued
- 37 2020 - 2026
- 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 81-100 of 269 (Search time: 0.005 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 81 | Ognjanović, Zoran | An Introduction to Logics with Probability Operators | 2016 | The Swiss Society for Logic and Philosophy of Science SSLPS Annual Meeting, Bern, Switzerland, Friday, October 28, 2016 | M32 |
| 82 | Lajbenšperger, Milica; Šegan-Radonjić, Marija ; Vujošević, Sandra; Ognjanović, Zoran | Digitalization of Scientific and Cultural Heritage in Dissemination of Innovative Teaching Models | 2016 | The IPSI BgD Transactions on Advanced Research; 12(1); 27-30 | M52 |
| 83 | Tomović, Siniša ; Knežević, Milica ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran | Security evaluation of NHB# authentication protocol against a MIM attack | 2016 | The IPSI BgD Transactions on Internet Research; 12(2); 22-36 | |
| 84 | Tomović, Siniša ; Todorović, Milan ; Knežević, Milica ; Jelisavčić, Vladisav ; Arsić, Aleksandra ; Zdravković, Aleksandra; Marinković, Bojan ; Ognjanović, Zoran ; Stojanović, Miroljub | Unapređenja Digitalne narodne biblioteke Srbije | 2016 | XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 22-23 | M60 |
| 85 | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Analyzing the exhaustiveness of the Synapse protocol | 7-Sep-2015 | Peer-to-Peer Networking and Applications; 8(5); 793-806 | M22 |
| 86 | Stojanović, Tatjana; Davidović, Tatjana ; Ognjanović, Zoran | Bee colony optimization for the satisfiability problem in probabilistic logic | 1-Jun-2015 | Applied Soft Computing Journal; 31; 339-347 | M21 |
| 87 | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas | First steps towards probabilistic justification logic | 1-Jan-2015 | Logic Journal of the IGPL; 23(4); 662-687 | M21 |
| 88 | 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 |
| 89 | 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 |
| 90 | 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 |
| 91 | 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 |
| 92 | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers | 1-Jan-2015 | Studia Logica; 1; 145-174 | M22 |
| 93 | 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 |
| 94 | 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 |
| 95 | Š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 |
| 96 | Ikodinović, Nebojša; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | First-order probabilistic logics and their applications | 2015 | Logic in computer science; 18(26); 37-78 | M14 |
| 97 | 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 |
| 98 | 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 |
| 99 | 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 |
| 100 | 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 |
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 |