Follow
Dragan Doder
Title
Cited by
Cited by
Year
Acceptability semantics for weighted argumentation frameworks
L Amgoud, J Ben-Naim, D Doder, S Vesic
Twenty-Sixth International Joint Conference on Artificial Intelligence …, 2017
982017
Measures of inconsistency and defaults
D Doder, M Rašković, Z Marković, Z Ognjanović
International Journal of Approximate Reasoning 51 (7), 832-845, 2010
572010
Ranking arguments with compensation-based semantics
L Amgoud, J Ben-Naim, D Doder, S Vesic
Fifteenth International Conference on the Principles of Knowledge …, 2016
552016
Probabilistic argumentation frameworks–a logical approach
D Doder, S Woltran
Scalable Uncertainty Management: 8th International Conference, SUM 2014 …, 2014
412014
Probabilistic abstract dialectical frameworks
S Polberg, D Doder
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014
362014
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-3), 217-243, 2012
32*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
262015
Gradual semantics accounting for varied-strength attacks
L Amgoud, D Doder
18th International Conference on Autonomous Agents and MultiAgent Systems …, 2019
212019
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
212012
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
192011
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.
D Doder, Z Markovic, Z Ognjanovic, A Perovic, M Raskovic
FoIKS, 9-24, 2010
192010
Probabilistic logics with independence and confirmation
D Doder, Z Ognjanović
Studia Logica 105, 943-969, 2017
182017
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
182014
A logic with conditional probability operators
D Doder, B Marinković, P Maksimović, A Perović
Publications de l'Institut Mathematique 87 (107), 85-96, 2010
182010
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
182010
Logics with lower and upper probability operators
N Savić, D Doder, Z Ognjanović
International journal of approximate reasoning 88, 148-168, 2017
172017
Probabilistic common knowledge among infinite number of agents
S Tomović, Z Ognjanović, D Doder
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th …, 2015
162015
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
162011
A Probabilistic Logic for Reasoning about Uncertain Temporal Information.
D Doder, Z Ognjanovic
UAI, 248-257, 2015
152015
Evaluation of argument strength in attack graphs: Foundations and semantics
L Amgoud, D Doder, S Vesic
Artificial Intelligence 302, 103607, 2022
142022
The system can't perform the operation now. Try again later.
Articles 1–20