Browsing eNauka
Browsing by Author Doder, Dragan
Showing results 1 to 20 of 64
next >
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2011 | A branching time logic with two types of probability operators | Ognjanović, Zoran ; Doder, Dragan ; Marković, Zoran | Conference Paper | Mp. category will be shown later |
2011 | A Branching-time Probabilistic Logic | Doder, Dragan ; Zoran Marković; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
2013 | A first-order dynamic probability logic | Ognjanović, Zoran ; Perović, Aleksandar ; Doder, Dragan | Conference Paper | Mp. category will be shown later |
2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
2011 | A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P | Doder, Dragan | Article | 24M24 |
2010 | A logic with conditional probability operators | Doder, Dragan ; Marinković, Bojan ; Maksimovic, Petar; Perović, Aleksandar | Article | 24M24 |
2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
2015 | A probabilistic logic for reasoning about uncertain temporal information | Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
2010 | A probabilistic temporal Logic that can model reasoning about evidence | Perović, Aleksandar ; Doder, Dragan ; Zoran Markovic; Ognjanović, Zoran ; Rašković, Miodrag | Article | Mp. category will be shown later |
2017 | A probabilistic temporal logic with countably additive semantics | Doder, Dragan J. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
2014 | A Propositional Linear Time Logic with Time Flow Isomorphic to $omega^2$ | Marinković, Bojan ; Ognjanović, Zoran ; Perović, Aleksandar ; Doder, Dragan | Conference Paper | Mp. category will be shown later |
2014 | A propositional linear time logic with time flow isomorphic to $omega^2$ (✓) | Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan ; Perović, Aleksandar | Article | 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 | Article | 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 | Article | 23M23 |
2017 | Acceptability Semantics for Weighted Argumentation Frameworks | Amgoud, Leila; Ben-Naim, Jonathan; Doder, Dragan ; Vesic, Srdjan | Conference Paper | Mp. category will be shown later |
2015 | AGM Revision of Beliefs about Action and Time | Doder, Dragan ; Marc van Zee; Mehdi Dastani; Leon van der Torre | Conference Paper | Mp. category will be shown later |
2016 | AGM-Style Revision of Beliefs and Intentions | Doder, Dragan ; Marc van Zee | Conference Paper | Mp. category will be shown later |
2010 | An axiomatization of a first-order branching time temporal logic | Doder, Dragan ; Ognjanović, Zoran ; Zoran Marković | Article | Mp. category will be shown later |
2021 | An Epistemic Probabilistic Logic with Conditional Probabilities (✓) | Dautović, Šejla ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
2013 | Applications of probabilistic and related logics to decision support in medicine | Perović, Aleksandar ; Doder, Dragan ; Ognjanović, Zoran | Book parts | Mp. category will be shown later |