Matthias Thimm

Orcid: 0000-0002-8157-1053

Affiliations:
  • University of Hagen, Germany
  • Universität Koblenz-Landau, Germany (former)


According to our database1, Matthias Thimm authored at least 155 papers between 2008 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.
Artif. Intell., April, 2023

Measuring Inconsistency with the Tableau Method.
FLAP, 2023

Joining Formal and Cognitive Reasoning.
FLAP, 2023

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement.
CoRR, 2023

Preface for the special issue on argument strength.
Argument Comput., 2023

A Discussion of Challenges in Benchmark Generation for Abstract Argumentation.
Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023

Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Ranking-based Semantics for Assumption-based Argumentation.
Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), 2023

MaxSAT-Based Inconsistency Measurement.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

On Undisputed Sets in Abstract Argumentation.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Revisiting initial sets in abstract argumentation.
Argument Comput., 2022

A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure.
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

Possibilistic Logic Underlies Abstract Dialectical Frameworks.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Realisability of Rankings-based Semantics.
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

Ordinal Conditional Functions for Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2022

Explaining Argument Acceptance in ADFs.
Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2022

probo2: A Benchmark Framework for Argumentation Solvers.
Proceedings of the Computational Models of Argument, 2022

Graph Neural Networks for Algorithm Selection in Abstract Argumentation.
Proceedings of the 1st Workshop on Argumentation & Machine Learning co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

A Labeling Based Backtracking Solver for Abstract Argumentation.
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

A Ranking Semantics for Abstract Argumentation Based on Serialisability.
Proceedings of the Computational Models of Argument, 2022

Serialisable Semantics for Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2022

Argumentation-based Causal and Counterfactual Reasoning.
Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

Measuring Inconsistency in Declarative Process Specifications.
Proceedings of the Business Process Management - 20th International Conference, 2022

Conditional Abstract Dialectical Frameworks.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Preface.
FLAP, 2021

Fudge: A light-weight solver for abstract argumentation based on SAT reductions.
CoRR, 2021

On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics.
Ann. Math. Artif. Intell., 2021

Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures.
Proceedings of the 23rd IEEE Conference on Business Informatics, 2021

Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Distinguishability in Abstract Argumentation.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Revision and Conditional Inference for Abstract Dialectical Frameworks.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Measuring Inconsistency over Sequences of Business Rule Cases.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Ranking Extensions in Abstract Argumentation.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020
Towards Understanding and Arguing with Classifiers: Recent Progress.
Datenbank-Spektrum, 2020

Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics.
CoRR, 2020

An experimental analysis on the similarity of argumentation semantics.
Argument Comput., 2020

Handling and measuring inconsistency in non-monotonic logics.
Artif. Intell., 2020

Epistemic graphs for representing and reasoning with positive and negative influences of arguments.
Artif. Intell., 2020

On quasi-inconsistency and its complexity.
Artif. Intell., 2020

Modelling Multivariate Ranking Functions with Min-Sum Networks.
Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020

Measuring Disagreement with Interpolants.
Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020

An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming.
Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020

Independence and D-separation in Abstract Argumentation.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics.
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

Towards Inconsistency Measurement in Business Rule Bases.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Approximate Reasoning with ASPIC+ by Argument Sampling.
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

On Computing the Set of Acceptable Arguments in Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2020

Abstract Argumentation Frameworks with Fallible Evidence.
Proceedings of the Computational Models of Argument, 2020

Revisiting SAT Techniques for Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2020

2019
A general approach to reasoning with probabilities.
Int. J. Approx. Reason., 2019

On the complexity of inconsistency measurement.
Artif. Intell., 2019

Strong inconsistency.
Artif. Intell., 2019

Inconsistency Measurement.
Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019

An Experimental Study on the Behaviour of Inconsistency Measures.
Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019

Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study.
Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019

Algorithmic Approaches to Computational Models of Argumentation.
Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019

2018
Impact analysis of data placement strategies on query efforts in distributed RDF stores.
J. Web Semant., 2018

