Dragan Doder
Cited by
Cited by
Acceptability semantics for weighted argumentation frameworks
L Amgoud, J Ben-Naim, D Doder, S Vesic
Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Measures of inconsistency and defaults
D Doder, M Rašković, Z Marković, Z Ognjanović
International Journal of Approximate Reasoning 51 (7), 832-845, 2010
Ranking arguments with compensation-based semantics
L Amgoud, J Ben-Naim, D Doder, S Vesic
Fifteenth International Conference on the Principles of Knowledge …, 2016
Probabilistic argumentation frameworks–a logical approach
D Doder, S Woltran
International Conference on Scalable Uncertainty Management, 134-147, 2014
Probabilistic abstract dialectical frameworks
S Polberg, D Doder
European Workshop on Logics in Artificial Intelligence, 591-599, 2014
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Z Ognjanović, Z Marković, M Rašković, D Doder, A Perović
Annals of Mathematics and Artificial Intelligence 65 (2), 217-243, 2012
AGM revision of beliefs about action and time
M Van Zee, D Doder, M Dastani, L Van Der Torre
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Probabilistic logics for objects located in space and time
D Doder, J Grant, Z Ognjanović
Journal of Logic and Computation 23 (3), 487-515, 2012
Gradual semantics accounting for varied-strength attacks
L Amgoud, D Doder
18th International Conference on Autonomous Agents and MultiAgent Systems …, 2019
A probabilistic temporal logic that can model reasoning about evidence
D Doder, Z Marković, Z Ognjanović, A Perović, M Rašković
International Symposium on Foundations of Information and Knowledge Systems …, 2010
A logic with conditional probability operators
D Doder, B Marinković, P Maksimović, A Perović
Publications de l'Institut Mathematique 87 (107), 85-96, 2010
Probabilistic logics with independence and confirmation
D Doder, Z Ognjanović
Studia Logica 105 (5), 943-969, 2017
A branching time logic with two types of probability operators
Z Ognjanović, D Doder, Z Marković
International Conference on Scalable Uncertainty Management, 219-232, 2011
An Axiomatization of a First-order Branching Time Temporal Logic.
D Doder, Z Ognjanovic, Z Markovic
J. Univers. Comput. Sci. 16 (11), 1439-1451, 2010
A propositional linear time logic with time flow isomorphic to ω2
B Marinković, Z Ognjanović, D Doder, A Perović
Journal of Applied Logic 12 (2), 208-229, 2014
Logics with lower and upper probability operators
N Savić, D Doder, Z Ognjanović
International journal of approximate reasoning 88, 148-168, 2017
A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P
D Doder
Publications de l'Institut Mathématique 90 (104), 13-22, 2011
Probabilistic common knowledge among infinite number of agents
S Tomović, Z Ognjanović, D Doder
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2015
A Probabilistic Logic for Reasoning about Uncertain Temporal Information.
D Doder, Z Ognjanovic
UAI, 248-257, 2015
Gradual semantics accounting for similarity between arguments
L Amgoud, E Bonzon, J Delobelle, D Doder, S Konieczny, N Maudet
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
The system can't perform the operation now. Try again later.
Articles 1–20