Showing results 1 to 20 of 60
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Conditional Probability Logic | 2003 | Workshop on Computational Intelligence and Information Technologies, Faculty of Electronic Engineering Niš and Dept. of Comp. Science University of Dortmund Germany, Srbija i Crna Gora, Niš, 13. X 2003.; 13-16 | M33 |
Rašković, Miodrag ; Ognjanović, Zoran | A first order probability logic, LPQ | 1999 | Publications de l'Institut Mathematique; 65(79); 1-7 | M24 |
Rašković, Miodrag ; Ognjanović, Zoran | A logic for reasoning about Probability | 1995 | IX Conference on Applied Mathematics, Budva 1994.; 365-369 | M63 |
Ognjanović, Zoran ; Rašković, Miodrag | A logic with higher order probabilities | 1996 | Publications de l'Institut Mathematique; 60(74); 1-4 | M24 |
Rašković, Miodrag ; Ognjanović, Zoran | A logic with higher order probabilities | 1996 | X Conference on Applied Mathematics, Budva 1995.; 255-257 | M63 |
Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | A Probabilistic Approach to Default Reasoning | 2004 | 10th International workshop on Non-monotonic reasoning NMR 2004, Whistler, BC, Canada, June 6--8, 2004; 335-341 | M33 |
Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | A probabilistic logic based on propositional intuitionistic logic | 2002 | 37th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia; 784-787 | M33 |
Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | An automated theorem prover for the probability logic LPP | 2001 | A tribute to S. B. Prešić - papers celebrating his 65th birthday, Beograd 1998.; 79-83 | M63 |
Marković, Zoran ; Ognjanović, Zoran ; Rašković, Miodrag | An intuitionistic logic with probabilistic operators | 2003 | Publications de l'Institut Mathematique; 73(87); 31-38 | M24 |
Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | An axiomatizatin of qualitative probability | 1-Dec-2008 | Acta Polytechnica Hungarica; 5(1); 105-110 | M51 |
Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | An axiomatization of qualitative probability | 1-Dec-2007 | 5th International Symposium on Intelligent Systems and Informatics, SISY 2007; 151-154 | M33 |
Davidović, Tatjana ; Glišović, Nataša; Rašković, Miodrag | Bee colony optimization for clustering incomplete data | 1-Jan-2018 | CEUR Workshop Proceedings; School-Seminar on Optimization Problems and their Applications, OPTA-SCL 2018; Omsk; Russian Federation; 8 July 2018 through 14 July 2018; 2098; 94-108 | |
Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag | Completeness theorem for a logic with imprecise and conditional probabilities | 1-Jan-2005 | Publications de l'Institut Mathematique; 78(92); 35-49 | M24 |
Rašković, Miodrag ; Tanović, Predrag | Completeness theorem for a monadic logic with both first-order and probability quantifiers | 1990 | Publications de l'Institut Mathématique; 47(61); 1-14 | M24 |
Đordević, Radosav; Rašković, Miodrag ; Ognjanović, Zoran | Completeness theorem for propositional probabilistic models whose measures have only finite ranges | 1-Jan-2004 | Archive for Mathematical Logic; 43; 557-563 | M22 |
Ikodinović, Nebojša; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Completeness theorems for σ–additive probabilistic semantics | 1-Apr-2020 | Annals of Pure and Applied Logic; 171(4); 102755 | M21 |
Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran | Decidability of a conditional-probability logic with non-standard valued probabilities | 2006 | 11th Workshop on nonmonotonic reasoning NMR 11, 30 May to 1 June 2006, Lake District area, UK, 201--207, 2006; 201-207 | M33 |
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 |
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 |
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 |