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).

Document-level Relation Extraction using Reinforcement Learning with Knowledge Graph Feedback
A. Manzoor, H.M. Zahera, M. Saleem, Y. Mahmood, R. Speck, H. Khan, A.-C. Ngonga Ngomo, in: The Semantic Web – 23rd European Semantic Web Conference, ESWC 2026, Dubrovnik , Croatia, May 10-14, 2026, Proceedings, 2026.

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
P. Koopmann, Y. Mahmood, A.-C. Ngonga Ngomo, B. Tiwari, in: Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI), 2026, pp. 19189–19197.

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: 2026.

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

Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: L. Tendera, Y. Ibanez Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics - DL 2025, 2025.

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

Tree-Based OWL Class Expression Learner over Large Graphs
C. Demir, M.O. Yekini, M. Röder, Y. Mahmood, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2025.

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).

Neural Reasoning for Robust Instance Retrieval in SHOIQ
L.M. Kamdem Teyou, L. Friedrichs, N.J. Kouagou, C. Demir, Y. Mahmood, S. Heindorf, A.-C. Ngonga Ngomo, in: 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.