40 citations · 104 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 2 cited
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…
cs.AI2021
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,…