Yasir Mahmood

According to our database, Yasir Mahmood authored at least 16 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.

Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework.

Yasir Mahmood, Arne Meier, Johannes Schmidt

ACM Trans. Comput. Log., 2023

Parameterized Complexity of Weighted Team Definability.

Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer

CoRR, 2023

Parameterized Complexity of Propositional Inclusion and Independence Logic.

Yasir Mahmood, Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2023

Logics with Probabilistic Team Semantics and the Boolean Negation.

Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation.

Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Parameterized aspects of team-based formalisms and logical inference

Yasir Mahmood

PhD thesis, 2022

A parameterized view on the complexity of dependence and independence logic.

Juha Kontinen, Arne Meier, Yasir Mahmood

J. Log. Comput., 2022

Parameterised complexity of model checking and satisfiability in propositional dependence logic.

Yasir Mahmood, Arne Meier

Ann. Math. Artif. Intell., 2022

A Parameterized View on the Complexity of Dependence Logic.

Juha Kontinen, Arne Meier, Yasir Mahmood

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021

Parameterized complexity of abduction in Schaefer's framework.

Yasir Mahmood, Arne Meier, Johannes Schmidt

J. Log. Comput., 2021

Parameterised Complexity of Propositional Logic in Team Semantics.

Yasir Mahmood, Jonni Virtema

CoRR, 2021

Decomposition-Guided Reductions for Argumentation and Treewidth.

Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Parameterised Complexity of Abduction in Schaefer's Framework.

Yasir Mahmood, Arne Meier, Johannes Schmidt

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

2019

Parameterised Complexity for Abduction.

Yasir Mahmood, Arne Meier, Johannes Schmidt

CoRR, 2019

Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.

Yasir Mahmood, Arne Meier

CoRR, 2019