Package org.tweetyproject.arg.bipolar.reasoner.deductive

package org.tweetyproject.arg.bipolar.reasoner.deductive

Classes

Class	Description
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.