Yasir Mahmood
8 papers
· 2021–2026
· 2 conferences
· across top CS/AI conferences
Achievements
๐
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)