еНаука - преглед
Преглед према Аутор Doder, Dragan
Приказ резултата 1 до 20 од 64
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | A branching time logic with two types of probability operators | Ognjanović, Zoran   ; Doder, Dragan ; Marković, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | A Branching-time Probabilistic Logic | Doder, Dragan ; Zoran Marković; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | A first-order dynamic probability logic | Ognjanović, Zoran ; Perović, Aleksandar ; Doder, Dragan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P | Doder, Dragan | Научни чланак | 24M24 - Рад у нац. часопису међ. значаја |
| 2010 | A logic with conditional probability operators | Doder, Dragan ; Marinković, Bojan ; Maksimovic, Petar; Perović, Aleksandar | Научни чланак | 24M24 - Рад у нац. часопису међ. значаја |
| 2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ; Doder, Dragan ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | A probabilistic logic for reasoning about uncertain temporal information | Doder, Dragan ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | A probabilistic temporal Logic that can model reasoning about evidence | Perović, Aleksandar ; Doder, Dragan ; Zoran Markovic; Ognjanović, Zoran ; Rašković, Miodrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2017 | A probabilistic temporal logic with countably additive semantics | Doder, Dragan J. ; Ognjanović, Zoran D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | A Propositional Linear Time Logic with Time Flow Isomorphic to $omega^2$ | Marinković, Bojan ; Ognjanović, Zoran ; Perović, Aleksandar ; Doder, Dragan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | A propositional linear time logic with time flow isomorphic to $omega^2$ (✓) | Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan ; Perović, Aleksandar | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2012 | A propositional probabilistic logic with discrete linear time for reasoning about evidence | Ognjanović, Zoran ; Marković, Zoran; Rašković, Miodrag ; Doder, Dragan ; Perović, Aleksandar | Научни чланак | 23M23 - Рад у међ. часопису |
| 2012 | A propositional probabilistic logic with discrete linear time for reasoning about evidencetransfer function - advantages and weak points | Perović, Aleksandar ; Ognjanović, Zoran ; Zoran Markovic; Rašković, Miodrag ; Doder, Dragan | Научни чланак | 23M23 - Рад у међ. часопису |
| 2017 | Acceptability Semantics for Weighted Argumentation Frameworks | Amgoud, Leila; Ben-Naim, Jonathan; Doder, Dragan ; Vesic, Srdjan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | AGM Revision of Beliefs about Action and Time | Doder, Dragan ; Marc van Zee; Mehdi Dastani; Leon van der Torre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | AGM-Style Revision of Beliefs and Intentions | Doder, Dragan ; Marc van Zee | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | An axiomatization of a first-order branching time temporal logic | Doder, Dragan ; Ognjanović, Zoran ; Zoran Marković | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2021 | An Epistemic Probabilistic Logic with Conditional Probabilities (✓) | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Applications of probabilistic and related logics to decision support in medicine | Perović, Aleksandar ; Doder, Dragan ; Ognjanović, Zoran | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |