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
Profile Publications Teaching Contact
Profile Publications Teaching Contact
Areas of expertise
Research areas

Publications

2024

Scholarly publications

Doder, D., & Ognjanovic, Z. (2024). Probabilistic temporal logic with countably additive semantics. Annals of Pure and Applied Logic. https://www.sciencedirect.com/science/article/pii/S016800722300146X

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
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 Symbolic and Quantitative Approaches to Reasoning with Uncertainty: The 17th European Conference, ECSQARU 2023 (Vol. 14294, pp. 109-120). (Lecture Notes in Computer Science). Springer Cham. https://link.springer.com/chapter/10.1007/978-3-031-45608-4_9
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
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.org. https://doi.org/10.24963/ijcai.2023/367
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
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. http://collegepublications.co.uk/ifcolog/?00058

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
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 Cham. https://doi.org/10.1007/978-3-030-86772-0_44
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 Cham. 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

2020

Scholarly publications

Doder, D., & Perovic, A. (2020). Applications of Logics About Simple Probabilities. In Probabilistic Extensions of Various Logical Systems (pp. 165). Springer Cham.
Doder, D., & Perovic, A. (2020). Probabilistic Temporal Logics. In Z. Ognjanovic (Ed.), Probabilistic Extensions of Various Logical Systems (pp. 71). Springer Cham.
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