Detecting hidden errors in an ontology using contextual knowledge.
Expert Syst. Appl., 2018

Probabilistic Abstract Argumentation Based on SCC Decomposability.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

A General Approach to Reasoning with Probabilities - Extended Abstract.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Epistemic Attack Semantics.
Proceedings of the Computational Models of Argument, 2018

Probabilistic Graded Semantics.
Proceedings of the Computational Models of Argument, 2018

Stochastic Local Search Algorithms for Abstract Argumentation Under Stable Semantics.
Proceedings of the Computational Models of Argument, 2018

Ranking Functions over Labelings.
Proceedings of the Computational Models of Argument, 2018

Measuring Strong Inconsistency.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

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

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

Editorial.
J. Appl. Log., 2017

Probabilistic Reasoning with Abstract Argumentation Frameworks.
J. Artif. Intell. Res., 2017

Measuring inconsistency with many-valued logics.
Int. J. Approx. Reason., 2017

Inconsistency-tolerant reasoning over linear probabilistic knowledge bases.
Int. J. Approx. Reason., 2017

Foundations of Implementations for Formal Argumentation.
FLAP, 2017

Towards Artificial Argumentation.
AI Mag., 2017

The first international competition on computational models of argumentation: Results and analysis.
Artif. Intell., 2017

Probabilities on Extensions in Abstract Argumentation.
Proceedings of the Theory and Applications of Formal Argumentation, 2017

The Formal Argumentation Libraries of Tweety.
Proceedings of the Theory and Applications of Formal Argumentation, 2017

Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation.
Proceedings of the Theory and Applications of Formal Argumentation, 2017

Belief in Attacks in Epistemic Probabilistic Argumentation.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

On data placement strategies in distributed RDF stores.
Proceedings of The International Workshop on Semantic Big Data, 2017

Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores.
Proceedings of the Joint Proceedings of BLINK2017: 2nd International Workshop on Benchmarking Linked Data and NLIWoD3: Natural Language Interfaces for the Web of Data co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21st - to, 2017

On the Expressivity of Inconsistency Measures (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Strong Inconsistency in Nonmonotonic Reasoning.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Methods for Intrinsic Evaluation of Links in the Web of Data.
Proceedings of the Semantic Web - 14th International Conference, 2017

2016
Stream-based inconsistency measurement.
Int. J. Approx. Reason., 2016

Optimization of dialectical outcomes in dialogical argumentation.
Int. J. Approx. Reason., 2016

Editorial Preface.
FLAP, 2016

Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16).
CoRR, 2016

Summary Report of The First International Competition on Computational Models of Argumentation.
AI Mag., 2016

On the expressivity of inconsistency measures.
Artif. Intell., 2016

Some Complexity Results on Inconsistency Measurement.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

On Partial Information and Contradictions in Probabilistic Abstract Argumentation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Measuring Inconsistency in Answer Set Programs.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Group Decision Making via Probabilistic Belief Merging.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Using Matrix Exponentials for Abstract Argumentation.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016

A Personal Glimpse on Gabriele Kern-Isberner's Contributions to Artificial Intelligence.
Proceedings of the Computational Models of Rationality, 2016

