Publications
2025
Scholarly publications
Abderrazik, H., & Doder, D. (2025). First Steps Towards Forgetting in ASPIC+. In K. Sauerwald, & M. Thimm (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 18th European Conference, ECSQARU 2025, Proceedings (pp. 411-423). (Lecture Notes in Computer Science; Vol. 16099 LNCS). Springer. [DOI]
Gladyshev, M., Alechina, N., Dastani, M., Doder, D., & Logan, B. (2025). Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models. In T. Walsh, J. Shah, & Z. Kolter (Eds.), Special Track on AI Alignment (14 ed., pp. 14949-14957). (Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 39, No. 14). Association for the Advancement of Artificial Intelligence. [DOI] [Portal]
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. [DOI] [Portal]
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. [DOI] [Portal]
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. [DOI] [Repository]
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. [DOI] [Repository]
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. [DOI] [Repository]
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. [DOI] [Repository]
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. [DOI] [Repository]
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 [Repository]
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. [DOI] [Repository]
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) [DOI] [Repository]
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. [Repository]
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). [Repository]
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. [DOI] [Repository]
Amgoud, L., Doder, D., & Vesic, S. (2022). Evaluation of argument strength in attack graphs: Foundations and semantics. Artificial Intelligence, 302, 1-61. Article 103607. [DOI] [Repository]
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
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. [DOI] [Repository]
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. [DOI] [Repository]
Dautovic, S., Doder, D., & Ognjanovic, Z. (2021). Logics for reasoning about degrees of confirmation. Journal of Logic and Computation, 31(8), 2189-2217. [DOI] [Repository]
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.
Tomovic, S., Ognjanovic, Z., & Doder, D. (2020). A First-order Logic for Reasoning about Knowledge and Probability. ACM Transactions on Computational Logic, 21(2), 16:1-16:30. [DOI]
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. [DOI]