Package diarg.explanations

Class Summary

Class	Description
ExplanationTestFrameworks	Contains example argumentation frameworks testing monotony violation explanations framework1: ({a, b, c, d}, {(a, b), (b, a)}) framework2: ({a, b, c, d, e, f, g}, {(a, b), (b, a), (e, c), (e, d), (e, f), (f, a), (f, e), (f, g), (g, f)}) framework3: ({a, b, c}, {(a, b), (b, a)}) framework4: ({a, b, c, d}, {(a, b), (b, a), (d, c)}) framework5: ({a, b, c, d, e}, {(a, b), (b, a), (b, e), (e, c), (e, d)})
NonmonotonyExplainer	Identifies sets of arguments that serve as explanations for the violation of monotony in the context of admissible set-based semantics.
NonmonotonyExplainerTest