2015
System Descriptions of the First International Competition on Computational Models of Argumentation (ICCMA'15).
CoRR, 2015

Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Strategic Argumentation in Multi-Agent Systems.
Künstliche Intell., 2014

DecLiNe - Models for Decay of Links in Networks.
CoRR, 2014

Probabilistic Argumentation with Epistemic Extensions and Incomplete Information.
CoRR, 2014

Crowd Work CV: Recognition for Micro Work.
Proceedings of the Social Informatics - SocInfo 2014 International Workshops, Barcelona, 2014

Property-based typing with LITEQ.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Semantic Web Application Development with LITEQ.
Proceedings of the Semantic Web - ISWC 2014, 2014

Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Towards Large-Scale Inconsistency Measurement.
Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Ein erster Prototyp: Sicherheitsguide für Grundschulkinder beim Umgang mit dem Internet.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Special Track on Uncertain Reasoning.
Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

IDE Integrated RDF Exploration, Access and RDF-Based Code Typing with LITEQ.
Proceedings of the Semantic Web: ESWC 2014 Satellite Events, 2014

Coherence and Compatibility of Markov Logic Networks.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Probabilistic Argumentation with Epistemic Extensions.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014

Probabilistic Argumentation with Incomplete Information.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases.
Proceedings of the Database and Expert Systems Applications, 2014

On Controversiality of Arguments and Stratified Labelings.
Proceedings of the Computational Models of Argument, 2014

Probabilistic Argument Graphs for Argumentation Lotteries.
Proceedings of the Computational Models of Argument, 2014

A Benchmark Framework for a Computational Argumentation Competition.
Proceedings of the Computational Models of Argument, 2014

2013
Stratified Labelings for Abstract Argumentation.
CoRR, 2013

Inconsistency measures for probabilistic logics.
Artif. Intell., 2013

Opponent Models with Uncertainty for Strategic Argumentation.
Proceedings of the IJCAI 2013, 2013

Structural Dynamics of Knowledge Networks.
Proceedings of the Seventh International Conference on Weblogs and Social Media, 2013

Locking for Concurrent Transactions on Ontologies.
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013

Microtask Available, Send us your CV!
Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013

2012
Comparing and Evaluating Approaches to Probabilistic Reasoning: Theory, Implementation, and Applications.
Trans. Large Scale Data Knowl. Centered Syst., 2012

On probabilistic inference in relational conditional logics.
Log. J. IGPL, 2012

An integrated development environment for probabilistic relational reasoning.
Log. J. IGPL, 2012

Selective revision with multiple informants and argumentative support.
Inteligencia Artif., 2012

SPLODGE: Systematic Generation of SPARQL Benchmark Queries for Linked Open Data.
Proceedings of the Semantic Web - ISWC 2012, 2012

Ranking RDF with Provenance via Preference Aggregation.
Proceedings of the Knowledge Engineering and Knowledge Management, 2012

A Probabilistic Semantics for abstract Argumentation.
Proceedings of the ECAI 2012, 2012

A Ranking Semantics for First-Order Conditionals.
Proceedings of the ECAI 2012, 2012

Probabilistic Reasoning with Incomplete and Inconsistent Beliefs.
DISKI 336, AKA, ISBN: 978-3-89838-336-3, 2012

2011
Argonauts: a working system for motivated cooperative agents.
Ann. Math. Artif. Intell., 2011

Selective Revision by Deductive Argumentation.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Motivating Agents in Unreliable Environments: A Computational Model.
Proceedings of the Multiagent System Technologies - 9th German Conference, 2011

On Influence and Contractions in Defeasible Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation.
Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

Relational Probabilistic Conditional Reasoning at Maximum Entropy.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Probabilistic Logics in Expert Systems: Approaches, Implementations, and Applications.
Proceedings of the Database and Expert Systems Applications, 2011

2010
Novel Semantical Approaches to Relational Probabilistic Conditionals.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A System for Relational Probabilistic Reasoning on Maximum Entropy.
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Automated Reasoning for Relational Probabilistic Knowledge Representation.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Classification and strategical issues of argumentation games on structured argumentation frameworks.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

On Strategic Argument Selection in Structured Argumentation Systems.
Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

2009
Measuring Inconsistency in Probabilistic Knowledge Bases.
Proceedings of the UAI 2009, 2009

Mining Default Rules from Statistical Data.
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Know-how for motivated BDI agents.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming.
Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009

2008
Qualitative Knowledge Discovery.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

On the Relationship of Defeasible Argumentation and Answer Set Programming.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

A Distributed Argumentation Framework using Defeasible Logic Programming.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Belief operations for motivated BDI agents.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008


  Loading...