40 citations · 104 across the 14 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022★ 2 cited
Measuring Inconsistency in Declarative Process Specifications
Carl Corea, John Grant, Matthias Thimm
We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff). As we will show, existin…
cs.AI2022
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…