Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

26 Publications


2026 | Preprint | LibreCat-ID: 62723
Y. Mahmood, M. Hecher, J. Groven, and J. K. Fichte, “Structure-Aware Encodings of Argumentation Properties for Clique-width,” Pre-print of paper accepted at AAAI 2026. 2026.
LibreCat | arXiv
 

2026 | Preprint | LibreCat-ID: 62721
P. Koopmann, Y. Mahmood, A.-C. Ngonga Ngomo, and B. Tiwari, “Can You Tell the Difference? Contrastive Explanations for ABox Entailments,” Pre-print of paper accepted at AAAI 2026. 2026.
LibreCat | arXiv
 

2025 | Journal Article | LibreCat-ID: 59912
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, and J. Virtema, “Logics with probabilistic team semantics and the Boolean negation,” Journal of Logic and Computation, vol. 35, no. 3, 2025, doi: 10.1093/logcom/exaf021.
LibreCat | DOI
 

2025 | Preprint | LibreCat-ID: 61066
J. Fichte et al., “Facets in Argumentation: A Formal Approach to Argument Significance,” arXiv:2505.10982. 2025.
LibreCat | arXiv
 

2025 | Conference Paper | LibreCat-ID: 63572
C. Demir, M. O. Yekini, M. Röder, Y. Mahmood, and A.-C. Ngonga Ngomo, “Tree-Based OWL Class Expression Learner over Large Graphs,” presented at the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Porto, 2025, doi: 10.1007/978-3-032-06066-2_29.
LibreCat | DOI
 

2025 | Preprint | LibreCat-ID: 61065
A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox Abduction beyond Repairs,” arXiv:2507.21955. 2025.
LibreCat | arXiv
 

2025 | Conference Paper | LibreCat-ID: 63888
A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox Abduction beyond Repairs,” in Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, 2025.
LibreCat | Download (ext.)
 

2025 | Conference Paper | LibreCat-ID: 59910
Y. Mahmood, M. Hecher, and A.-C. Ngonga Ngomo, “Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases,” in Proceedings of the AAAI Conference on Artificial Intelligence, 2025, vol. 39, no. 14, pp. 15058–15066, doi: 10.1609/aaai.v39i14.33651.
LibreCat | DOI
 

2024 | Book Chapter | LibreCat-ID: 54580
Y. Mahmood, J. Virtema, T. Barlag, and A.-C. Ngonga Ngomo, “Computing Repairs Under Functional and Inclusion Dependencies via Argumentation,” in Lecture Notes in Computer Science, Cham: Springer Nature Switzerland, 2024.
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 54092
J. Kontinen, Y. Mahmood, A. Meier, and H. Vollmer, “Parameterized Complexity of Weighted Team Definability,” Mathematical Structures in Computer Science, pp. 1–15, 2024, doi: 10.1017/S0960129524000033.
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 59911
J. Kontinen, Y. Mahmood, A. Meier, and H. Vollmer, “Parameterized complexity of weighted team definability,” Mathematical Structures in Computer Science, vol. 34, no. 5, pp. 375–389, 2024, doi: 10.1017/s0960129524000033.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 58377
Y. Mahmood, M. Hecher, and A.-C. Ngonga Ngomo, “Dung’s Argumentation Framework: Unveiling the Expressive Power with  Inconsistent Databases,” 2024, doi: 10.1609/AAAI.V39I14.33651.
LibreCat | DOI | arXiv
 

2024 | Book Chapter | LibreCat-ID: 57238
J. K. Fichte, M. Hecher, Y. Mahmood, and A. Meier, “Rejection in Abstract Argumentation: Harder Than Acceptance?,” in Frontiers in Artificial Intelligence and Applications, IOS Press, 2024.
LibreCat | DOI
 

2024 | Conference Paper | LibreCat-ID: 55655
M. Hecher, Y. Mahmood, A. Meier, and J. Schmidt, “Quantitative Claim-Centric Reasoning in Logic-Based Argumentation,” 2024, doi: 10.24963/ijcai.2024/377.
LibreCat | DOI
 

2024 | Preprint | LibreCat-ID: 57814
T. Hankala, M. Hannula, Y. Mahmood, and A. Meier, “Parameterised Complexity of Consistent Query Answering via Graph  Representations,” arXiv:2412.08324. 2024.
LibreCat | arXiv
 

2023 | Journal Article | LibreCat-ID: 54577
Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework,” ACM Transactions on Computational Logic, vol. 24, no. 3, pp. 1–25, 2023, doi: 10.1145/3582499.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 54578
J. K. Fichte, M. Hecher, Y. Mahmood, and A. Meier, “Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation,” 2023, doi: 10.24963/ijcai.2023/358.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 54579
Y. Mahmood and J. Virtema, “Parameterized Complexity of Propositional Inclusion and Independence Logic,” in Logic, Language, Information, and Computation, Cham: Springer Nature Switzerland, 2023.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 54089
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, and J. Virtema, “Logics with probabilistic team semantics and the Boolean negation,” 2023.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 45849
Y. Mahmood and A. Meier, “Parameterised complexity of model checking and satisfiability in propositional dependence logic,” Annals of Mathematics and Artificial Intelligence, vol. 90, no. 2–3, pp. 271–296, 2022, doi: 10.1007/s10472-021-09730-w.
LibreCat | DOI
 

Filters and Search Terms

(person=99353)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed