еНаука - преглед
Преглед према Аутор Rašković, Miodrag
Приказ резултата 1 до 20 од 42
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2003 | A Conditional Probability Logic | Rašković, Miodrag; Ognjanović, Zoran ; Marković, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1999 | A first order probability logic, LPQ | Rašković, Miodrag; Ognjanović, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
1995 | A logic for reasoning about Probability | Rašković, Miodrag; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2008 | A logic with approximate conditional probabilities that can model default reasoning | Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2004 | A logic with conditional probabilities | Rašković, Miodrag; Ognjanović, Zoran ; Marković, Zoran | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
1996 | A logic with higher order probabilities | Rašković, Miodrag; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
1996 | A logic with higher order probabilities | Ognjanović, Zoran ; Rašković, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
2004 | A Probabilistic Approach to Default Reasoning | Rašković, Miodrag; Ognjanović, Zoran ; Marković, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2003 | A probabilistic extension of intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2002 | A probabilistic logic based on propositional intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2008 | A probabilistic logic with polynomial weight formulas | Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag; Marković, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
2001 | An automated theorem prover for the probability logic LPP | Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2007 | An axiomatization of qualitative probability | Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2003 | An intuitionistic logic with probabilistic operators | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
2005 | Completeness theorem for a logic with imprecise and conditional probabilities | Ognjanović, Zoran ; Marković, Zoran; Rašković, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
1990 | Completeness theorem for a monadic logic with both first-order and probability quantifiers | Rašković, Miodrag; Tanović, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
2019 | Completeness theorem for probability models with finitely many valued measure | Rašković, Miodrag; Đorđević, Radosav ; Stojanović, Nenad | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2004 | Completeness theorem for propositional probabilistic models whose measures have only finite ranges | Đordević, Radosav; Rašković, Miodrag; Ognjanović, Zoran | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2020 | Completeness theorems for σ–additive probabilistic semantics | Ikodinović, Nebojša ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2006 | Decidability of a conditional-probability logic with non-standard valued probabilities | Rašković, Miodrag; Ognjanović, Zoran ; Marković, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |