Dragan Doder - RankMe

64 papers A* 14A 5B 3C 10Journal 21Unranked 10

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