Showing results 1 to 20 of 74
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 |
| Rašković, Miodrag | An application of non-standard analisys to functional equations | 1985 | Publications de l'Institut Mathématique; 37(51); 23-24 | |
| 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 |
| Rašković, Miodrag ; Živaljević, Rade | Barwise Completeness Theorems for Some Biprobability Logics | 1986 | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik; 32(7-9); 133-135 | |
| 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 |
| Rašković, Miodrag | Completeness theorem for biprobability models | 1986 | The Journal of Symbolic Logic; 51(3); 586-590 | |
| Đ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 |
| Rašković, Miodrag | Completeness theorem for singular biprobability models | 1988 | Proceeding of The American Mathematical Society; 102(2); 389-392 | |
| 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 |
