search
Nederlands Edit
search NL

Dr. D. (Dragan) Doder

Assistant Professor 
Science
Information and computing sciences
AI & Data Science
Intelligent Systems
Intelligent Systems
Buys Ballotgebouw
Princetonplein 5
Kamer 5.20
3584 CC Utrecht

Dr. D. (Dragan) Doder

Assistant Professor
Intelligent Systems
d.doder@uu.nl
Profile Publications Teaching Contact
Profile Publications Teaching Contact
Areas of expertise
Research areas

Publications

2024

Scholarly publications

Motamed, N., Alechina, N., Dastani, M., & Doder, D. (2024). Revising Beliefs and Intentions in Stochastic Environments. In K. Larson (Ed.), Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 (pp. 3513-3522). (IJCAI International Joint Conference on Artificial Intelligence). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/ijcai.2024/389
Amgoud, L., Doder, D., & Lagasquie-Schiex, M. C. (2024). Higher-Order Argumentation Frameworks: Principles and Gradual Semantics. In K. Larson (Ed.), Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 (pp. 3224-3231). (IJCAI International Joint Conference on Artificial Intelligence). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/ijcai.2024/357
Doder, D., & Ognjanovic, Z. (2024). Probabilistic temporal logic with countably additive semantics. Annals of Pure and Applied Logic, 175(9), Article 103389. https://doi.org/10.1016/j.apal.2023.103389

2023

Scholarly publications

Dautovic, S., Doder, D., & Ognjanovic, Z. (2023). Reasoning about knowledge and conditional probability. International Journal of Approximate Reasoning, 163, 1-16. Article 109037. https://doi.org/10.1016/j.ijar.2023.109037
https://dspace.library.uu.nl/bitstream/handle/1874/432384/1-s2.0-S0888613X23001688-main.pdf?sequence=1
Spaans, J., & Doder, D. (2023). Graduality in Probabilistic Argumentation Frameworks. In K. Gal, K. Gal, A. Nowe, G. J. Nalepa, R. Fairstein, & R. Radulescu (Eds.), ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings (Vol. 372, pp. 2186 - 2193). (Frontiers in Artificial Intelligence and Applications; Vol. 372). IOS Press. https://doi.org/10.3233/FAIA230515
Gladyshev, M., Alechina, N., Dastani, M., Doder, D., & Logan, B. (2023). Dynamic Causality. In K. Gal, K. Gal, A. Nowe, G. J. Nalepa, R. Fairstein, & R. Radulescu (Eds.), ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings (Vol. 372, pp. 867-874). (Frontiers in Artificial Intelligence and Applications; Vol. 372). IOS Press. https://doi.org/10.3233/FAIA230355
Gebhardt, S., & Doder, D. (2023). Determining preferences over extensions: a cautious approach to preference-based argumentation frameworks. In Z. Bouraoui, & S. Vesic (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty: The 17th European Conference, ECSQARU 2023 (Vol. 14294, pp. 109-120). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14294 LNAI). Springer. https://doi.org/10.1007/978-3-031-45608-4_9
https://dspace.library.uu.nl/bitstream/handle/1874/436334/978-3-031-45608-4_9.pdf?sequence=1
Doder, D., Amgoud, L., & Vesic, S. (2023). Parametrized Gradual Semantics Dealing with Varied Degrees of Compensation. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023 (pp. 3176-3183). ijcai.org. https://doi.org/10.24963/ijcai.2023/354
https://dspace.library.uu.nl/bitstream/handle/1874/432126/0354.pdf?sequence=1
Dong, H., Doder, D., Li, X., Markovich, R., van der Torre, L., & van Zee, M. (2023). Rights and Practical Reasoning in Deontic Logic. In Deontic Logic and Normative Systems: 16th International Conference, DEON 2023 (pp. 1-19). College Publications. https://www.collegepublications.co.uk/DEON/?00004
https://dspace.library.uu.nl/bitstream/handle/1874/431728/Rights_and_Practical_Reasoning_in_Deontic_Logic.pdf?sequence=1
Motamed, N., Alechina, N., Dastani, M., Doder, D., & Logan, B. (2023). Probabilistic Temporal Logic for Reasoning about Bounded Policies. In E. Elkind (Ed.), Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023 (pp. 3296-3303). IJCAI Organization. https://doi.org/10.24963/ijcai.2023/367
https://dspace.library.uu.nl/bitstream/handle/1874/431610/Probabilistic_Temporal_Logic_for_Reasoning_about_Bounded_Policies.pdf?sequence=1
Gladyshev, M., Alechina, N., Dastani, M., & Doder, D. (2023). Group Responsibility for Exceeding Risk Threshold. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023 (pp. 322-332) https://doi.org/10.24963/kr.2023/32
https://dspace.library.uu.nl/bitstream/handle/1874/431615/kr2023-0032-gladyshev-et-al.pdf?sequence=1
de Wit, V., Doder, D., & Meyer, J.-J. (2023). Probabilistic Deontic Logics for Reasoning about Uncertain Norms. Journal of Applied Logics, 10(2), 193-220.
https://dspace.library.uu.nl/bitstream/handle/1874/428407/Probabilistic_Deontic_Logics.pdf?sequence=2

