Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. - Yasir Mahmood 002; Arne Meier (CoRR, 2019)

Parameterised Complexity for Abduction. - Yasir Mahmood 002; Arne Meier; Johannes Schmidt 001 (CoRR, 2019)

Parameterised Complexity of Abduction in Schaefer's Framework. - Yasir Mahmood 002; Arne Meier; Johannes Schmidt 001 (LFCS, 2020)

Decomposition-Guided Reductions for Argumentation and Treewidth. - Johannes Klaus Fichte; Markus Hecher; Yasir Mahmood 002; Arne Meier (IJCAI, 2021)

Parameterised Complexity of Propositional Logic in Team Semantics. - Yasir Mahmood 002; Jonni Virtema (CoRR, 2021)

Parameterized complexity of abduction in Schaefer's framework. - Yasir Mahmood 002; Arne Meier; Johannes Schmidt 001 (J. Log. Comput., 2021)

A Parameterized View on the Complexity of Dependence Logic. - Juha Kontinen; Arne Meier; Yasir Mahmood 002 (LFCS, 2022)

Parameterised complexity of model checking and satisfiability in propositional dependence logic. - Yasir Mahmood 002; Arne Meier (Ann. Math. Artif. Intell., 2022)

A parameterized view on the complexity of dependence and independence logic. - Juha Kontinen; Arne Meier; Yasir Mahmood 002 (J. Log. Comput., 2022)

Parameterized aspects of team-based formalisms and logical inference - Yasir Mahmood 002 (2022)

Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation. - Johannes Klaus Fichte; Markus Hecher; Yasir Mahmood 002; Arne Meier (IJCAI, 2023)

Parameterized Complexity of Propositional Inclusion and Independence Logic. - Yasir Mahmood 002; Jonni Virtema (WoLLIC, 2023)

Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework. - Yasir Mahmood 002; Arne Meier; Johannes Schmidt 001 (ACM Trans. Comput. Log., 2023)

Rejection in Abstract Argumentation: Harder Than Acceptance? - Johannes Klaus Fichte; Markus Hecher; Yasir Mahmood 002; Arne Meier (ECAI, 2024)

Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. - Yasir Mahmood 002; Jonni Virtema; Timon Barlag; Axel-Cyrille Ngonga Ngomo (FoIKS, 2024)

Quantitative Claim-Centric Reasoning in Logic-Based Argumentation. - Markus Hecher; Yasir Mahmood 002; Arne Meier; Johannes Schmidt 001 (IJCAI, 2024)

Parameterised Complexity of Consistent Query Answering via Graph Representations. - Teemu Hankala; Miika Hannula; Yasir Mahmood 002; Arne Meier (CoRR, 2024)

Parameterized complexity of weighted team definability. - Juha Kontinen; Yasir Mahmood 002; Arne Meier; Heribert Vollmer (Math. Struct. Comput. Sci., 2024)

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases. - Yasir Mahmood 002; Markus Hecher; Axel-Cyrille Ngonga Ngomo (AAAI, 2025)

Logics with probabilistic team semantics and the Boolean negation. - Miika Hannula; Minna Hirvonen; Juha Kontinen; Yasir Mahmood 002; Arne Meier; Jonni Virtema (J. Log. Comput., 2025)

Facets in Argumentation: A Formal Approach to Argument Significance. - Johannes Klaus Fichte; Nicolas Fröhlich 001; Markus Hecher; Victor Lagerkvist; Yasir Mahmood 002; Arne Meier; Jonathan Persson (CoRR, 2025)