Matthias Thimm
13 papers
· 2013–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Cross-Pollinator
(9)
π§
Keyword Pioneer
πΊοΈ
Taxonomy Completionist
(13)
π
Conference Polyglot
(2)
π
Academic Marathon
(12)
π
Interdisciplinary Bridge
π
Renaissance Researcher
(5)
πΊ
Lone Wolf
(3)
π
Keyword Champion
(2)
π§¬
Topic Evolution
π
Conference Pioneer
π
Century Club
(13)
π₯
Unstoppable
(5)
Conferences
IJCAI (11)
AAAI (2)
Top co-authors
Keywords
abstract argumentation
(5)
computational complexity
(3)
abstract dialectical framework
(3)
complexity analysis
(3)
argumentation semantics
(3)
inconsistency measurement
(2)
preferred extension
(2)
argumentation framework
(2)
sat solver
(1)
belief change
(1)
approximation algorithm
(1)
nonmonotonic reasoning
(1)
assumption-based argumentation
(1)
initial model
(1)
recursive structure
(1)
propositional logic
(1)
independence relation
(1)
polynomial hierarchy
(1)
formal argumentation
(1)
knowledge base
(1)
Papers
Ranking Extensions in Abstract Argumentation
IJCAI 2021