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 Abstract state machines | Chord | DHT-based overlay networks | Formal description | Peer-to-Peer
- 1 Abstract State Machines | DHT-based overlay networks | Peer-to-peer | Retrieval probability
- 1 Approximate probability | Conditional probability | Decidability | Default reasoning | Non-standard analysis | Probabilistic logic | Strong completeness
- 1 Approximate probability | Conditional probability | Meta-heuristics | Probabilistic satisfiability | Swarm intelligence
- 1 Approximate probability | Conditional probability | Metaheuristics | Non-monotonic reasoning | Probabilistic satisfiability | Swarm intelligence
- 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 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
- next >
Date issued
- 17 2020 - 2025
- 36 2010 - 2019
- 24 2000 - 2009
- 8 1990 - 1999
Type
- 85 Article
Results 41-60 of 85 (Search time: 0.006 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
41 | Doder, Dragan; Grant, John; Ognjanović, Zoran | Probabilistic logics for objects located in space and time | 1-Jun-2013 | Journal of Logic and Computation; 23(3); 487-515 | M22 |
42 | Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Logics with generalized measure operators | 13-May-2013 | Journal of Multiple-Valued Logic and Soft Computing; 20(5-6); 527-555 | M21a |
43 | Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, Aleksandar | A propositional probabilistic logic with discrete linear time for reasoning about evidence | 24-Aug-2012 | Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243 | M23 |
44 | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandar | A p-adic probability logic | 1-Aug-2012 | Mathematical Logic Quarterly; 58(4-5); 263-280 | M22 |
45 | Milošević, Miloš; Ognjanović, Zoran | A first-order conditional probability logic | 1-Feb-2012 | Logic Journal of the IGPL; 20(1); 235-253 | M21a |
46 | 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 |
47 | 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 |
48 | 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 |
49 | Doder, Dragan; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Measures of inconsistency and defaults | 1-Sep-2010 | International Journal of Approximate Reasoning; 51(7); 832-845 | M21 |
50 | Doder, Dragan; Ognjanović, Zoran ; Marković, Zoran | An axiomatization of a first-order branching time temporal logic | 26-Aug-2010 | Journal of Universal Computer Science; 16(11); 1439-1451 | M23 |
51 | Mijajlović, Žarko; Ognjanović, Zoran ; Pejović, Aleksandar | Digitization of mathematical editions in Serbia | 1-May-2010 | Mathematics in Computer Science; 3(3); 251-263 | M51 |
52 | Doder, Dragan; Marković, Zoran ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | A probabilistic temporal Logic that can model reasoning about evidence | 26-Apr-2010 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010; Sofia; Bulgaria; 15 February 2010 through 19 February 2010; 5956 LNCS; 9-24 | M23 |
53 | Stojanović, Tatjana; Kaplarević-Mališić, Ana; Ognjanović, Zoran | An extension of the probability logic $LPP_2$ | 2010 | Kragujevac Journal of Mathematics; 33; 45-62 | M52 |
54 | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Qualitative possibilities and necessities | 27-Aug-2009 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009; Verona; Italy; 1 July 2009 through 3 July 2009; 5590 LNAI; 651-662 | M23 |
55 | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | An axiomatizatin of qualitative probability | 1-Dec-2008 | Acta Polytechnica Hungarica; 5(1); 105-110 | M51 |
56 | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | How to restore compactness into probabilistic logics? | 28-Nov-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th European Conference on Logics in Artificial Intelligence, JELIA 2008; Dresden; Germany; 28 September 2008 through 1 October 2008; 5293 LNAI; 338-348 | M23 |
57 | Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag | Interpolative Boolean logic | 25-Sep-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008; Varna; Bulgaria; 4 September 2008 through 6 September 2008; 5253 LNAI; 209-219 | M23 |
58 | Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | A logic with approximate conditional probabilities that can model default reasoning | 1-Sep-2008 | International Journal of Approximate Reasoning; 49(1); 52-66 | M22 |
59 | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | A probabilistic logic with polynomial weight formulas | 1-Jan-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008; Pisa; Italy; 11 February 2008 through 15 February 2008; 4932 LNCS; 239-252 | M23 |
60 | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Logics with the qualitative probability operator | 1-Jan-2008 | Logic Journal of the IGPL; 16(2); 105-120 | M23 |
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 |