17 Publications
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 | 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
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 | 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
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
2021 | Conference Paper | LibreCat-ID: 45840
Fichte, Johannes, Markus Hecher, Yasir Mahmood, and Arne Meier. “Decomposition-Guided Reductions for Argumentation and Treewidth.” In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2021. https://doi.org/10.24963/ijcai.2021/259.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 45841
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:6426–34. Association for the Advancement of Artificial Intelligence (AAAI), 2021. https://doi.org/10.1609/aaai.v35i7.16797.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45848
Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.” In Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020. https://doi.org/10.1007/978-3-030-39951-1_10.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45818
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterised Complexity of Abduction in Schaefer’s Framework.” In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2020. https://doi.org/10.1007/978-3-030-36755-8_13.
LibreCat
| DOI
Search
Filter Publications
Display / Sort
Export / Embed
17 Publications
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 | 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
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 | 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
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
2021 | Conference Paper | LibreCat-ID: 45840
Fichte, Johannes, Markus Hecher, Yasir Mahmood, and Arne Meier. “Decomposition-Guided Reductions for Argumentation and Treewidth.” In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2021. https://doi.org/10.24963/ijcai.2021/259.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 45841
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:6426–34. Association for the Advancement of Artificial Intelligence (AAAI), 2021. https://doi.org/10.1609/aaai.v35i7.16797.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45848
Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.” In Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020. https://doi.org/10.1007/978-3-030-39951-1_10.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45818
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterised Complexity of Abduction in Schaefer’s Framework.” In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2020. https://doi.org/10.1007/978-3-030-36755-8_13.
LibreCat
| DOI