Package org.tweetyproject.arg.bipolar.reasoner

package org.tweetyproject.arg.bipolar.reasoner

Classes

Class	Description
AbstractBipolarExtensionReasoner	Abstract class for reasoners for bipolar argumentation
SimpleCoalitionReasoner	Reasoner for bipolar argumentation frameworks based on the coalition approach.
SimpleCoherentAdmissibleReasoner	Reasoner for coherent admissible sets (also called s-admissible sets) in bipolar argumentation.
SimpleCoherentReasoner	A reasoner for coherent sets in bipolar argumentation under a default support interpretation.
SimpleDeductiveReasoner	Reasoner for bipolar argumentation under the deductive support interpretation.
SimpleNecessityReasoner	Reasoner for bipolar argumentation under the deductive support interpretation.
SimpleStronglyConflictFreeReasoner	Reasoner for conflict-freeness in bipolar argumentation under a default support interpretation.