A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. - Dragan Doder; Zoran Markovic; Zoran Ognjanovic; Aleksandar Perovic; Miodrag Raskovic (FoIKS, 2010)

Measures of inconsistency and defaults. - Dragan Doder; Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (Int. J. Approx. Reason., 2010)

An Axiomatization of a First-order Branching Time Temporal Logic. - Dragan Doder; Zoran Ognjanovic; Zoran Markovic (J. Univers. Comput. Sci., 2010)

Probabilistic Approach to Nonmonotonic Consequence Relations. - Dragan Doder; Aleksandar Perovic; Zoran Ognjanovic (ECSQARU, 2011)

A Branching Time Logic with Two Types of Probability Operators. - Zoran Ognjanovic; Dragan Doder; Zoran Markovic (SUM, 2011)

On Real-Valued Evaluation of Propositional Formulas. - Aleksandar Perovic; Dragan Doder; Zoran Ognjanovic (FoIKS, 2012)

A propositional probabilistic logic with discrete linear time for reasoning about evidence. - Zoran Ognjanovic; Zoran Markovic; Miodrag Raskovic; Dragan Doder; Aleksandar Perovic (Ann. Math. Artif. Intell., 2012)

A First-Order Dynamic Probability Logic. - Zoran Ognjanovic; Aleksandar Perovic; Dragan Doder (ECSQARU, 2013)

A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2. - Bojan Marinkovic; Zoran Ognjanovic; Dragan Doder; Aleksandar Perovic (CoRR, 2013)

Probabilistic logics for objects located in space and time. - Dragan Doder; John Grant; Zoran Ognjanovic (J. Log. Comput., 2013)

Probabilistic Abstract Dialectical Frameworks. - Sylwia Polberg; Dragan Doder (JELIA, 2014)

Probabilistic Argumentation Frameworks - A Logical Approach. - Dragan Doder; Stefan Woltran (SUM, 2014)

A propositional linear time logic with time flow isomorphic to ω2. - Bojan Marinkovic; Zoran Ognjanovic; Dragan Doder; Aleksandar Perovic (J. Appl. Log., 2014)

Consistency Conditions for Beliefs and Intentions. - Marc van Zee; Mehdi Dastani; Dragan Doder; Leendert W. N. van der Torre (AAAI Spring Symposia, 2015)

Probabilistic Common Knowledge Among Infinite Number of Agents. - Sinisa Tomovic; Zoran Ognjanovic; Dragan Doder (ECSQARU, 2015)

How to Decrease and Resolve Inconsistency of a Knowledge Base?. - Dragan Doder; Srdjan Vesic (ICAART (2), 2015)

AGM Revision of Beliefs about Action and Time. - Marc van Zee; Dragan Doder; Mehdi Dastani; Leendert W. N. van der Torre (IJCAI, 2015)

A Probabilistic Logic for Reasoning about Uncertain Temporal Information. - Dragan Doder; Zoran Ognjanovic (UAI, 2015)

AGM-Style Revision of Beliefs and Intentions. - Marc van Zee; Dragan Doder (ECAI, 2016)

Ranking Arguments With Compensation-Based Semantics. - Leila Amgoud; Jonathan Ben-Naim; Dragan Doder; Srdjan Vesic (KR, 2016)

AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version). - Marc van Zee; Dragan Doder (CoRR, 2016)

A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities. - Nenad Savic; Dragan Doder; Zoran Ognjanovic (ECSQARU, 2017)

Acceptability Semantics for Weighted Argumentation Frameworks. - Leila Amgoud; Jonathan Ben-Naim; Dragan Doder; Srdjan Vesic (IJCAI, 2017)

Logics with lower and upper probability operators. - Nenad Savic; Dragan Doder; Zoran Ognjanovic (Int. J. Approx. Reason., 2017)

Probabilistic Logics with Independence and Confirmation. - Dragan Doder; Zoran Ognjanovic (Stud Logica, 2017)

A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators. - Dragan Doder; Nenad Savic; Zoran Ognjanovic (FoIKS, 2018)

Gradual Semantics Accounting for Similarity between Arguments. - Leila Amgoud; Elise Bonzon; Jérôme Delobelle; Dragan Doder; Sébastien Konieczny; Nicolas Maudet (KR, 2018)

Gradual Semantics for Weighted Graphs: An Unifying Approach. - Leila Amgoud; Dragan Doder (KR, 2018)

Gradual Semantics Accounting for Varied-Strength Attacks. - Leila Amgoud; Dragan Doder (AAMAS, 2019)

