Thimm, Matthias

17 publications

JAIR 2025 Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm

IJCAI 2025 Initial Models and Serialisability in Abstract Dialectical Frameworks Lars Bengel, Matthias Thimm

IJCAI 2025 On Independence and SCC-Recursiveness in Assumption-Based Argumentation Lydia Blümel, Anna Rapberger, Matthias Thimm, Francesca Toni

IJCAI 2024 Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics Matthias Thimm

AAAI 2023 On Undisputed Sets in Abstract Argumentation Matthias Thimm

AAAI 2022 Conditional Abstract Dialectical Frameworks Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba

IJCAI 2022 Possibilistic Logic Underlies Abstract Dialectical Frameworks Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm

IJCAI 2021 Ranking Extensions in Abstract Argumentation Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner

IJCAI 2021 Skeptical Reasoning with Preferred Semantics in Abstract Argumentation Without Computing Preferred Extensions Matthias Thimm, Federico Cerutti, Mauro Vallati

AAAI 2018 Measuring Strong Inconsistency Markus Ulbricht, Matthias Thimm, Gerhard Brewka

IJCAI 2017 On the Expressivity of Inconsistency Measures (Extended Abstract) Matthias Thimm

JAIR 2017 Probabilistic Reasoning with Abstract Argumentation Frameworks Anthony Hunter, Matthias Thimm

IJCAI 2017 Strong Inconsistency in Nonmonotonic Reasoning Gerhard Brewka, Matthias Thimm, Markus Ulbricht

IJCAI 2016 Group Decision Making via Probabilistic Belief Merging Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt

IJCAI 2015 Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures Nico Potyka, Matthias Thimm

IJCAI 2013 Opponent Models with Uncertainty for Strategic Argumentation Tjitze Rienstra, Matthias Thimm, Nir Oren

UAI 2009 Measuring Inconsistency in Probabilistic Knowledge Bases Matthias Thimm