Picture for Matthias Thimm

Matthias Thimm

Reasoning with maximal consistent signatures

Add code
Aug 30, 2024
Figure 1 for Reasoning with maximal consistent signatures
Viaarxiv icon

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)

Add code
Aug 26, 2024
Viaarxiv icon

The Realizability of Revision and Contraction Operators in Epistemic Spaces

Add code
Jul 30, 2024
Viaarxiv icon

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement

Add code
Apr 28, 2023
Viaarxiv icon

Measuring Inconsistency in Declarative Process Specifications

Add code
Jun 14, 2022
Figure 1 for Measuring Inconsistency in Declarative Process Specifications
Figure 2 for Measuring Inconsistency in Declarative Process Specifications
Figure 3 for Measuring Inconsistency in Declarative Process Specifications
Figure 4 for Measuring Inconsistency in Declarative Process Specifications
Viaarxiv icon

Revisiting initial sets in abstract argumentation

Add code
Apr 21, 2022
Figure 1 for Revisiting initial sets in abstract argumentation
Figure 2 for Revisiting initial sets in abstract argumentation
Figure 3 for Revisiting initial sets in abstract argumentation
Figure 4 for Revisiting initial sets in abstract argumentation
Viaarxiv icon

Fudge: A light-weight solver for abstract argumentation based on SAT reductions

Add code
Sep 07, 2021
Viaarxiv icon

Measuring Inconsistency over Sequences of Business Rule Cases

Add code
Mar 01, 2021
Figure 1 for Measuring Inconsistency over Sequences of Business Rule Cases
Figure 2 for Measuring Inconsistency over Sequences of Business Rule Cases
Figure 3 for Measuring Inconsistency over Sequences of Business Rule Cases
Figure 4 for Measuring Inconsistency over Sequences of Business Rule Cases
Viaarxiv icon

Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics

Add code
Aug 05, 2020
Figure 1 for Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics
Viaarxiv icon

Towards Inconsistency Measurement in Business Rule Bases

Add code
Nov 19, 2019
Figure 1 for Towards Inconsistency Measurement in Business Rule Bases
Figure 2 for Towards Inconsistency Measurement in Business Rule Bases
Viaarxiv icon