Belief operations for motivated BDI agents. - Patrick Krümpelmann; Matthias Thimm; Manuela Ritterskamp; Gabriele Kern-Isberner (AAMAS (1), 2008)

A Distributed Argumentation Framework using Defeasible Logic Programming. - Matthias Thimm; Gabriele Kern-Isberner (COMMA, 2008)

On the Relationship of Defeasible Argumentation and Answer Set Programming. - Matthias Thimm; Gabriele Kern-Isberner (COMMA, 2008)

Qualitative Knowledge Discovery. - Gabriele Kern-Isberner; Matthias Thimm; Marc Finthammer (SDKB, 2008)

Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming. - Matthias Thimm (ArgMAS, 2009)

Know-how for motivated BDI agents. - Matthias Thimm; Patrick Krümpelmann (AAMAS (2), 2009)

Mining Default Rules from Statistical Data. - Gabriele Kern-Isberner; Matthias Thimm; Marc Finthammer; Jens Fisseler (FLAIRS, 2009)

Measuring Inconsistency in Probabilistic Knowledge Bases. - Matthias Thimm (UAI, 2009)

On Strategic Argument Selection in Structured Argumentation Systems. - Matthias Thimm; Alejandro Javier García (ArgMAS, 2010)

Classification and strategical issues of argumentation games on structured argumentation frameworks. - Matthias Thimm; Alejandro Javier García (AAMAS, 2010)

Automated Reasoning for Relational Probabilistic Knowledge Representation. - Christoph Beierle; Marc Finthammer; Gabriele Kern-Isberner; Matthias Thimm (IJCAR, 2010)

Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law. - Christoph Beierle; Bernhard Freund; Gabriele Kern-Isberner; Matthias Thimm (COMMA, 2010)

A System for Relational Probabilistic Reasoning on Maximum Entropy. - Matthias Thimm; Marc Finthammer; Sebastian Loh; Gabriele Kern-Isberner; Christoph Beierle (FLAIRS, 2010)

Novel Semantical Approaches to Relational Probabilistic Conditionals. - Gabriele Kern-Isberner; Matthias Thimm (KR, 2010)

Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications. - Gabriele Kern-Isberner; Christoph Beierle; Marc Finthammer; Matthias Thimm (DEXA (1), 2011)

Relational Probabilistic Conditional Reasoning at Maximum Entropy. - Matthias Thimm; Gabriele Kern-Isberner; Jens Fisseler (ECSQARU, 2011)

Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation. - Christoph Beierle; Marc Finthammer; Gabriele Kern-Isberner; Matthias Thimm (KI, 2011)

On Influence and Contractions in Defeasible Logic Programming. - Diego R. García; Sebastian Gottifredi; Patrick Krümpelmann; Matthias Thimm; Gabriele Kern-Isberner; Marcelo A. Falappa; Alejandro Javier García (LPNMR, 2011)

Motivating Agents in Unreliable Environments: A Computational Model. - Patrick Krümpelmann; Matthias Thimm; Gabriele Kern-Isberner; Regina Fritsch (MATES, 2011)

Selective Revision by Deductive Argumentation. - Patrick Krümpelmann; Matthias Thimm; Marcelo A. Falappa; Alejandro Javier García; Gabriele Kern-Isberner; Guillermo Ricardo Simari (TAFA, 2011)

Argonauts: a working system for motivated cooperative agents. - Daniel Hölzgen; Thomas Vengels; Patrick Krümpelmann; Matthias Thimm; Gabriele Kern-Isberner (Ann. Math. Artif. Intell., 2011)

Probabilistic Reasoning with Incomplete and Inconsistent Beliefs. - Matthias Thimm (AKA, 2012)

A Ranking Semantics for First-Order Conditionals. - Gabriele Kern-Isberner; Matthias Thimm (ECAI, 2012)

A Probabilistic Semantics for abstract Argumentation. - Matthias Thimm (ECAI, 2012)

Ranking RDF with Provenance via Preference Aggregation. - Renata Queiroz Dividino; Gerd Gröner; Stefan Scheglmann; Matthias Thimm (EKAW, 2012)

SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data. - Olaf Görlitz; Matthias Thimm; Steffen Staab (ISWC (1), 2012)

Selective revision with multiple informants and argumentative support. - Luciano Héctor Tamargo; Alejandro Javier García; Matthias Thimm; Patrick Krümpelmann (Inteligencia Artif., 2012)

An integrated development environment for probabilistic relational reasoning. - Marc Finthammer; Matthias Thimm (Log. J. IGPL, 2012)

On probabilistic inference in relational conditional logics. - Matthias Thimm; Gabriele Kern-Isberner (Log. J. IGPL, 2012)

Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications. - Gabriele Kern-Isberner; Christoph Beierle; Marc Finthammer; Matthias Thimm (Trans. Large Scale Data Knowl. Centered Syst., 2012)

Microtask Available, Send us your CV! - Cristina Sarasua; Matthias Thimm (CGC, 2013)

Locking for Concurrent Transactions on Ontologies. - Stefan Scheglmann; Steffen Staab; Matthias Thimm; Gerd Gröner (ESWC, 2013)

Structural Dynamics of Knowledge Networks. - Julia Preusse; Jérôme Kunegis; Matthias Thimm; Steffen Staab; Thomas Gottron (ICWSM, 2013)

Opponent Models with Uncertainty for Strategic Argumentation. - Tjitze Rienstra; Matthias Thimm; Nir Oren (IJCAI, 2013)

Inconsistency measures for probabilistic logics. - Matthias Thimm (Artif. Intell., 2013)

Stratified Labelings for Abstract Argumentation. - Matthias Thimm; Gabriele Kern-Isberner (CoRR, 2013)

A Benchmark Framework for a Computational Argumentation Competition. - Federico Cerutti 001; Nir Oren; Hannes Strass; Matthias Thimm; Mauro Vallati (COMMA, 2014)

Probabilistic Argument Graphs for Argumentation Lotteries. - Anthony Hunter; Matthias Thimm (COMMA, 2014)

On Controversiality of Arguments and Stratified Labelings. - Matthias Thimm; Gabriele Kern-Isberner (COMMA, 2014)

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 (DEXA (1), 2014)

Probabilistic Argumentation with Incomplete Information. - Anthony Hunter; Matthias Thimm (ECAI, 2014)

Probabilistic Argumentation with Epistemic Extensions. - Anthony Hunter; Matthias Thimm (DARe@ECAI, 2014)

Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. - Nico Potyka; Matthias Thimm (ECAI, 2014)

Coherence and Compatibility of Markov Logic Networks. - Matthias Thimm (ECAI, 2014)

IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ. - Stefan Scheglmann; Ralf Lämmel; Martin Leinberger; Steffen Staab; Matthias Thimm; Evelyne Viegas (ESWC (Satellite Events), 2014)

Special Track on Uncertain Reasoning. - Souhila Kaci; Matthias Thimm (FLAIRS, 2014)

Ein erster Prototyp: Sicherheitsguide für Grundschulkinder beim Umgang mit dem Internet. - Jana Fruth; Matthias Thimm; Sven Kuhlmann; Jana Dittmann (GI-Jahrestagung, 2014)

Towards Large-Scale Inconsistency Measurement. - Matthias Thimm (KI, 2014)

Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation. - Matthias Thimm (KR, 2014)

Semantic Web Application Development with LITEQ. - Martin Leinberger; Stefan Scheglmann; Ralf Lämmel; Steffen Staab; Matthias Thimm; Evelyne Viegas (ISWC (2), 2014)

Property-based typing with LITEQ. - Stefan Scheglmann; Martin Leinberger; Ralf Lämmel; Steffen Staab; Matthias Thimm (ISWC (Posters & Demos), 2014)

Crowd Work CV: Recognition for Micro Work. - Cristina Sarasua; Matthias Thimm (SocInfo Workshops, 2014)

Probabilistic Argumentation with Epistemic Extensions and Incomplete Information. - Anthony Hunter; Matthias Thimm (CoRR, 2014)

DecLiNe - Models for Decay of Links in Networks. - Julia Preusse; Jérôme Kunegis; Matthias Thimm; Sergej Sizov (CoRR, 2014)

