Dragan Doder

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 38

Top Topics

Probabilistic Logic

Practical Reasoning

Argumentation Frameworks

Top Venues

Publications

Dragan Doder, Zoran Ognjanovic
Probabilistic temporal logic with countably additive semantics. Ann. Pure Appl. Log. 175 (9) (2024)
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder
Group Responsibility for Exceeding Risk Threshold. KR (2023)
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder
Dynamics of Causal Dependencies in Multi-agent Settings. EMAS (2023)
Huimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre, Marc van Zee
Rights and Practical Reasoning in Deontic Logic. DEON (2023)
Sejla Dautovic, Dragan Doder, Zoran Ognjanovic
Reasoning about knowledge and conditional probability. Int. J. Approx. Reason. 163 (2023)
Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
Probabilistic Temporal Logic for Reasoning about Bounded Policies. IJCAI (2023)
Saul Gebhardt, Dragan Doder
Determining Preferences over Extensions: A Cautious Approach to Preference-Based Argumentation Frameworks. ECSQARU (2023)
Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer
Probabilistic Deontic Logics for Reasoning about Uncertain Norms. FLAP 10 (2) (2023)
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan
Dynamic Causality. ECAI (2023)
Dragan Doder, Leila Amgoud, Srdjan Vesic
Parametrized Gradual Semantics Dealing with Varied Degrees of Compensation. IJCAI (2023)
Jeroen Spaans, Dragan Doder
Graduality in Probabilistic Argumentation Frameworks. ECAI (2023)
Leila Amgoud, Dragan Doder, Srdjan Vesic
Evaluation of argument strength in attack graphs: Foundations and semantics. Artif. Intell. 302 (2022)
Sejla Dautovic, Dragan Doder, Zoran Ognjanovic
Logics for reasoning about degrees of confirmation. J. Log. Comput. 31 (8) (2021)
Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer
A Probabilistic Deontic Logic. ECSQARU (2021)
Sejla Dautovic, Dragan Doder, Zoran Ognjanovic
An Epistemic Probabilistic Logic with Conditional Probabilities. JELIA (2021)
Dragan Doder, Nenad Savic, Zoran Ognjanovic
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. J. Log. Lang. Inf. 29 (1) (2020)
Dragan Doder, Srdjan Vesic, Madalina Croitoru
Ranking Semantics for Argumentation Systems With Necessities. IJCAI (2020)
Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder
A First-order Logic for Reasoning about Knowledge and Probability. ACM Trans. Comput. Log. 21 (2) (2020)
Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas F. Icard III, Eric Pacuit
Intention as commitment toward time. Artif. Intell. 283 (2020)
Sejla Dautovic, Dragan Doder, Zoran Ognjanovic
Reasoning About Degrees of Confirmation. CLAR (2020)
Marc van Zee, Dragan Doder, Leendert W. N. van der Torre, Mehdi Dastani, Thomas F. Icard III, Eric Pacuit
Intention as Commitment toward Time. CoRR (2020)
Leila Amgoud, Dragan Doder
Gradual Semantics Accounting for Varied-Strength Attacks. AAMAS (2019)
Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder
A First-Order Logic for Reasoning about Knowledge and Probability. CoRR (2019)
Sejla Dautovic, Dragan Doder
Probabilistic Logic for Reasoning About Actions in Time. ECSQARU (2019)
Leila Amgoud, Dragan Doder
Compilation of Logical Arguments. IJCAI (2019)
Leila Amgoud, Victor David, Dragan Doder
Similarity Measures Between Arguments Revisited. ECSQARU (2019)
Dragan Doder, Zoran Ognjanovic, Nenad Savic, Thomas Studer
Incomplete Information and Justifications. TbiLLC (2019)
Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Dragan Doder, Thomas Studer
Probabilistic Consensus of the Blockchain Protocol. ECSQARU (2019)
Dragan Doder, Nenad Savic, Zoran Ognjanovic
A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. FoIKS (2018)
Leila Amgoud, Elise Bonzon, Jérôme Delobelle, Dragan Doder, Sébastien Konieczny, Nicolas Maudet
Gradual Semantics Accounting for Similarity between Arguments. KR (2018)
Leila Amgoud, Dragan Doder
Gradual Semantics for Weighted Graphs: An Unifying Approach. KR (2018)
Dragan Doder, Zoran Ognjanovic
Probabilistic Logics with Independence and Confirmation. Stud Logica 105 (5) (2017)
Nenad Savic, Dragan Doder, Zoran Ognjanovic
A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. ECSQARU (2017)
Nenad Savic, Dragan Doder, Zoran Ognjanovic
Logics with lower and upper probability operators. Int. J. Approx. Reason. 88 (2017)
Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic
Acceptability Semantics for Weighted Argumentation Frameworks. IJCAI (2017)
Marc van Zee, Dragan Doder
AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version). CoRR (2016)
Marc van Zee, Dragan Doder
AGM-Style Revision of Beliefs and Intentions. ECAI (2016)
Leila Amgoud, Jonathan Ben-Naim, Dragan Doder, Srdjan Vesic
Ranking Arguments With Compensation-Based Semantics. KR (2016)
Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert W. N. van der Torre
Consistency Conditions for Beliefs and Intentions. AAAI Spring Symposia (2015)
Dragan Doder, Zoran Ognjanovic
A Probabilistic Logic for Reasoning about Uncertain Temporal Information. UAI (2015)
Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre
AGM Revision of Beliefs about Action and Time. IJCAI (2015)
Dragan Doder, Srdjan Vesic
How to Decrease and Resolve Inconsistency of a Knowledge Base?. ICAART (2) (2015)
Sinisa Tomovic, Zoran Ognjanovic, Dragan Doder
Probabilistic Common Knowledge Among Infinite Number of Agents. ECSQARU (2015)
Sylwia Polberg, Dragan Doder
Probabilistic Abstract Dialectical Frameworks. JELIA (2014)
Dragan Doder, Stefan Woltran
Probabilistic Argumentation Frameworks - A Logical Approach. SUM (2014)
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
. J. Appl. Log. 12 (2) (2014)
Dragan Doder, John Grant, Zoran Ognjanovic
Probabilistic logics for objects located in space and time. J. Log. Comput. 23 (3) (2013)
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2. CoRR (2013)
Zoran Ognjanovic, Aleksandar Perovic, Dragan Doder
A First-Order Dynamic Probability Logic. ECSQARU (2013)
Aleksandar Perovic, Dragan Doder, Zoran Ognjanovic
On Real-Valued Evaluation of Propositional Formulas. FoIKS (2012)
Zoran Ognjanovic, Zoran Markovic, Miodrag Raskovic, Dragan Doder, Aleksandar Perovic
A propositional probabilistic logic with discrete linear time for reasoning about evidence. Ann. Math. Artif. Intell. 65 (2-3) (2012)
Zoran Ognjanovic, Dragan Doder, Zoran Markovic
A Branching Time Logic with Two Types of Probability Operators. SUM (2011)
Dragan Doder, Aleksandar Perovic, Zoran Ognjanovic
Probabilistic Approach to Nonmonotonic Consequence Relations. ECSQARU (2011)
Dragan Doder, Zoran Ognjanovic, Zoran Markovic
An Axiomatization of a First-order Branching Time Temporal Logic. J. Univers. Comput. Sci. 16 (11) (2010)
Dragan Doder, Zoran Markovic, Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic
A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. FoIKS (2010)
Dragan Doder, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic
Measures of inconsistency and defaults. Int. J. Approx. Reason. 51 (7) (2010)