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 61-80 of 141 (Search time: 0.003 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
61 | Valjarević, Aleksandar; Kićović, D.; Ognjanović, Zoran ; Šegan-Radonjić, Marija | Digitalna višelejerna karta Topličkog okruga | 2014 | Naučni skup sa međunarodnim učešćem: Geografsko obrazovanje, nauka, praksa, razvoj, stanje i perspektive (povodom 120 godina Geografskog fakulteta); 551-556 | M60 |
62 | Milojević Jevrić, Marija; Ognjanović, Zoran | Ontology for NCD Standards for Description of Digital Documents and Collections | 2014 | Pregled nacionalnog centra za digitalizaciju; 12. konferencija "Nove tehnologije i standardi: digitalizacija nacionalne baštine", Narodna biblioteka Srbije, Beograd 31. 10. - 1. 11. 2013; 24; 13-18 | M63 |
63 | Jelisavčić, Vladisav ; Mihajlović, Aleksandar; Marinković, Bojan ; Tomović, Siniša ; Stojanović, Vladimir; Todorović, Milan ; Ognjanović, Zoran ; Milutinović, Veljko | Digital National Library of Serbia | 2014 | The Ninth SEEDI Conference: Digitization of cultural and scientific heritage Belgrade, Serbia, 15-16 May 2014.; 16-17 | M34 |
64 | Šegan-Radonjić, Marija ; Milovanović, Miloš ; Ognjanović, Zoran ; Rajić, Sanja; Mijajlović, Žarko | The next step in development of eCatalog of nonmovable cultural monuments in Serbia | 2014 | The Ninth SEEDI Conference: Digitization of cultural and scientific heritage Belgrade, Serbia, 15-16 May 2014.; 16-16 | M34 |
65 | Knežević, Milica ; Marinković, Bojan ; Čukić, Ivan; Bulatović, Nataša; Ognjanović, Zoran | CENDARI, a view from the technical side | 2014 | The Ninth SEEDI Conference: Digitization of cultural and scientific heritage Belgrade, Serbia, 15-16 May 2014.; 15-15 | M34 |
66 | Savić, Miloš; Ivanović, Mirjana; Radovanović, Miloš; Ognjanović, Zoran ; Pejović, Aleksandar; Jakšić Kruger, Tatjana | The structure and evolution of scientific collaboration in eLib, a on-line library of Serbian mathematical journals | 2014 | The Ninth SEEDI Conference: Digitization of cultural and scientific heritage Belgrade, Serbia, 15-16 May 2014.; 15-16 | M34 |
67 | Šegan-Radonjić, Marija ; Vujošević, Sandra; Zdravković, Aleksandra; Knežević, Milica ; Jelisavčić, Vladisav ; Tomović, Siniša ; Todorović, Milan ; Marinković, Bojan ; Ognjanović, Zoran ; Milutinović, Veljko | Informaciono-komunikacione platforme za predstavljanje digitalizovane baštine u Matematičkom institutu SANU | 2014 | Usluga po meri korisnika 21. veka : Primena informaciono-komunikacionih tehnologija u bibliotekama | M60 |
68 | Ognjanović, Zoran ; Perović, Aleksandar; Doder, Dragan | A first-order dynamic probability logic | 1-Aug-2013 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2013; Utrecht; Netherlands; 8 July 2013 through 10 July 2013; 7958 LNAI; 461-472 | M33 |
69 | Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Ognjanović, Zoran ; Milutinović, Veljko | The Serbia-forum Cultural Heritage Digitization Project with Emphasis on Semantic Indexing | 2013 | Review of the NCD; VII International SEEDI Conference, Ljubljana, Slovenia, 17-18th May 2012; 22; 47-54 | M33 |
70 | Mihaljević, Miodrag J. ; Ognjanović, Zoran | Komunikacija mašina-mašina javnim kanalima: Koncept i izazovi bezbednosti | 2013 | BISEC 2013, Srbija | M62 |
71 | Knežević, Milica ; Marinković, Bojan ; Ognjanović, Zoran ; Čukić, Ivan; Bulatović, Nataša | CENDARI (Collaborative EuropeaN Digital Archive Infrastructure) | 2013 | 8th SEEDI Conference: Digitization of cultural and scientific heritage; 24-25 | M30 |
72 | Šegan-Radonjić, Marija ; Milovanović, Miloš ; Mijajlović, Žarko; Ognjanović, Zoran | Digital Catalogue of Cultural Monuments in Serbia 2004 – 2012: An Overview and Highlights | 2013 | 8th SEEDI Conference ''Digitisation of Cultural and Scientific Heritage''; 56-57 | M30 |
73 | Jelisavčić, Vladisav ; Marinković, Bojan ; Milutinović, Veljko; Mihajlović, Aleksandar; Ognjanović, Zoran ; Tomović, Siniša ; Todorović, Milan | Progress and Innovative Ideas for the Serbia-Forum Cultural Heritage Digitization Project | 2013 | XII Konferencija Nove tehnologije i standardi: Digitalizacija nacionalne baštine, NCD 2013, Srbija; 15-15 | M60 |
74 | Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Zeljić, Aleksandar; Glavan, Paola | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | 2013 | The first national conference “Information theory and complex systems”; 16-16 | M64 |
75 | Doder, Dragan; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | On evaluations of propositional formulas whose range is a subset of some fixed countable ordered field | 1-Dec-2012 | World Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.; 10th International Fuzzy Logic and Intelligent Technologies inNuclear Science Conference, FLINS 2012; Istanbul; Turkey; 26 August 2012 through 29 August 2012; 7; 567-572 | M33 |
76 | 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 |
77 | 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 |
78 | 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 |
79 | 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 |
80 | Knežević, Milica ; Mitić, Nenad; Ognjanović, Zoran ; Milutinović, Veljko | Agent based data mining in wireless sensor networks: a survey | 2012 | ICIST 2012 | M30 |
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 |