Matthias Thimm
13 papers · 2013–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (13) π Conference Polyglot Β· Bronze π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver 𧬠Topic Evolution
π
Keyword Champion
(2)
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
π
Century Club Β· Bronze
Venues
Top co-authors
Research topics
Keywords
abstract argumentation
(5)
complexity analysis
(3)
abstract dialectical framework
(3)
computational complexity
(3)
argumentation semantics
(3)
argumentation framework
(2)
preferred extension
(2)
inconsistency measurement
(2)
sat solver
(1)
approximation algorithm
(1)
polynomial hierarchy
(1)
non-monotonic reasoning
(1)
belief change
(1)
assumption-based argumentation
(1)
independence relation
(1)
propositional logic
(1)
initial model
(1)
recursive structure
(1)
formal argumentation
(1)
knowledge base
(1)
Papers
Initial Models and Serialisability in Abstract Dialectical Frameworks
IJCAI 2025
On Independence and SCC-Recursiveness in Assumption-Based Argumentation
IJCAI 2025
Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics
IJCAI 2024
On Undisputed Sets in Abstract Argumentation
AAAI 2023
Conditional Abstract Dialectical Frameworks
AAAI 2022
Possibilistic Logic Underlies Abstract Dialectical Frameworks
IJCAI 2022
Ranking Extensions in Abstract Argumentation
IJCAI 2021
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions
IJCAI 2021
On the Expressivity of Inconsistency Measures (Extended Abstract)
IJCAI 2017
Strong Inconsistency in Nonmonotonic Reasoning
IJCAI 2017
Group Decision Making via Probabilistic Belief Merging
IJCAI 2016
Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures
IJCAI 2015
Opponent Models with Uncertainty for Strategic Argumentation
IJCAI 2013