Segui
Dragan Doder
Titolo
Citata da
Citata da
Anno
Acceptability semantics for weighted argumentation frameworks
L Amgoud, J Ben-Naim, D Doder, S Vesic
Twenty-Sixth International Joint Conference on Artificial Intelligence …, 2017
1462017
Measures of inconsistency and defaults
D Doder, M Rašković, Z Marković, Z Ognjanović
International Journal of Approximate Reasoning 51 (7), 832-845, 2010
612010
Ranking arguments with compensation-based semantics
L Amgoud, J Ben-Naim, D Doder, S Vesic
Fifteenth International Conference on the Principles of Knowledge …, 2016
602016
Evaluation of argument strength in attack graphs: Foundations and semantics
L Amgoud, D Doder, S Vesic
Artificial Intelligence 302, 103607, 2022
452022
Probabilistic argumentation frameworks–a logical approach
D Doder, S Woltran
International Conference on Scalable Uncertainty Management, 134-147, 2014
452014
Gradual semantics accounting for varied-strength attacks
L Amgoud, D Doder
18th International Conference on Autonomous Agents and MultiAgent Systems …, 2019
372019
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), 217-243, 2012
36*2012
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
262015
A logic with conditional probability operators
D Doder, B Marinković, P Maksimović, A Perović
Publications de l'Institut Mathematique 87 (107), 85-96, 2010
232010
Probabilistic logics with independence and confirmation
D Doder, Z Ognjanović
Studia Logica 105, 943-969, 2017
212017
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
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
212010
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
202014
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
202010
Logics with lower and upper probability operators
N Savić, D Doder, Z Ognjanović
International Journal of Approximate Reasoning 88, 148-168, 2017
192017
A Probabilistic Logic for Reasoning about Uncertain Temporal Information.
D Doder, Z Ognjanovic
UAI, 248-257, 2015
192015
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
182011
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
182011
Probabilistic common knowledge among infinite number of agents
S Tomović, Z Ognjanović, D Doder
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th …, 2015
172015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20