Strategic Argumentation in Multi-Agent Systems. - Matthias Thimm (Künstliche Intell., 2014)

Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures. - Nico Potyka; Matthias Thimm (IJCAI, 2015)

System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15). - Matthias Thimm; Serena Villata (CoRR, 2015)

A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence. - Christoph Beierle; Gerhard Brewka; Matthias Thimm (Computational Models of Rationality, 2016)

Using Matrix Exponentials for Abstract Argumentation. - Carl Corea; Matthias Thimm (SAFA@COMMA, 2016)

Group Decision Making via Probabilistic Belief Merging. - Nico Potyka; Erman Acar; Matthias Thimm; Heiner Stuckenschmidt (IJCAI, 2016)

Measuring Inconsistency in Answer Set Programs. - Markus Ulbricht 001; Matthias Thimm; Gerhard Brewka (JELIA, 2016)

On Partial Information and Contradictions in Probabilistic Abstract Argumentation. - Anthony Hunter; Matthias Thimm (KR, 2016)

Some Complexity Results on Inconsistency Measurement. - Matthias Thimm; Johannes Peter Wallner (KR, 2016)

On the expressivity of inconsistency measures. - Matthias Thimm (Artif. Intell., 2016)

Summary Report of The First International Competition on Computational Models of Argumentation. - Matthias Thimm; Serena Villata; Federico Cerutti 001; Nir Oren; Hannes Strass; Mauro Vallati (AI Mag., 2016)

Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16). - Sarah Alice Gaggl; Matthias Thimm (CoRR, 2016)

Editorial Preface. - Matthias Thimm; Dov M. Gabbay (FLAP, 2016)

Optimization of dialectical outcomes in dialogical argumentation. - Anthony Hunter; Matthias Thimm (Int. J. Approx. Reason., 2016)

Stream-based inconsistency measurement. - Matthias Thimm (Int. J. Approx. Reason., 2016)

Uncertainty and inconsistency in knowledge representation - Matthias Thimm (2016)

Methods for Intrinsic Evaluation of Links in the Web of Data. - Cristina Sarasua; Steffen Staab; Matthias Thimm (ESWC (1), 2017)

Strong Inconsistency in Nonmonotonic Reasoning. - Gerhard Brewka; Matthias Thimm; Markus Ulbricht 001 (IJCAI, 2017)

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

Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores. - Daniel Janke; Steffen Staab; Matthias Thimm (BLINK/NLIWoD3@ISWC, 2017)

On data placement strategies in distributed RDF stores. - Daniel Janke; Steffen Staab; Matthias Thimm (SBD@SIGMOD, 2017)

Belief in Attacks in Epistemic Probabilistic Argumentation. - Sylwia Polberg; Anthony Hunter; Matthias Thimm (SUM, 2017)

Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation. - Nils Geilen; Matthias Thimm (TAFA, 2017)

The Formal Argumentation Libraries of Tweety. - Matthias Thimm (TAFA, 2017)

Probabilities on Extensions in Abstract Argumentation. - Matthias Thimm; Pietro Baroni; Massimiliano Giacomin; Paolo Vicig (TAFA, 2017)

The first international competition on computational models of argumentation: Results and analysis. - Matthias Thimm; Serena Villata (Artif. Intell., 2017)

Towards Artificial Argumentation. - Katie Atkinson; Pietro Baroni; Massimiliano Giacomin; Anthony Hunter; Henry Prakken; Chris Reed 001; Guillermo Ricardo Simari; Matthias Thimm; Serena Villata (AI Mag., 2017)

Foundations of Implementations for Formal Argumentation. - Federico Cerutti 001; Sarah Alice Gaggl; Matthias Thimm; Johannes Peter Wallner (FLAP, 2017)

Inconsistency-tolerant reasoning over linear probabilistic knowledge bases. - Nico Potyka; Matthias Thimm (Int. J. Approx. Reason., 2017)

Measuring inconsistency with many-valued logics. - Matthias Thimm (Int. J. Approx. Reason., 2017)