Similarity Measures Between Arguments Revisited. - Leila Amgoud; Victor David; Dragan Doder (ECSQARU, 2019)

Probabilistic Logic for Reasoning About Actions in Time. - Sejla Dautovic; Dragan Doder (ECSQARU, 2019)

Probabilistic Consensus of the Blockchain Protocol. - Bojan Marinkovic; Paola Glavan; Zoran Ognjanovic; Dragan Doder; Thomas Studer (ECSQARU, 2019)

Compilation of Logical Arguments. - Leila Amgoud; Dragan Doder (IJCAI, 2019)

Incomplete Information and Justifications. - Dragan Doder; Zoran Ognjanovic; Nenad Savic; Thomas Studer (TbiLLC, 2019)

Reasoning About Degrees of Confirmation. - Sejla Dautovic; Dragan Doder; Zoran Ognjanovic (CLAR, 2020)

Ranking Semantics for Argumentation Systems With Necessities. - Dragan Doder; Srdjan Vesic; Madalina Croitoru (IJCAI, 2020)

Intention as commitment toward time. - Marc van Zee; Dragan Doder; Leon van der Torre; Mehdi Dastani; Thomas Icard; Eric Pacuit (Artif. Intell., 2020)

Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. - Dragan Doder; Nenad Savic; Zoran Ognjanovic (J. Log. Lang. Inf., 2020)

A First-order Logic for Reasoning about Knowledge and Probability. - Sinisa Tomovic; Zoran Ognjanovic; Dragan Doder (ACM Trans. Comput. Log., 2020)

A Probabilistic Deontic Logic. - Vincent de Wit; Dragan Doder; John-Jules Ch. Meyer (ECSQARU, 2021)

An Epistemic Probabilistic Logic with Conditional Probabilities. - Sejla Dautovic; Dragan Doder; Zoran Ognjanovic (JELIA, 2021)

Logics for reasoning about degrees of confirmation. - Sejla Dautovic; Dragan Doder; Zoran Ognjanovic (J. Log. Comput., 2021)

Evaluation of argument strength in attack graphs: Foundations and semantics. - Leila Amgoud; Dragan Doder; Srdjan Vesic (Artif. Intell., 2022)

Rights and Practical Reasoning in Deontic Logic. - Huimin Dong; Dragan Doder; Xu Li 037; Réka Markovich; Leendert van der Torre; Marc van Zee (DEON, 2023)

Dynamic Causality. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder; Brian Logan 001 (ECAI, 2023)

Graduality in Probabilistic Argumentation Frameworks. - Jeroen Paul Spaans; Dragan Doder (ECAI, 2023)

Determining Preferences over Extensions: A Cautious Approach to Preference-Based Argumentation Frameworks. - Saul Gebhardt; Dragan Doder (ECSQARU, 2023)

Dynamics of Causal Dependencies in Multi-agent Settings. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder (EMAS, 2023)

Parametrized Gradual Semantics Dealing with Varied Degrees of Compensation. - Dragan Doder; Leila Amgoud; Srdjan Vesic (IJCAI, 2023)

Probabilistic Temporal Logic for Reasoning about Bounded Policies. - Nima Motamed; Natasha Alechina; Mehdi Dastani; Dragan Doder; Brian Logan 001 (IJCAI, 2023)

Group Responsibility for Exceeding Risk Threshold. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder (KR, 2023)

Probabilistic Deontic Logics for Reasoning about Uncertain Norms. - Vincent de Wit; Dragan Doder; John-Jules Ch. Meyer (FLAP, 2023)

Reasoning about knowledge and conditional probability. - Sejla Dautovic; Dragan Doder; Zoran Ognjanovic (Int. J. Approx. Reason., 2023)

Higher-Order Argumentation Frameworks: Principles and Gradual Semantics. - Leila Amgoud; Dragan Doder; Marie-Christine Lagasquie-Schiex (IJCAI, 2024)

Revising Beliefs and Intentions in Stochastic Environments. - Nima Motamed; Natasha Alechina; Mehdi Dastani; Dragan Doder (IJCAI, 2024)

Probabilistic temporal logic with countably additive semantics. - Dragan Doder; Zoran Ognjanovic (Ann. Pure Appl. Log., 2024)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder; Brian Logan 001 (AAAI, 2025)

Reasoning about group responsibility for exceeding risk threshold in one-shot games. - Maksim Gladyshev; Natasha Alechina; Mehdi Dastani; Dragan Doder (Inf. Comput., 2025)