2022

Scholarly publications

Motamed, N., Alechina, N., Dastani, M., & Doder, D. (2022). A Probabilistic Finite Temporal Logic for Policies and Intentions. Paper presented at International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning 2022 (LAMAS & SR 2022).
https://dspace.library.uu.nl/bitstream/handle/1874/432673/2022_Motamed_EtAl_Probabilistic.pdf?sequence=1
Doder, D., Ognjanovic, Z., Savic, N., & Studer, T. (2022). Incomplete Information and Justifications. In A. Ozgun, & Y. Zinova (Eds.), Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers (pp. 258-278). Springer. https://doi.org/10.1007/978-3-030-98479-3_13
https://dspace.library.uu.nl/bitstream/handle/1874/427329/Language_Logic_and_Computation.pdf?sequence=1
Amgoud, L., Doder, D., & Vesic, S. (2022). Evaluation of argument strength in attack graphs: Foundations and semantics. Artificial Intelligence, 302, 1-61. Article 103607. https://doi.org/10.1016/j.artint.2021.103607

2021

Scholarly publications

Doder, D., Vesic, S., & Croitoru, M. (2021). Ranking Semantics for Argumentation Systems With Necessities. In C. Bessiere (Ed.), IJCAI'20: Twenty-Ninth International Joint Conference on Artificial Intelligence (pp. 1912). International Joint Conferences on Artificial Intelligence Organization.
Dautovic, S., Doder, D., & Ognjanovic, Z. (2021). Logics for Reasoning about Knowledge and Conditional Probability. 19-21. Abstract from 10th International Conference
Logic and Applications, Dubrovnik, Croatia. http://imft.ftn.uns.ac.rs/math/cms/LAP2021
de Wit, V., Doder, D., & Meyer, J.-J. (2021). A Probabilistic Deontic Logic. In J. Vejnarová, & N. Wilson (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings (1 ed., pp. 616-628). (Lecture Notes in Computer Science; Vol. 12897). Springer. https://doi.org/10.1007/978-3-030-86772-0_44
https://dspace.library.uu.nl/bitstream/handle/1874/420297/Wit2021_Chapter_AProbabilisticDeonticLogic.pdf?sequence=1
Dautovic, S., Doder, D., & Ognjanovic, Z. (2021). An Epistemic Probabilistic Logic with Conditional Probabilities. In W. Faber, G. Friedrich, M. Gebser, & M. Morak (Eds.), Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings (1 ed., pp. 279-293). (Lecture Notes in Computer Science; Vol. 12678). Springer. https://doi.org/10.1007/978-3-030-75775-5_19
Dautovic, S., Doder, D., & Ognjanovic, Z. (2021). Logics for reasoning about degrees of confirmation. Journal of Logic and Computation, 31(8), 2189-2217. https://doi.org/10.1093/logcom/exab033
https://dspace.library.uu.nl/bitstream/handle/1874/416342/exab033.pdf?sequence=1

2020

Scholarly publications

Doder, D., & Perovic, A. (2020). Applications of Logics About Simple Probabilities. In Probabilistic Extensions of Various Logical Systems (pp. 165). Springer.
Doder, D., & Perovic, A. (2020). Probabilistic Temporal Logics. In Z. Ognjanovic (Ed.), Probabilistic Extensions of Various Logical Systems (pp. 71). Springer.
Dautovic, S., Doder, D., & Ognjanovic, Z. (2020). Reasoning About Degrees of Confirmation. In M. Dastani, H. Dong, & L. van der Torre (Eds.), Logic and Argumentation: CLAR 2020 (Vol. 12061, pp. 80). (Lecture Notes in Artificial Intelligence). Springer.
Doder, D., Savic, N., & Ognjanovic, Z. (2020). Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. Journal of Logic, Language and Information, 29(1), 77.
Savic, N., Doder, D., & Ognjanovic, Z. (2020). A First-order Logic for Reasoning about Knowledge and Probability. ACM Transactions on Computational Logic, 21(2), 16:1-16:30. https://doi.org/10.1145/3359752
van Zee, M., Doder, D., Torre, L. V. D., Dastani, M., Icard, T., & Pacuit, E. (2020). Intention as commitment toward time. Artificial Intelligence, 283(June 2020), Article 103270. https://doi.org/10.1016/j.artint.2020.103270

Go to

Services

About UU