Probabilistic Reasoning with Abstract Argumentation Frameworks. - Anthony Hunter; Matthias Thimm (J. Artif. Intell. Res., 2017)

Editorial. - Souhila Kaci; Robert Mercer; Matthias Thimm (J. Appl. Log., 2017)

On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. - Matthias Thimm (Künstliche Intell., 2017)

The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation. - Matthias Thimm (Künstliche Intell., 2017)

Measuring Strong Inconsistency. - Markus Ulbricht 001; Matthias Thimm; Gerhard Brewka (AAAI, 2018)

Ranking Functions over Labelings. - Tjitze Rienstra; Matthias Thimm (COMMA, 2018)

Stochastic Local Search Algorithms for Abstract Argumentation Under Stable Semantics. - Matthias Thimm (COMMA, 2018)

Probabilistic Graded Semantics. - Matthias Thimm; Federico Cerutti 001; Tjitze Rienstra (COMMA, 2018)

Epistemic Attack Semantics. - Matthias Thimm; Sylwia Polberg; Anthony Hunter (COMMA, 2018)

A General Approach to Reasoning with Probabilities - Extended Abstract. - Federico Cerutti 001; Matthias Thimm (KR, 2018)

Probabilistic Abstract Argumentation Based on SCC Decomposability. - Tjitze Rienstra; Matthias Thimm; Beishui Liao; Leendert W. N. van der Torre (KR, 2018)

Detecting hidden errors in an ontology using contextual knowledge. - Mehdi Teymourlouie; Ahmad Zaeri; Mohammadali Nematbakhsh; Matthias Thimm; Steffen Staab (Expert Syst. Appl., 2018)

Impact analysis of data placement strategies on query efforts in distributed RDF stores. - Daniel Janke; Steffen Staab; Matthias Thimm (J. Web Semant., 2018)

Algorithmic Approaches to Computational Models of Argumentation. - Matthias Thimm (FQAS, 2019)

Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study. - Isabelle Kuhlmann; Matthias Thimm (SUM, 2019)

An Experimental Study on the Behaviour of Inconsistency Measures. - Matthias Thimm (SUM, 2019)

Inconsistency Measurement. - Matthias Thimm (SUM, 2019)

Strong inconsistency. - Gerhard Brewka; Matthias Thimm; Markus Ulbricht 001 (Artif. Intell., 2019)

On the complexity of inconsistency measurement. - Matthias Thimm; Johannes Peter Wallner (Artif. Intell., 2019)

A general approach to reasoning with probabilities. - Federico Cerutti 001; Matthias Thimm (Int. J. Approx. Reason., 2019)

Revisiting SAT Techniques for Abstract Argumentation. - Jonas Klein; Matthias Thimm (COMMA, 2020)

Abstract Argumentation Frameworks with Fallible Evidence. - Kenneth Skiba; Matthias Thimm; Andrea Cohen; Sebastian Gottifredi; Alejandro Javier García (COMMA, 2020)

On Computing the Set of Acceptable Arguments in Abstract Argumentation. - Matthias Thimm; Federico Cerutti 001; Mauro Vallati (COMMA, 2020)

Approximate Reasoning with ASPIC+ by Argument Sampling. - Matthias Thimm; Tjitze Rienstra (SAFA@COMMA, 2020)

Towards Inconsistency Measurement in Business Rule Bases. - Carl Corea; Matthias Thimm (ECAI, 2020)

On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. - Jesse Heyninck; Gabriele Kern-Isberner; Matthias Thimm (FLAIRS, 2020)

Independence and D-separation in Abstract Argumentation. - Tjitze Rienstra; Matthias Thimm; Kristian Kersting; Xiaoting Shao (KR, 2020)

An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming. - Isabelle Kuhlmann; Matthias Thimm (SUM, 2020)

Measuring Disagreement with Interpolants. - Jandson S. Ribeiro; Viorica Sofronie-Stokkermans; Matthias Thimm (SUM, 2020)

Modelling Multivariate Ranking Functions with Min-Sum Networks. - Xiaoting Shao; Zhongjie Yu 001; Arseny Skryagin; Tjitze Rienstra; Matthias Thimm; Kristian Kersting (SUM, 2020)

