Matthias Thimm

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 114

Top Venues

COMMA

CoRR

Artif. Intell.

Publications

Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner
Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation. RATIO (2024)
Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant
Paraconsistent reasoning for inconsistency measurement in declarative process specifications. Inf. Syst. 122 (2024)
Sandra Hoffmann, Isabelle Kuhlmann, Matthias Thimm
Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study. RATIO (2024)
Lars Bengel, Lydia Blümel, Tjitze Rienstra, Matthias Thimm
Argumentation-Based Probabilistic Causal Reasoning. RATIO (2024)
Kai Sauerwald, Matthias Thimm
The Realizability of Revision and Contraction Operators in Epistemic Spaces. CoRR (2024)
Lars Bengel, Matthias Thimm, Tjitze Rienstra
Learning argumentation frameworks from labelings. Argument Comput. 15 (2) (2024)
Jonas Klein, Isabelle Kuhlmann, Matthias Thimm
Cluster-Specific Rule Mining for Argumentation-Based Classification. RATIO (2024)
Lydia Blümel, Matthias Thimm
Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. KR (2023)
Matthias Thimm
On Undisputed Sets in Abstract Argumentation. AAAI (2023)
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artif. Intell. 317 (2023)
Isabelle Kuhlmann, Matthias Thimm
A Discussion of Challenges in Benchmark Generation for Abstract Argumentation. Arg&App@KR (2023)
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
Joining Formal and Cognitive Reasoning. FLAP 10 (2) (2023)
Jesse Heyninck, Kenneth Skiba, Matthias Thimm
Preface for the special issue on argument strength. Argument Comput. 14 (3) (2023)
Jandson S. Ribeiro, Matthias Thimm
Measuring Inconsistency with the Tableau Method. FLAP 10 (5) (2023)
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement. CoRR (2023)
Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner
Ranking-based Semantics for Assumption-based Argumentation. FCR@KI (2023)
Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo
MaxSAT-Based Inconsistency Measurement. ECAI (2023)
Lars Bengel, Matthias Thimm
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation. KR (2023)
Kenneth Skiba, Matthias Thimm
Ordinal Conditional Functions for Abstract Argumentation. COMMA (2022)
Lars Bengel, Lydia Blümel, Tjitze Rienstra, Matthias Thimm
Argumentation-based Causal and Counterfactual Reasoning. ArgXAI@COMMA (2022)
Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm
Explaining Argument Acceptance in ADFs. ArgXAI@COMMA (2022)
Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba
Conditional Abstract Dialectical Frameworks. AAAI (2022)
Matthias Thimm
Revisiting initial sets in abstract argumentation. CoRR (2022)
Isabelle Kuhlmann, Thorsten Wujek, Matthias Thimm
On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation. COMMA (2022)
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
Possibilistic Logic Underlies Abstract Dialectical Frameworks. IJCAI (2022)
Lydia Blümel, Matthias Thimm
A Ranking Semantics for Abstract Argumentation Based on Serialisability. COMMA (2022)
Carl Corea, John Grant, Matthias Thimm
Measuring Inconsistency in Declarative Process Specifications. CoRR (2022)
Lars Bengel, Matthias Thimm
Serialisable Semantics for Abstract Argumentation. COMMA (2022)
Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner
Realisability of Rankings-based Semantics. SAFA@COMMA (2022)
Matthias Thimm
Revisiting initial sets in abstract argumentation. Argument Comput. 13 (3) (2022)
Jonas Klein, Isabelle Kuhlmann, Matthias Thimm
Graph Neural Networks for Algorithm Selection in Abstract Argumentation. ArgML@COMMA (2022)
Jonas Klein, Matthias Thimm
probo2: A Benchmark Framework for Argumentation Solvers. COMMA (2022)
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure. SUM (2022)
Lukas Kinder, Matthias Thimm, Bart Verheij
A Labeling Based Backtracking Solver for Abstract Argumentation. SAFA@COMMA (2022)
Carl Corea, John Grant, Matthias Thimm
Measuring Inconsistency in Declarative Process Specifications. BPM (2022)
Carl Corea, Matthias Thimm, Patrick Delfmann
Measuring Inconsistency over Sequences of Business Rule Cases. KR (2021)
Matthias Thimm, Federico Cerutti, Mauro Vallati
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions. IJCAI (2021)
Carl Corea, Matthias Thimm, Patrick Delfmann
Measuring Inconsistency over Sequences of Business Rule Cases. CoRR (2021)
Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner
Ranking Extensions in Abstract Argumentation. IJCAI (2021)
Elina Unruh, Patrick Delfmann, Matthias Thimm
Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures. CBI (1) (2021)
Matthias Thimm, Federico Cerutti, Mauro Vallati
Fudge: A light-weight solver for abstract argumentation based on SAT reductions. CoRR (2021)
Jandson S. Ribeiro, Matthias Thimm
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. KR (2021)
Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. Ann. Math. Artif. Intell. 89 (10-11) (2021)
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
Revision and Conditional Inference for Abstract Dialectical Frameworks. KR (2021)
Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm
Preface. FLAP 8 (6) (2021)
Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm
Distinguishability in Abstract Argumentation. KR (2021)
Xiaoting Shao, Tjitze Rienstra, Matthias Thimm, Kristian Kersting
Towards Understanding and Arguing with Classifiers: Recent Progress. Datenbank-Spektrum 20 (2) (2020)
Tjitze Rienstra, Matthias Thimm, Kristian Kersting, Xiaoting Shao
Independence and D-separation in Abstract Argumentation. KR (2020)
Jonas Klein, Matthias Thimm
Revisiting SAT Techniques for Abstract Argumentation. COMMA (2020)
Markus Ulbricht, Matthias Thimm, Gerhard Brewka
Handling and measuring inconsistency in non-monotonic logics. Artif. Intell. 286 (2020)
Jandson S. Ribeiro, Viorica Sofronie-Stokkermans, Matthias Thimm
Measuring Disagreement with Interpolants. SUM (2020)
Federico Cerutti, Matthias Thimm, Mauro Vallati
An experimental analysis on the similarity of argumentation semantics. Argument Comput. 11 (3) (2020)
Kenneth Skiba, Matthias Thimm, Andrea Cohen, Sebastian Gottifredi, Alejandro Javier García
Abstract Argumentation Frameworks with Fallible Evidence. COMMA (2020)
Carl Corea, Matthias Thimm
Towards Inconsistency Measurement in Business Rule Bases. ECAI (2020)
Xiaoting Shao, Zhongjie Yu, Arseny Skryagin, Tjitze Rienstra, Matthias Thimm, Kristian Kersting
Modelling Multivariate Ranking Functions with Min-Sum Networks. SUM (2020)
Matthias Thimm, Federico Cerutti, Mauro Vallati
On Computing the Set of Acceptable Arguments in Abstract Argumentation. COMMA (2020)
Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. FLAIRS Conference (2020)
Anthony Hunter, Sylwia Polberg, Matthias Thimm
Epistemic graphs for representing and reasoning with positive and negative influences of arguments. Artif. Intell. 281 (2020)
Carl Corea, Matthias Thimm
On quasi-inconsistency and its complexity. Artif. Intell. 284 (2020)
Isabelle Kuhlmann, Matthias Thimm
An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming. SUM (2020)
Matthias Thimm, Tjitze Rienstra
Approximate Reasoning with ASPIC+ by Argument Sampling. SAFA@COMMA (2020)
Kenneth Skiba, Matthias Thimm
Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics. CoRR (2020)
Isabelle Kuhlmann, Matthias Thimm
Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study. SUM (2019)
Gerhard Brewka, Matthias Thimm, Markus Ulbricht
Strong inconsistency. Artif. Intell. 267 (2019)
Matthias Thimm, Johannes Peter Wallner
On the complexity of inconsistency measurement. Artif. Intell. 275 (2019)
Carl Corea, Matthias Thimm
Towards Inconsistency Measurement in Business Rule Bases. CoRR (2019)
Matthias Thimm
Algorithmic Approaches to Computational Models of Argumentation. FQAS (2019)
Matthias Thimm
Inconsistency Measurement. SUM (2019)
Federico Cerutti, Matthias Thimm
A general approach to reasoning with probabilities. Int. J. Approx. Reason. 111 (2019)
Matthias Thimm
An Experimental Study on the Behaviour of Inconsistency Measures. SUM (2019)
Anthony Hunter, Sylwia Polberg, Matthias Thimm
Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments. CoRR (2018)
Matthias Thimm
Stochastic Local Search Algorithms for Abstract Argumentation Under Stable Semantics. COMMA (2018)
Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre
Probabilistic Abstract Argumentation Based on SCC Decomposability. KR (2018)
Matthias Thimm, Sylwia Polberg, Anthony Hunter
Epistemic Attack Semantics. COMMA (2018)
Matthias Thimm, Federico Cerutti, Tjitze Rienstra
Probabilistic Graded Semantics. COMMA (2018)
Markus Ulbricht, Matthias Thimm, Gerhard Brewka
Measuring Strong Inconsistency. AAAI (2018)
Tjitze Rienstra, Matthias Thimm
Ranking Functions over Labelings. COMMA (2018)
Federico Cerutti, Matthias Thimm
A General Approach to Reasoning with Probabilities - Extended Abstract. KR (2018)
Daniel Janke, Steffen Staab, Matthias Thimm
Impact analysis of data placement strategies on query efforts in distributed RDF stores. J. Web Semant. 50 (2018)
Mehdi Teymourlouie, Ahmad Zaeri, Mohammadali Nematbakhsh, Matthias Thimm, Steffen Staab
Detecting hidden errors in an ontology using contextual knowledge. Expert Syst. Appl. 95 (2018)
Nils Geilen, Matthias Thimm
Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation. TAFA (2017)
Matthias Thimm
On the Expressivity of Inconsistency Measures (Extended Abstract). IJCAI (2017)
Matthias Thimm
The Formal Argumentation Libraries of Tweety. TAFA (2017)
Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Ricardo Simari, Matthias Thimm, Serena Villata
Towards Artificial Argumentation. AI Mag. 38 (3) (2017)
Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation. FLAP 4 (8) (2017)
Nico Potyka, Matthias Thimm
Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. Int. J. Approx. Reason. 88 (2017)
Daniel Janke, Steffen Staab, Matthias Thimm
On data placement strategies in distributed RDF stores. SBD@SIGMOD (2017)
Sylwia Polberg, Anthony Hunter, Matthias Thimm
Belief in Attacks in Epistemic Probabilistic Argumentation. SUM (2017)
Matthias Thimm
The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. Künstliche Intell. 31 (1) (2017)
Daniel Janke, Steffen Staab, Matthias Thimm
Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. BLINK/NLIWoD3@ISWC (2017)
Daniel Janke, Steffen Staab, Matthias Thimm
Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. ISWC (Posters, Demos & Industry Tracks) (2017)
Gerhard Brewka, Matthias Thimm, Markus Ulbricht
Strong Inconsistency in Nonmonotonic Reasoning. IJCAI (2017)
Souhila Kaci, Robert Mercer, Matthias Thimm
Editorial. J. Appl. Log. 22 (2017)
Matthias Thimm
Measuring inconsistency with many-valued logics. Int. J. Approx. Reason. 86 (2017)
Cristina Sarasua, Steffen Staab, Matthias Thimm
Methods for Intrinsic Evaluation of Links in the Web of Data. ESWC (1) (2017)
Anthony Hunter, Matthias Thimm
Probabilistic Reasoning with Abstract Argumentation Frameworks. J. Artif. Intell. Res. 59 (2017)
Matthias Thimm
On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. Künstliche Intell. 31 (1) (2017)
Matthias Thimm, Serena Villata
The first international competition on computational models of argumentation: Results and analysis. Artif. Intell. 252 (2017)
Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig
Probabilities on Extensions in Abstract Argumentation. TAFA (2017)
Anthony Hunter, Matthias Thimm
Optimization of dialectical outcomes in dialogical argumentation. Int. J. Approx. Reason. 78 (2016)

Matthias Thimm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Thimm