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 probability logic | conditional probability | approximate probability | non-standard analysis | strong completeness | decidability | default reasoning
- 1 Approximate probability | Conditional probability | Decidability | Default reasoning | Non-standard analysis | Probabilistic logic | Strong completeness
- 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 Axiomatic system | Logic programming | Theorem proving
- 1 Branching time logic | First order logic | Strong completeness
- 1 Branching time | Probability operators | Propositional logic
- 1 Classical propositional logic | Completeness theorem | Measure | Uncertainty
- 1 Clinical decision support systems | Diagnostic decisions | Electronic books | Knowledge-based model | Local information systems | Predictive values | Relational database management systems
- 1 Completeness | Conditional probability logic | Hardy field | Nonstandard values
- next >
Date issued
- 14 2010 - 2020
- 22 2000 - 2009
Type
Results 1-20 of 36 (Search time: 0.007 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Probability Logics. Probability-Based Formalization of Uncertain Reasoning | 2016 | M11 | |
2 | 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 |
3 | 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 |
4 | Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | A first-order probabilistic logic with approximate conditional probabilities | 1-Jan-2014 | Logic Journal of the IGPL; 22(4); 539-564 | M21 |
5 | Stošović, Milan; Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | Transforming electronic medical books to diagnostic decision support systems using relational database management systems | 1-Dec-2013 | Computational Medicine in Data Mining and Modeling; 79-103 | M14 |
6 | 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 |
7 | Borisavljević, Mirjana; Ghilezan, Silvia ; Janičić, Predrag; Krapež, Aleksandar ; Kurilić, Miloš; Mijajlović, Žarko; Marković, Zoran ; Ognjanović, Zoran ; Pantović, Jovanka; Petrić, Zoran ; Stanković, Miomir S.; Stanković, Radomir ; Stojmenović, Ivan; Vukomanović, Đorđe | History of Mathematical Logic in Serbia | 2013 | Logic in Central and Eastern Europe History, Science, and Discourse; 470-495 | M14 |
8 | 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 |
9 | 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 |
10 | 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 |
11 | 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 | |
12 | 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 |
13 | 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 |
14 | 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 |
15 | 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 |
16 | Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Probability logics | 2009 | Logic in computer science; 12(20); 35-111 | M14 |
17 | 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 |
18 | 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 |
19 | 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 |
20 | Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Measure logic | 1-Jan-2007 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 2007; 4724; 128-138 | 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 |