Yasir Mahmood

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 21

Top Topics

Propositional Logic

Hybrid Probabilistic Logic Programs

Parameterized Complexity

Top Venues

J. Log. Comput.

Publications

Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. FoIKS (2024)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with Probabilistic Team Semantics and the Boolean Negation. JELIA (2023)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with probabilistic team semantics and the Boolean negation. CoRR (2023)
Yasir Mahmood, Arne Meier, Johannes Schmidt
Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework. ACM Trans. Comput. Log. 24 (3) (2023)
Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation. IJCAI (2023)
Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer
Parameterized Complexity of Weighted Team Definability. CoRR (2023)
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. CoRR (2023)
Yasir Mahmood, Jonni Virtema
Parameterized Complexity of Propositional Inclusion and Independence Logic. WoLLIC (2023)
Yasir Mahmood, Arne Meier
Parameterised complexity of model checking and satisfiability in propositional dependence logic. Ann. Math. Artif. Intell. 90 (2) (2022)
Juha Kontinen, Arne Meier, Yasir Mahmood
A Parameterized View on the Complexity of Dependence Logic. LFCS (2022)
Juha Kontinen, Arne Meier, Yasir Mahmood
A parameterized view on the complexity of dependence and independence logic. J. Log. Comput. 32 (8) (2022)
Yasir Mahmood, Arne Meier, Johannes Schmidt
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework. CoRR (2021)
Juha Kontinen, Arne Meier, Yasir Mahmood
A Parameterized View on the Complexity of Dependence Logic. CoRR (2021)
Yasir Mahmood, Jonni Virtema
Parameterised Complexity of Propositional Logic in Team Semantics. CoRR (2021)
Yasir Mahmood, Arne Meier, Johannes Schmidt
Parameterized complexity of abduction in Schaefer's framework. J. Log. Comput. 31 (1) (2021)
Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier
Decomposition-Guided Reductions for Argumentation and Treewidth. IJCAI (2021)
Yasir Mahmood, Arne Meier, Johannes Schmidt
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework. AAAI (2021)
Yasir Mahmood, Arne Meier
Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. FoIKS (2020)
Yasir Mahmood, Arne Meier, Johannes Schmidt
Parameterised Complexity of Abduction in Schaefer's Framework. LFCS (2020)
Yasir Mahmood, Arne Meier
Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. CoRR (2019)
Yasir Mahmood, Arne Meier, Johannes Schmidt
Parameterised Complexity for Abduction. CoRR (2019)