Dr. D. (Dragan) Doder

Buys Ballotgebouw
Princetonplein 5
Kamer 5.20
3584 CC Utrecht

Dr. D. (Dragan) Doder

Universitair docent
Intelligent Systems

Publicaties

2024

Wetenschappelijke publicaties

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

Wetenschappelijke publicaties

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

Wetenschappelijke publicaties

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

Wetenschappelijke publicaties

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

Wetenschappelijke publicaties

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