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
Evaluation of argument strength in attack graphs: Foundations and semantics
L Amgoud, D Doder, S Vesic
Artificial Intelligence 302, 103607, 2022
Probabilistic abstract dialectical frameworks
S Polberg, D Doder
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 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
Gradual semantics accounting for varied-strength attacks
L Amgoud, D Doder
18th International Conference on Autonomous Agents and MultiAgent Systems …, 2019
AGM revision of beliefs about action and time
M Van Zee, D Doder, M Dastani, L van der Torre
Proceedings of the 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
Probabilistic logics with independence and confirmation
D Doder, Z Ognjanović
Studia Logica 105, 943-969, 2017
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
A logic with conditional probability operators
D Doder, B Marinković, P Maksimović, A Perović
Publications de l'Institut Mathématique 87 (107), 85-96, 2010
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 probabilistic temporal logic that can model reasoning about evidence
D Doder, Z Marković, Z Ognjanović, A Perović, M Rašković
Foundations of Information and Knowledge Systems: 6th International …, 2010
Logics with lower and upper probability operators
N Savić, D Doder, Z Ognjanović
International Journal of Approximate Reasoning 88, 148-168, 2017
A branching time logic with two types of probability operators
Z Ognjanović, D Doder, Z Marković
Scalable Uncertainty Management: 5th International Conference, SUM 2011 …, 2011
A Probabilistic Logic for Reasoning about Uncertain Temporal Information.
D Doder, Z Ognjanovic
UAI, 248-257, 2015
Probabilistic common knowledge among infinite number of agents
S Tomović, Z Ognjanović, D Doder
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th …, 2015
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
The system can't perform the operation now. Try again later.
Articles 1–20