Matthias Thimm

Full Professor, FernUniversität in Hagen

Joined

June 2024

Names

Matthias Thimm (Preferred)

Emails

****@fernuni-hagen.de (Confirmed)

Personal Links

Career & Education History

Full Professor

FernUniversität in Hagen (fernuni-hagen.de)

2021 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Paraconsistent reasoning for inconsistency measurement in declarative process specifications
Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant
- Inf. Syst. 2024
- Readers: Everyone
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
- Artif. Intell. 2023
- Readers: Everyone
On Undisputed Sets in Abstract Argumentation
Matthias Thimm
- AAAI 2023
- Readers: Everyone
Measuring Inconsistency with the Tableau Method
Jandson S. Ribeiro, Matthias Thimm
- FLAP 2023
- Readers: Everyone
MaxSAT-Based Inconsistency Measurement
Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo
- ECAI 2023
- Readers: Everyone
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
- CoRR 2023
- Readers: Everyone
Joining Formal and Cognitive Reasoning
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
- FLAP 2023
- Readers: Everyone
Preface for the special issue on argument strength
Jesse Heyninck, Kenneth Skiba, Matthias Thimm
- Argument Comput. 2023
- Readers: Everyone
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation
Lars Bengel, Matthias Thimm
- KR 2023
- Readers: Everyone
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics
Lydia Blümel, Matthias Thimm
- KR 2023
- Readers: Everyone

View all 158 publications

Co-Authors

View all 91 co-authors