eNauka - pregled

Pregled prema Autor Rašković, Miodrag

Prikaz rezultata 1 do 20 od 54  sledeće >
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2003A Conditional Probability LogicRašković, Miodrag; Ognjanović, Zoran  ; Marković, ZoranKonferencijski rad
Mp kategorija će biti prikazana naknadno.
1999A first order probability logic, LPQRašković, Miodrag; Ognjanović, Zoran  Naučni članak
Mp kategorija će biti prikazana naknadno.
1995A logic for reasoning about ProbabilityRašković, Miodrag; Ognjanović, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2008A logic with approximate conditional probabilities that can model default reasoningRašković, Miodrag; Marković, Zoran; Ognjanović, Zoran  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2004A logic with conditional probabilitiesRašković, Miodrag; Ognjanović, Zoran  ; Marković, ZoranNaučni članak
22M22 - Međunarodni časopis kategorije M22
1996A logic with higher order probabilitiesRašković, Miodrag; Ognjanović, Zoran  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
1996A logic with higher order probabilitiesOgnjanović, Zoran  ; Rašković, MiodragNaučni članak
Mp kategorija će biti prikazana naknadno.
2004A Probabilistic Approach to Default ReasoningRašković, Miodrag; Ognjanović, Zoran  ; Marković, ZoranKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2003A probabilistic extension of intuitionistic logicMarković, Zoran; Ognjanović, Zoran  ; Rašković, MiodragNaučni članak
22M22 - Međunarodni časopis kategorije M22
2002A probabilistic logic based on propositional intuitionistic logicMarković, Zoran; Ognjanović, Zoran  ; Rašković, MiodragKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2008A probabilistic logic with polynomial weight formulasPerović, Aleksandar; Ognjanović, Zoran  ; Rašković, Miodrag; Marković, ZoranNaučni članak
Mp kategorija će biti prikazana naknadno.
1985An application of non-standard analisys to functional equationsRašković, MiodragNaučni članak
Mp kategorija će biti prikazana naknadno.
2001An automated theorem prover for the probability logic LPPRašković, Miodrag; Ognjanović, Zoran  ; Petrović, Vladimir; Majstorović, UrošKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2007An axiomatization of qualitative probabilityOgnjanović, Zoran  ; Perović, Aleksandar; Rašković, MiodragKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2003An intuitionistic logic with probabilistic operatorsMarković, Zoran; Ognjanović, Zoran  ; Rašković, MiodragNaučni članak
Mp kategorija će biti prikazana naknadno.
1986Barwise Completeness Theorems for Some Biprobability LogicsRašković, Miodrag; Živaljević, Rade  Naučni članak
Mp kategorija će biti prikazana naknadno.
2005Completeness theorem for a logic with imprecise and conditional probabilitiesOgnjanović, Zoran  ; Marković, Zoran; Rašković, MiodragNaučni članak
Mp kategorija će biti prikazana naknadno.
1990Completeness theorem for a monadic logic with both first-order and probability quantifiersRašković, Miodrag; Tanović, Predrag  Naučni članak
Mp kategorija će biti prikazana naknadno.
1986Completeness theorem for biprobability modelsRašković, MiodragNaučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2019Completeness theorem for probability models with finitely many valued measureRašković, Miodrag; Đorđević, Radosav  ; Stojanović, Nenad  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21