еНаука - преглед

Преглед према Аутор Rašković, Miodrag

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