Structure-Aware Encodings of Argumentation Properties for Clique-width
Y. Mahmood, M. Hecher, J. Groven, J.K. Fichte, Pre-Print of Paper Accepted at AAAI 2026 (2026).

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
P. Koopmann, Y. Mahmood, A.-C. Ngonga Ngomo, B. Tiwari, Pre-Print of Paper Accepted at AAAI 2026 (2026).

Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
Y. Mahmood, M. Hecher, A.-C. Ngonga Ngomo, Proceedings of the AAAI Conference on Artificial Intelligence 39 (2025) 15058–15066.

Logics with probabilistic team semantics and the Boolean negation
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, J. Virtema, Journal of Logic and Computation 35 (2025).

Facets in Argumentation: A Formal Approach to Argument Significance
J. Fichte, N. Fröhlich, M. Hecher, V. Lagerkvist, Y. Mahmood, A. Meier, J. Persson, ArXiv:2505.10982 (2025).

Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).

Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Y. Mahmood, J. Virtema, T. Barlag, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.

Parameterized Complexity of Weighted Team Definability
J. Kontinen, Y. Mahmood, A. Meier, H. Vollmer, Mathematical Structures in Computer Science (2024) 1–15.

Parameterized complexity of weighted team definability
J. Kontinen, Y. Mahmood, A. Meier, H. Vollmer, Mathematical Structures in Computer Science 34 (2024) 375–389.

Dung's Argumentation Framework: Unveiling the Expressive Power with  Inconsistent Databases
Y. Mahmood, M. Hecher, A.-C. Ngonga Ngomo, in: 2024.

Rejection in Abstract Argumentation: Harder Than Acceptance?
J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Frontiers in Artificial Intelligence and Applications, IOS Press, 2024.

Quantitative Claim-Centric Reasoning in Logic-Based Argumentation
M. Hecher, Y. Mahmood, A. Meier, J. Schmidt, in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2024.

Parameterised Complexity of Consistent Query Answering via Graph  Representations
T. Hankala, M. Hannula, Y. Mahmood, A. Meier, ArXiv:2412.08324 (2024).

Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework
Y. Mahmood, A. Meier, J. Schmidt, ACM Transactions on Computational Logic 24 (2023) 1–25.

Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation
J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2023.

Parameterized Complexity of Propositional Inclusion and Independence Logic
Y. Mahmood, J. Virtema, in: Logic, Language, Information, and Computation, Springer Nature Switzerland, Cham, 2023.

Logics with probabilistic team semantics and the Boolean negation
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, J. Virtema, in: 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings, 2023.

Parameterised complexity of model checking and satisfiability in propositional dependence logic
Y. Mahmood, A. Meier, Annals of Mathematics and Artificial Intelligence 90 (2022) 271–296.

A parameterized view on the complexity of dependence and independence logic
J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 1624–1644.

A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2022.