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
- 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 141-160 of 268 (Search time: 0.005 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
141 | Perović, Aleksandar; Doder, Dragan; Ognjanović, Zoran | On real-valued evaluation of propositional formulas | 15-Mar-2012 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012; Kiel; Germany; 5 March 2012 through 9 March 2012; 7153 LNCS; 264-277 | M33 |
142 | Milošević, Miloš; Ognjanović, Zoran | A first-order conditional probability logic | 1-Feb-2012 | Logic Journal of the IGPL; 20(1); 235-253 | M21a |
143 | Marinković, Bojan ; Ognjanović, Zoran ; Butigan Vučaj, Tamara | A Distributed Implementation of a Catalog of Digitized Cultural Collections | 2012 | Review of the NCD; The Sixth International SEEDI Conference, Zagreb, Croatia, 18-20th May 2011; 21; 19-24 | M33 |
144 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | Conditional p-adic probability logic | 2012 | ECAI-2012 Workshop on Weighted logics for Artificial Intelligence WL4AI, Montpellier, France, August 28, 2012.; 17-24 | M33 |
145 | Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Hierarchies of probability logics | 2012 | ECAI-2012 Workshop on Weighted logics for Artificial Intelligence WL4AI, Montpellier, France, August 28, 2012.; 9-15 | M33 |
146 | Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran ; Perović, Aleksandar | On probability logic | 2012 | The IPSI BgD Transactions on Advanced Research; 8(1); 2-7 | M52 |
147 | Knežević, Milica ; Mitić, Nenad; Ognjanović, Zoran ; Milutinović, Veljko | Agent based data mining in wireless sensor networks: a survey | 2012 | ICIST 2012 | M30 |
148 | Knežević, Milica ; Mitić, Nenad; Ognjanović, Zoran ; Milutinović, Veljko | Datamining in WSNs Based on Mobile Agents | 2012 | MIPRO 2012 – 35th International Convention on Information and Communication Technology, Electronics and Microelectronics | M30 |
149 | Knežević, Milica ; Mitić, Nenad; Ognjanović, Zoran ; Milutinović, Veljko | Agent Based Data Mining in Wireless Sensor Networks: A Survey | 2012 | E-SOCIETY Research and applications; 3(1); 11-19 | M50 |
150 | Ilić Stepić, Angelina ; Ognjanović, Zoran | Complex -valued probability logic | 2012 | Druga nacionalna konferencija: Verovatnosne logike i njihove primene; 31-31 | M60 |
151 | Ognjanović, Zoran ; Doder, Dragan; Marković, Zoran | A branching time logic with two types of probability operators | 19-Oct-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5th International Conference on Scalable Uncertainty Management, SUM 2011; Dayton, OH; United States; 10 October 2011 through 13 October 2011; 6929 LNAI; 219-232 | M33 |
152 | Doder, Dragan; Perović, Aleksandar; Ognjanović, Zoran | Probabilistic approach to nonmonotonic consequence relations | 14-Jul-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011; Belfast; United Kingdom; 29 June 2011 through 1 July 2011; 6717 LNAI; 459-471 | M33 |
153 | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Radojević, Dragan | Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm | 16-Apr-2011 | Fuzzy Sets and Systems; 169(1); 65-90 | M21a |
154 | Marinković, Bojan ; Liquori, Luigi; Ciancaglini, Vincenzo; Ognjanović, Zoran | A distributed catalog for digitized cultural heritage | 11-Mar-2011 | Communications in Computer and Information Science; 2nd International Conference on Information and Communication Technologies, ICT Innovations 2010; Ohrid; North Macedonia; 12 September 2010 through 15 September 2010; 83 CCIS; 176-186 | M33 |
155 | Mijajlović, Žarko; Pejović, Nada; Ognjanović, Zoran | Doctoral dissertations in NCD Virtual library | 2011 | Review of the NCD; The fifth SEEDI International Conference: Digitization of cultural and scientific heritage, May 19-20, 2010, Sarajevo, BiH; 18; 15-18 | M33 |
156 | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | A p-adic probability logic | 2011 | Verovatnosne logike i njihove primene; 29-30. septembar 2011, Matematički institut SANU, Beograd; 11-12 | M60 |
157 | Ognjanović, Zoran ; Doder, Dragan | Some Temporal-Probabilistic logics | 2011 | Advanced in nonlinear sciences; 227-262 | M45 |
158 | Glišović, Nataša; Đurić, Vojislav; Knežević, Milica ; Maksimović, Petar; Marković, Zoran ; Ognjanović, Zoran ; Perić-Popadić, Aleksandra; Rašković, Miodrag ; Rašković, Sanvila; Čukić, Ivan | Elektronski zdravstveni karton pacijenata Klinike za alergologiju i imunologiju Kliničkog centra Srbije | 2011 | M85 | |
159 | Marinković, Bojan ; Ognjanović, Zoran ; Šegan-Radonjić, Marija ; Milojković, Nevena; Jakšić Kruger, Tatjana | Katalog digitalnih kolekcija kulturne i naučne baštine Srbije | 2011 | M85 | |
160 | Jakšić Kruger, Tatjana ; Mijajlović, Žarko; Milojković, Nevena; Ognjanović, Zoran ; Pejović, Aleksandar; Radojičić, Nina; Knežević, Milica ; Mišković, Stefan; Šegan-Radonjić, Marija ; Vučković, Bojan ; Milovanović, Miloš | Unapređenje elektronske biblioteke Matematičkog instituta SANU | 2011 | M85 |
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 |