On quasi-inconsistency and its complexity. - Carl Corea; Matthias Thimm (Artif. Intell., 2020)

Epistemic graphs for representing and reasoning with positive and negative influences of arguments. - Anthony Hunter; Sylwia Polberg; Matthias Thimm (Artif. Intell., 2020)

Handling and measuring inconsistency in non-monotonic logics. - Markus Ulbricht 001; Matthias Thimm; Gerhard Brewka (Artif. Intell., 2020)

An experimental analysis on the similarity of argumentation semantics. - Federico Cerutti 001; Matthias Thimm; Mauro Vallati (Argument Comput., 2020)

Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics. - Kenneth Skiba; Matthias Thimm (CoRR, 2020)

Towards Understanding and Arguing with Classifiers: Recent Progress. - Xiaoting Shao; Tjitze Rienstra; Matthias Thimm; Kristian Kersting (Datenbank-Spektrum, 2020)

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 001; Mauro Vallati (IJCAI, 2021)

Measuring Inconsistency over Sequences of Business Rule Cases. - Carl Corea; Matthias Thimm; Patrick Delfmann (KR, 2021)

Revision and Conditional Inference for Abstract Dialectical Frameworks. - Jesse Heyninck; Gabriele Kern-Isberner; Tjitze Rienstra; Kenneth Skiba; Matthias Thimm (KR, 2021)

Distinguishability in Abstract Argumentation. - Isabelle Kuhlmann; Tjitze Rienstra; Lars Bengel; Kenneth Skiba; Matthias Thimm (KR, 2021)

Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability. - Jandson S. Ribeiro; Matthias Thimm (KR, 2021)

Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures. - Elina Unruh; Patrick Delfmann; Matthias Thimm (CBI (1), 2021)

On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. - Jesse Heyninck; Gabriele Kern-Isberner; Matthias Thimm; Kenneth Skiba (Ann. Math. Artif. Intell., 2021)

Fudge: A light-weight solver for abstract argumentation based on SAT reductions. - Matthias Thimm; Federico Cerutti 001; Mauro Vallati (CoRR, 2021)

Preface. - Dov M. Gabbay; Massimiliano Giacomin; Guillermo Ricardo Simari; Matthias Thimm (FLAP, 2021)

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

Measuring Inconsistency in Declarative Process Specifications. - Carl Corea; John Grant; Matthias Thimm (BPM, 2022)

Argumentation-based Causal and Counterfactual Reasoning. - Lars Bengel; Lydia Blümel; Tjitze Rienstra; Matthias Thimm (ArgXAI@COMMA, 2022)

Serialisable Semantics for Abstract Argumentation. - Lars Bengel; Matthias Thimm (COMMA, 2022)

A Ranking Semantics for Abstract Argumentation Based on Serialisability. - Lydia Blümel; Matthias Thimm (COMMA, 2022)

A Labeling Based Backtracking Solver for Abstract Argumentation. - Lukas Kinder; Matthias Thimm; Bart Verheij (SAFA@COMMA, 2022)

Graph Neural Networks for Algorithm Selection in Abstract Argumentation. - Jonas Klein; Isabelle Kuhlmann; Matthias Thimm (ArgML@COMMA, 2022)

probo2: A Benchmark Framework for Argumentation Solvers. - Jonas Klein; Matthias Thimm (COMMA, 2022)

On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation. - Isabelle Kuhlmann; Thorsten Wujek; Matthias Thimm (COMMA, 2022)

Explaining Argument Acceptance in ADFs. - Tjitze Rienstra; Jesse Heyninck; Gabriele Kern-Isberner; Kenneth Skiba; Matthias Thimm (ArgXAI@COMMA, 2022)

Ordinal Conditional Functions for Abstract Argumentation. - Kenneth Skiba; Matthias Thimm (COMMA, 2022)

Realisability of Rankings-based Semantics. - Kenneth Skiba; Matthias Thimm; Tjitze Rienstra; Jesse Heyninck; Gabriele Kern-Isberner (SAFA@COMMA, 2022)

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

