Yasir Mahmood
8 papers · 2021–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🏃 Academic Marathon (5) 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer
🗺️
Taxonomy Completionist
(13)
❓
The Questioner
Conferences
AAAI (4)
IJCAI (4)
Top co-authors
Keywords
argumentation framework
(6)
logic-based argumentation
(3)
computational complexity
(3)
abstract argumentation
(2)
knowledge base
(2)
credulous reasoning
(2)
parameterized complexity
(2)
propositional logic
(1)
sat encoding
(1)
contrastive explanation
(1)
fixed-parameter tractable
(1)
semantic equivalence
(1)
nonmonotonic reasoning
(1)
inconsistent database
(1)
database repair
(1)
polynomial time translation
(1)
repair semantics
(1)
skeptical reasoning
(1)
extension enumeration
(1)
decomposition-guided reduction
(1)
Papers
Structure-Aware Encodings of Argumentation Properties for Clique-width
AAAI 2026
Can You Tell the Difference? Contrastive Explanations for ABox Entailments
AAAI 2026
Facets in Argumentation: A Formal Approach to Argument Significance
IJCAI 2025
Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
AAAI 2025
Quantitative Claim-Centric Reasoning in Logic-Based Argumentation
IJCAI 2024
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation
IJCAI 2023
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework
AAAI 2021
Decomposition-Guided Reductions for Argumentation and Treewidth
IJCAI 2021