CAdmissibleReasoner |
reasoner for admissibility in bipolar argumentation frameworks with deductive support interpretation
a set of arguments is c-admissible iff it is admissible wrt.
|
ClosureReasoner |
a set of arguments S is closed under the support relation iff all arguments supported by an element of S are in S.
|
ConflictFreeReasoner |
reasoner for conflict-freeness in bipolar argumentation frameworks with a deductive support interpretation
a set of arguments is conflict-free iff it is conflict-free in regards to the complex attacks in the framework
|
DAdmissibleReasoner |
reasoner for admissibility in bipolar argumentation frameworks with deductive support interpretation
a set of arguments is d-admissible iff it is admissible wrt.
|
SafetyReasoner |
a set of arguments S is safe wrt.
|