A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure. - Isabelle Kuhlmann; Anna Gessler; Vivien Laszlo; Matthias Thimm (SUM, 2022)

Revisiting initial sets in abstract argumentation. - Matthias Thimm (Argument Comput., 2022)

On Undisputed Sets in Abstract Argumentation. - Matthias Thimm (AAAI, 2023)

MaxSAT-Based Inconsistency Measurement. - Andreas Niskanen; Isabelle Kuhlmann; Matthias Thimm; Matti Järvisalo (ECAI, 2023)

Ranking-based Semantics for Assumption-based Argumentation. - Kenneth Skiba; Matthias Thimm; Johannes Peter Wallner (FCR@KI, 2023)

Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation. - Lars Bengel; Matthias Thimm (KR, 2023)

Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics. - Lydia Blümel; Matthias Thimm (KR, 2023)

A Discussion of Challenges in Benchmark Generation for Abstract Argumentation. - Isabelle Kuhlmann; Matthias Thimm (Arg&App@KR, 2023)

Preface for the special issue on argument strength. - Jesse Heyninck; Kenneth Skiba; Matthias Thimm (Argument Comput., 2023)

Joining Formal and Cognitive Reasoning. - Christoph Beierle; Marco Ragni; Frieder Stolzenburg; Matthias Thimm (FLAP, 2023)

Measuring Inconsistency with the Tableau Method. - Jandson S. Ribeiro; Matthias Thimm (FLAP, 2023)

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)

Characterising Serialisation Equivalence for Abstract Argumentation. - Lars Bengel; Julian Sander; Matthias Thimm (ECAI, 2024)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation. - Lydia Blümel; Matthias Thimm (ECAI, 2024)

Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics. - Matthias Thimm (IJCAI, 2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces. - Kai Sauerwald; Matthias Thimm (KR, 2024)

Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility. - Kenneth Skiba; Matthias Thimm (KR, 2024)

A Hitting Set Approach to Inconsistent-Tolerant Reasoning. - Yehia Hatab; Kai Sauerwald; Matthias Thimm (NMR, 2024)

Argumentation-Based Probabilistic Causal Reasoning. - Lars Bengel; Lydia Blümel; Tjitze Rienstra; Matthias Thimm (RATIO, 2024)

Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study. - Sandra Hoffmann; Isabelle Kuhlmann; Matthias Thimm (RATIO, 2024)

Cluster-Specific Rule Mining for Argumentation-Based Classification. - Jonas Klein; Isabelle Kuhlmann; Matthias Thimm (RATIO, 2024)

Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation. - Kenneth Skiba; Matthias Thimm; Johannes Peter Wallner (RATIO, 2024)

Learning argumentation frameworks from labelings. - Lars Bengel; Matthias Thimm; Tjitze Rienstra (Argument Comput., 2024)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version). - Lydia Blümel; Matthias Thimm (CoRR, 2024)

Reasoning with maximal consistent signatures. - Matthias Thimm; Jandson Santos Ribeiro Santos (CoRR, 2024)

Formal and cognitive reasoning. - Christoph Beierle; Marco Ragni; Kai Sauerwald; Frieder Stolzenburg; Matthias Thimm (Int. J. Approx. Reason., 2024)

Paraconsistent reasoning for inconsistency measurement in declarative process specifications. - Carl Corea; Isabelle Kuhlmann; Matthias Thimm; John Grant (Inf. Syst., 2024)

Algorithms for computing the set of acceptable arguments. - Lars Bengel; Matthias Thimm; Federico Cerutti 001; Mauro Vallati (Int. J. Approx. Reason., 2025)

Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement. - Isabelle Kuhlmann; Anna Gessler; Vivien Laszlo; Matthias Thimm (J. Artif. Intell. Res., 2025)

Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation. - Matthias Thimm (J. Log. Comput., 2025)

Extension-ranking Semantics for Abstract Argumentation Preprint. - Kenneth Skiba; Tjitze Rienstra; Matthias Thimm; Jesse Heyninck; Gabriele Kern-Isberner (CoRR, 2025)