3 citations · 5 across the 5 of their papers we have counts for
7 papers
Revisiting initial sets in abstract argumentation
Matthias Thimm
We revisit the notion of initial sets by Xu and Cayrol, i.e., non-empty minimal admissible sets in abstract argumentation frameworks. Initial sets are a simple concept for analysin…
Fudge: A light-weight solver for abstract argumentation based on SAT reductions
Matthias Thimm, Federico Cerutti, Mauro Vallati
We present Fudge, an abstract argumentation solver that tightly integrates satisfiability solving technology to solve a series of abstract argumentation problems. While most of the…
Measuring Inconsistency over Sequences of Business Rule Cases
Carl Corea, Matthias Thimm, Patrick Delfmann
In this report, we investigate (element-based) inconsistency measures for multisets of business rule bases. Currently, related works allow to assess individual rule bases, however,…
Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics
Kenneth Skiba, Matthias Thimm
We propose a novel ranking-based semantics for Dung-style argumentation frameworks with the help of conditional logics. Using an intuitive translation for an argumentation framewor…
Towards Inconsistency Measurement in Business Rule Bases
Carl Corea, Matthias Thimm
We investigate the application of inconsistency measures to the problem of analysing business rule bases. Due to some intricacies of the domain of business rule bases, a straightfo…
Epistemic Graphs for Representing and Reasoning with Positive and Negative Influences of Arguments
Anthony Hunter, Sylwia Polberg, Matthias Thimm
This paper introduces epistemic graphs as a generalization of the epistemic approach to probabilistic argumentation. In these graphs, an argument can be believed or disbelieved up…