| 2025 | IJCAI | Initial Models and Serialisability in Abstract Dialectical Frameworks. | Lars Bengel, Matthias Thimm |
| 2025 | IJCAI | On Independence and SCC-Recursiveness in Assumption-Based Argumentation. | Lydia Blmel, Anna Rapberger, Matthias Thimm, Francesca Toni |
| 2025 | KR | Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming. | Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann, Matthias Thimm |
| 2025 | KR | A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation. | Lars Bengel, Julian Sander, Matthias Thimm |
| 2025 | KR | Sequence Explanations for Acceptance in Abstract Argumentation. | Lars Bengel, Matthias Thimm |
| 2025 | KR | A Framework for Inconsistency-tolerant Reasoning with Sets of Models. | Yehia Hatab, Kai Sauerwald, Matthias Thimm |
| 2024 | ECAI | Characterising Serialisation Equivalence for Abstract Argumentation. | Lars Bengel, Julian Sander, Matthias Thimm |
| 2024 | ECAI | Revisiting Vacuous Reduct Semantics for Abstract Argumentation. | Lydia Blmel, Matthias Thimm |
| 2024 | IJCAI | Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics. | Matthias Thimm |
| 2024 | KR | The Realizability of Revision and Contraction Operators in Epistemic Spaces. | Kai Sauerwald, Matthias Thimm |
| 2024 | KR | Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility. | Kenneth Skiba, Matthias Thimm |
| 2023 | AAAI | On Undisputed Sets in Abstract Argumentation. | Matthias Thimm |
| 2023 | ECAI | MaxSAT-Based Inconsistency Measurement. | Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Jrvisalo |
| 2023 | KI | Ranking-based Semantics for Assumption-based Argumentation. | Kenneth Skiba, Matthias Thimm, Johannes P. Wallner |
| 2023 | KR | Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation. | Lars Bengel, Matthias Thimm |
| 2023 | KR | Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. | Lydia Blmel, Matthias Thimm |
| 2023 | KR | A Discussion of Challenges in Benchmark Generation for Abstract Argumentation. | Isabelle Kuhlmann, Matthias Thimm |
| 2022 | AAAI | Conditional Abstract Dialectical Frameworks. | Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba |
| 2022 | BPM | Measuring Inconsistency in Declarative Process Specifications. | Carl Corea, John Grant, Matthias Thimm |
| 2022 | COMMA | Argumentation-based Causal and Counterfactual Reasoning. | Lars Bengel, Lydia Blmel, Tjitze Rienstra, Matthias Thimm |
| 2022 | COMMA | Serialisable Semantics for Abstract Argumentation. | Lars Bengel, Matthias Thimm |
| 2022 | COMMA | A Ranking Semantics for Abstract Argumentation Based on Serialisability. | Lydia Blmel, Matthias Thimm |
| 2022 | COMMA | A Labeling Based Backtracking Solver for Abstract Argumentation. | Lukas Kinder, Matthias Thimm, Bart Verheij |
| 2022 | COMMA | Graph Neural Networks for Algorithm Selection in Abstract Argumentation. | Jonas Klein, Isabelle Kuhlmann, Matthias Thimm |
| 2022 | COMMA | probo2: A Benchmark Framework for Argumentation Solvers. | Jonas Klein, Matthias Thimm |
| 2022 | COMMA | On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation. | Isabelle Kuhlmann, Thorsten Wujek, Matthias Thimm |
| 2022 | COMMA | Explaining Argument Acceptance in ADFs. | Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm |
| 2022 | COMMA | Ordinal Conditional Functions for Abstract Argumentation. | Kenneth Skiba, Matthias Thimm |
| 2022 | COMMA | Realisability of Rankings-based Semantics. | Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner |
| 2022 | IJCAI | Possibilistic Logic Underlies Abstract Dialectical Frameworks. | Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm |
| 2021 | IJCAI | Ranking Extensions in Abstract Argumentation. | Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner |
| 2021 | IJCAI | Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions. | Matthias Thimm, Federico Cerutti, Mauro Vallati |
| 2021 | KR | Measuring Inconsistency over Sequences of Business Rule Cases. | Carl Corea, Matthias Thimm, Patrick Delfmann |
| 2021 | KR | Revision and Conditional Inference for Abstract Dialectical Frameworks. | Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm |
| 2021 | KR | Distinguishability in Abstract Argumentation. | Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm |
| 2021 | KR | Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. | Jandson S. Ribeiro, Matthias Thimm |
| 2020 | COMMA | Revisiting SAT Techniques for Abstract Argumentation. | Jonas Klein, Matthias Thimm |
| 2020 | COMMA | Abstract Argumentation Frameworks with Fallible Evidence. | Kenneth Skiba, Matthias Thimm, Andrea Cohen, Sebastian Gottifredi, Alejandro Javier Garca |
| 2020 | COMMA | On Computing the Set of Acceptable Arguments in Abstract Argumentation. | Matthias Thimm, Federico Cerutti, Mauro Vallati |
| 2020 | COMMA | Approximate Reasoning with ASPIC+ by Argument Sampling. | Matthias Thimm, Tjitze Rienstra |
| 2020 | ECAI | Towards Inconsistency Measurement in Business Rule Bases. | Carl Corea, Matthias Thimm |
| 2020 | FlAIRS | On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. | Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm |
| 2020 | KR | Independence and D-separation in Abstract Argumentation. | Tjitze Rienstra, Matthias Thimm, Kristian Kersting, Xiaoting Shao |
| 2019 | FQAS | Algorithmic Approaches to Computational Models of Argumentation. | Matthias Thimm |
| 2018 | AAAI | Measuring Strong Inconsistency. | Markus Ulbricht, Matthias Thimm, Gerhard Brewka |
| 2018 | COMMA | Ranking Functions over Labelings. | Tjitze Rienstra, Matthias Thimm |
| 2018 | COMMA | Stochastic Local Search Algorithms for Abstract Argumentation Under Stable Semantics. | Matthias Thimm |
| 2018 | COMMA | Probabilistic Graded Semantics. | Matthias Thimm, Federico Cerutti, Tjitze Rienstra |
| 2018 | COMMA | Epistemic Attack Semantics. | Matthias Thimm, Sylwia Polberg, Anthony Hunter |
| 2018 | KR | A General Approach to Reasoning with Probabilities - Extended Abstract. | Federico Cerutti, Matthias Thimm |
| 2018 | KR | Probabilistic Abstract Argumentation Based on SCC Decomposability. | Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre |
| 2017 | IJCAI | Strong Inconsistency in Nonmonotonic Reasoning. | Gerhard Brewka, Matthias Thimm, Markus Ulbricht |
| 2017 | IJCAI | On the Expressivity of Inconsistency Measures (Extended Abstract). | Matthias Thimm |
| 2017 | SIGMOD | On data placement strategies in distributed RDF stores. | Daniel Janke, Steffen Staab, Matthias Thimm |
| 2016 | COMMA | Using Matrix Exponentials for Abstract Argumentation. | Carl Corea, Matthias Thimm |
| 2016 | IJCAI | Group Decision Making via Probabilistic Belief Merging. | Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt |
| 2016 | JELIA | Measuring Inconsistency in Answer Set Programs. | Markus Ulbricht, Matthias Thimm, Gerhard Brewka |
| 2016 | KR | On Partial Information and Contradictions in Probabilistic Abstract Argumentation. | Anthony Hunter, Matthias Thimm |
| 2016 | KR | Some Complexity Results on Inconsistency Measurement. | Matthias Thimm, Johannes P. Wallner |
| 2015 | IJCAI | Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures. | Nico Potyka, Matthias Thimm |
| 2014 | COMMA | A Benchmark Framework for a Computational Argumentation Competition. | Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati |
| 2014 | COMMA | Probabilistic Argument Graphs for Argumentation Lotteries. | Anthony Hunter, Matthias Thimm |
| 2014 | COMMA | On Controversiality of Arguments and Stratified Labelings. | Matthias Thimm, Gabriele Kern-Isberner |
| 2014 | DEXA | The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases. | Rita Berardi, Marcelo Schiessl, Matthias Thimm, Marco A. Casanova |
| 2014 | ECAI | Probabilistic Argumentation with Incomplete Information. | Anthony Hunter, Matthias Thimm |
| 2014 | ECAI | Probabilistic Argumentation with Epistemic Extensions. | Anthony Hunter, Matthias Thimm |
| 2014 | ECAI | Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. | Nico Potyka, Matthias Thimm |
| 2014 | ECAI | Coherence and Compatibility of Markov Logic Networks. | Matthias Thimm |
| 2014 | FlAIRS | Special Track on Uncertain Reasoning. | Souhila Kaci, Matthias Thimm |
| 2014 | GI | Ein erster Prototyp: Sicherheitsguide fr Grundschulkinder beim Umgang mit dem Internet. | Jana Fruth, Matthias Thimm, Sven Kuhlmann, Jana Dittmann |
| 2014 | KI | Towards Large-Scale Inconsistency Measurement. | Matthias Thimm |
| 2014 | KR | Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. | Matthias Thimm |
| 2013 | IJCAI | Opponent Models with Uncertainty for Strategic Argumentation. | Tjitze Rienstra, Matthias Thimm, Nir Oren |
| 2013 | ICWSM | Structural Dynamics of Knowledge Networks. | Julia Preusse, Jrme Kunegis, Matthias Thimm, Steffen Staab, Thomas Gottron |
| 2012 | ECAI | A Ranking Semantics for First-Order Conditionals. | Gabriele Kern-Isberner, Matthias Thimm |
| 2012 | ECAI | A Probabilistic Semantics for abstract Argumentation. | Matthias Thimm |
| 2012 | EKAW | Ranking RDF with Provenance via Preference Aggregation. | Renata Queiroz Dividino, Gerd Grner, Stefan Scheglmann, Matthias Thimm |
| 2011 | DEXA | Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. | Gabriele Kern-Isberner, Christoph Beierle, Marc Finthammer, Matthias Thimm |
| 2011 | ECSQARU | Relational Probabilistic Conditional Reasoning at Maximum Entropy. | Matthias Thimm, Gabriele Kern-Isberner, Jens Fisseler |
| 2011 | KI | Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
| 2011 | LPNMR | On Influence and Contractions in Defeasible Logic Programming. | Diego R. Garca, Sebastian Gottifredi, Patrick Krmpelmann, Matthias Thimm, Gabriele Kern-Isberner, Marcelo A. Falappa, Alejandro Javier Garca |
| 2010 | CADE | Automated Reasoning for Relational Probabilistic Knowledge Representation. | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
| 2010 | COMMA | Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. | Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm |
| 2010 | FlAIRS | A System for Relational Probabilistic Reasoning on Maximum Entropy. | Matthias Thimm, Marc Finthammer, Sebastian Loh, Gabriele Kern-Isberner, Christoph Beierle |
| 2010 | KR | Novel Semantical Approaches to Relational Probabilistic Conditionals. | Gabriele Kern-Isberner, Matthias Thimm |
| 2009 | FlAIRS | Mining Default Rules from Statistical Data. | Gabriele Kern-Isberner, Matthias Thimm, Marc Finthammer, Jens Fisseler |
| 2009 | UAI | Measuring Inconsistency in Probabilistic Knowledge Bases. | Matthias Thimm |
| 2008 | COMMA | A Distributed Argumentation Framework using Defeasible Logic Programming. | Matthias Thimm, Gabriele Kern-Isberner |
| 2008 | COMMA | On the Relationship of Defeasible Argumentation and Answer Set Programming. | Matthias Thimm, Gabriele Kern-Isberner |