Matthias Thimm
13 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
🧭 Keyword Pioneer 🐝 Cross-Pollinator (9) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (12) 🌈 Renaissance Researcher (5)
🌉
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
On Independence and SCC-Recursiveness in Assumption-Based Argumentation
IJCAI 2025
Initial Models and Serialisability in Abstract Dialectical Frameworks
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
Strong Inconsistency in Nonmonotonic Reasoning
IJCAI 2017
On the Expressivity of Inconsistency Measures (Extended Abstract)
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