Yasir Mahmood

41 papers A* 8A 1B 2C 1Misc 2Journal 22Unranked 4
YearRankTypeTitle / Venue / Authors
2026 A* conf
Can You Tell the Difference? Contrastive Explanations for ABox Entailments.
AAAI
Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari
2026 A* conf
Structure-Aware Encodings of Argumentation Properties for Clique-width.
AAAI
Yasir Mahmood, Markus Hecher, Johanna Groven, Johannes Klaus Fichte
2025 J jnl
Can You Tell the Difference? Contrastive Explanations for ABox Entailments.
CoRR
Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari
2025 A* conf
Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases.
AAAI
Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo
2025 A* conf
Facets in Argumentation: A Formal Approach to Argument Significance.
IJCAI
Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson
2025 J jnl
Facets in Argumentation: A Formal Approach to Argument Significance.
CoRR
Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson
2025 J jnl
Logics with probabilistic team semantics and the Boolean negation.
J. Log. Comput.
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2025 B conf
Neural Reasoning for Robust Instance Retrieval in SHOIQ.
K-CAP
Louis Mozart Kamdem Teyou, Luke Friedrichs, N'Dah Jean Kouagou, Caglar Demir, Yasir Mahmood, Stefan Heindorf, Axel-Cyrille Ngonga Ngomo
2025 J jnl
Neural Reasoning for Robust Instance Retrieval in 𝒮ℋ𝒪I𝒬.
CoRR
Louis Mozart Kamdem Teyou, Luke Friedrichs, N'Dah Jean Kouagou, Caglar Demir, Yasir Mahmood, Stefan Heindorf, Axel-Cyrille Ngonga Ngomo
2025 J jnl
Structure-Aware Encodings of Argumentation Properties for Clique-width.
CoRR
Yasir Mahmood, Markus Hecher, Johanna Groven, Johannes Klaus Fichte
2025 — conf
Tree-Based OWL Class Expression Learner over Large Graphs.
ECML/PKDD (3)
Caglar Demir, Moshood Yekini, Michael Röder, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo
2025 — conf
Why not? Developing ABox Abduction Beyond Repairs.
DL
Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
2025 J jnl
Why not? Developing ABox Abduction beyond Repairs.
CoRR
Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
2024 — conf
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.
FoIKS
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
2024 J jnl
Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases.
CoRR
Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo
2024 J jnl
Parameterised Complexity of Consistent Query Answering via Graph Representations.
CoRR
Teemu Hankala, Miika Hannula, Yasir Mahmood, Arne Meier
2024 J jnl
Parameterized complexity of weighted team definability.
Math. Struct. Comput. Sci.
Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer
2024 A* conf
Quantitative Claim-Centric Reasoning in Logic-Based Argumentation.
IJCAI
Markus Hecher, Yasir Mahmood, Arne Meier, Johannes Schmidt
2024 A conf
Rejection in Abstract Argumentation: Harder Than Acceptance?
ECAI
Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier
2024 J jnl
Rejection in Abstract Argumentation: Harder Than Acceptance?
CoRR
Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier
2023 J jnl
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.
CoRR
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
2023 B conf
Logics with Probabilistic Team Semantics and the Boolean Negation.
JELIA
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2023 J jnl
Logics with probabilistic team semantics and the Boolean negation.
CoRR
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2023 J jnl
Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework.
ACM Trans. Comput. Log.
Yasir Mahmood, Arne Meier, Johannes Schmidt
2023 C conf
Parameterized Complexity of Propositional Inclusion and Independence Logic.
WoLLIC
Yasir Mahmood, Jonni Virtema
2023 J jnl
Parameterized Complexity of Weighted Team Definability.
CoRR
Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer
2023 A* conf
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation.
IJCAI
Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier
2022 Misc conf
A Parameterized View on the Complexity of Dependence Logic.
LFCS
Juha Kontinen, Arne Meier, Yasir Mahmood
2022 J jnl
A parameterized view on the complexity of dependence and independence logic.
J. Log. Comput.
Juha Kontinen, Arne Meier, Yasir Mahmood
2022 J jnl
Parameterised complexity of model checking and satisfiability in propositional dependence logic.
Ann. Math. Artif. Intell.
Yasir Mahmood, Arne Meier
2022 — —
Parameterized aspects of team-based formalisms and logical inference
Yasir Mahmood
2021 J jnl
A Parameterized View on the Complexity of Dependence Logic.
CoRR
Juha Kontinen, Arne Meier, Yasir Mahmood
2021 A* conf
Decomposition-Guided Reductions for Argumentation and Treewidth.
IJCAI
Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier
2021 J jnl
Parameterised Complexity of Propositional Logic in Team Semantics.
CoRR
Yasir Mahmood, Jonni Virtema
2021 A* conf
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework.
AAAI
Yasir Mahmood, Arne Meier, Johannes Schmidt
2021 J jnl
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework.
CoRR
Yasir Mahmood, Arne Meier, Johannes Schmidt
2021 J jnl
Parameterized complexity of abduction in Schaefer's framework.
J. Log. Comput.
Yasir Mahmood, Arne Meier, Johannes Schmidt
2020 Misc conf
Parameterised Complexity of Abduction in Schaefer's Framework.
LFCS
Yasir Mahmood, Arne Meier, Johannes Schmidt
2020 — conf
Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.
FoIKS
Yasir Mahmood, Arne Meier
2019 J jnl
Parameterised Complexity for Abduction.
CoRR
Yasir Mahmood, Arne Meier, Johannes Schmidt
2019 J jnl
Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.
CoRR
Yasir Mahmood, Arne Meier