Yasir Mahmood

According to our database, Yasir Mahmood authored at least 24 papers between 2019 and 2025.

Collaborative distances:

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

2025

Neural Reasoning for Robust Instance Retrieval in 𝒮ℋ𝒪I𝒬.

Louis Mozart Kamdem Teyou, Luke Friedrichs, N'Dah Jean Kouagou, Caglar Demir, Yasir Mahmood, Stefan Heindorf, Axel-Cyrille Ngonga Ngomo

CoRR, October, 2025

Why not? Developing ABox Abduction beyond Repairs.

Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan

CoRR, July, 2025

Tree-Based OWL Class Expression Learner over Large Graphs.

Caglar Demir, Moshood Yekini, Michael Röder, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Research Track, 2025

Facets in Argumentation: A Formal Approach to Argument Significance.

Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases.

Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Parameterized complexity of weighted team definability.

Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer

Math. Struct. Comput. Sci., 2024

Parameterised Complexity of Consistent Query Answering via Graph Representations.

Teemu Hankala, Miika Hannula, Yasir Mahmood, Arne Meier

CoRR, 2024

Quantitative Claim-Centric Reasoning in Logic-Based Argumentation.

Markus Hecher, Yasir Mahmood, Arne Meier, Johannes Schmidt

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 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

Rejection in Abstract Argumentation: Harder Than Acceptance?

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

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

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

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

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

Yasir Mahmood, Arne Meier, Johannes Schmidt

Proceedings of the Thirty-Fifth AAAI 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

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

Yasir Mahmood, Arne Meier

Proceedings of the Foundations of Information and Knowledge Systems, 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