Yasir Mahmood

According to our database, Yasir Mahmood authored at least 31 papers between 2019 and 2026.

Collaborative distances:

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

2026

Diversity of Extensions in Abstract Argumentation.

Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Zhengjun Wang

CoRR, May, 2026

Inconsistent Databases and Argumentation Frameworks with Collective Attacks.

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

CoRR, May, 2026

Rethinking Explanations: Formalizing Contrast in Description Logics.

Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo, Balram Tiwari

CoRR, May, 2026

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics.

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

CoRR, May, 2026

Document-Level Relation Extraction Using Reinforcement Learning with Knowledge Graph Feedback.

Manzoor Ali, Hamada M. Zahera, Muhammad Saleem, Yasir Mahmood, Hashim Khan, René Speck, Axel-Cyrille Ngonga Ngomo

Proceedings of the Semantic Web - 23rd European Semantic Web Conference, 2026

Structure-Aware Encodings of Argumentation Properties for Clique-width.

Yasir Mahmood, Markus Hecher, Johanna Groven, Johannes Klaus Fichte

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

Can You Tell the Difference? Contrastive Explanations for ABox Entailments.

Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

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

Neural Reasoning for Robust Instance Retrieval in SHOIQ.

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

Proceedings of the 13th Knowledge Capture Conference 2025, 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

Why not? Developing ABox Abduction Beyond Repairs.

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

Proceedings of the 38th International Workshop on Description Logics, 2025

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

Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 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