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.
24 Publications
2025 | Journal Article | LibreCat-ID: 59910
Mahmood, Yasir, Markus Hecher, and Axel-Cyrille Ngonga Ngomo. “Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases.” Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 14 (2025): 15058–66. https://doi.org/10.1609/aaai.v39i14.33651.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 59912
Hannula, Miika, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, and Jonni Virtema. “Logics with Probabilistic Team Semantics and the Boolean Negation.” Journal of Logic and Computation 35, no. 3 (2025). https://doi.org/10.1093/logcom/exaf021.
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 54580
Mahmood, Yasir, Jonni Virtema, Timon Barlag, and Axel-Cyrille Ngonga Ngomo. “Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.” In Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-56940-1_2.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 54092
Kontinen, Juha, Yasir Mahmood, Arne Meier, and Heribert Vollmer. “Parameterized Complexity of Weighted Team Definability.” Mathematical Structures in Computer Science, 2024, 1–15. https://doi.org/10.1017/S0960129524000033.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 59911
Kontinen, Juha, Yasir Mahmood, Arne Meier, and Heribert Vollmer. “Parameterized Complexity of Weighted Team Definability.” Mathematical Structures in Computer Science 34, no. 5 (2024): 375–89. https://doi.org/10.1017/s0960129524000033.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 58377
Mahmood, Yasir, Markus Hecher, and Axel-Cyrille Ngonga Ngomo. “Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases,” 2024. https://doi.org/10.1609/AAAI.V39I14.33651.
LibreCat
| DOI
| arXiv
2024 | Book Chapter | LibreCat-ID: 57238
Fichte, Johannes K., Markus Hecher, Yasir Mahmood, and Arne Meier. “Rejection in Abstract Argumentation: Harder Than Acceptance?” In Frontiers in Artificial Intelligence and Applications. IOS Press, 2024. https://doi.org/10.3233/faia240867.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 55655
Hecher, Markus, Yasir Mahmood, Arne Meier, and Johannes Schmidt. “Quantitative Claim-Centric Reasoning in Logic-Based Argumentation.” In Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2024. https://doi.org/10.24963/ijcai.2024/377.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 54577
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework.” ACM Transactions on Computational Logic 24, no. 3 (2023): 1–25. https://doi.org/10.1145/3582499.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 54578
Fichte, Johannes K., Markus Hecher, Yasir Mahmood, and Arne Meier. “Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation.” In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2023. https://doi.org/10.24963/ijcai.2023/358.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 54579
Mahmood, Yasir, and Jonni Virtema. “Parameterized Complexity of Propositional Inclusion and Independence Logic.” In Logic, Language, Information, and Computation. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-39784-4_17.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 54089
Hannula, Miika, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, and Jonni Virtema. “Logics with Probabilistic Team Semantics and the Boolean Negation.” In 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings, 2023.
LibreCat
2022 | Journal Article | LibreCat-ID: 45849
Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.” Annals of Mathematics and Artificial Intelligence 90, no. 2–3 (2022): 271–96. https://doi.org/10.1007/s10472-021-09730-w.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence and Independence Logic.” Journal of Logic and Computation 32, no. 8 (2022): 1624–44. https://doi.org/10.1093/logcom/exac070.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 45846
Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence Logic.” In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2022. https://doi.org/10.1007/978-3-030-93100-1_9.
LibreCat
| DOI