AbstractAcceptabilityReasoner 
Ancestor class for reasoners that are tailored towards computing the
set {a  a is credulously/skeptically accepted wrt.

AbstractDungReasoner 
Ancestor class for all AAF reasoners.

AbstractExtensionReasoner 
Ancestor class for all extensionbased reasoners.

AbstractSatExtensionReasoner 
Uses a provided SAT solver to solve reasoning problems in AAFs.

EeeAcceptabilityReasoner 
Implements the EEE approach ("exhaustively enumerate extensions") to
determine the set of acceptable arguments of an AF, cf.

IaqAcceptabilityReasoner 
Implements the IAQ approach ("iterative acceptability queries") to
determine the set of acceptable arguments of an AF, cf.

NaiveReasoner 
Reasoner for naive extensions.

OrderingSemanticsReasoner 
Reasoner for ordering semantics

ProboReasoner 
This reasoner makes use of an external executable for solving reasoning problems
in abstract argumentation.

QualifiedReasoner 
Reasoner for qualified sigmasemantics.

SatCompleteReasoner 
Uses a SAT solver to determine complete extensions.

SatStableReasoner 
Uses a SAT solver to determine stable extensions.

SccCF2Reasoner 
Reasoner for CF2 extensions using sccrecursiveness.

SCF2Reasoner 
Reasoner for SCF2 extensions using sccrecursiveness.

SCOOCNaiveReasoner 
reasoner for SCOOCnaive semantics.

SeeAcceptabilityReasoner 
Implements the SEE approach ("selective extension enumeration") to
determine the set of credulously acceptable arguments of an AF
wrt.

SeemAcceptabilityReasoner 
Implements the SEEM approach ("selective extension enumeration with MaxSAT") to
determine the set of credulously acceptable arguments of an AF
wrt.

SemiQualifiedReasoner 
Reasoner for semiqualified sigmasemantics.

SimpleAdmissibleReasoner 
This reasoner for Dung theories performs inference on the admissible extensions.

SimpleCompleteReasoner 
This reasoner for Dung theories performs inference on the complete extensions.

SimpleConflictFreeReasoner 
This reasoner for Dung theories performs inference on the conflictfree extensions.

SimpleGroundedReasoner 
This reasoner for Dung theories performs inference on the grounded extension.

SimpleIdealReasoner 
This reasoner for Dung theories performs inference on the ideal extension.

SimplePreferredReasoner 
This reasoner for Dung theories performs inference on the preferred extensions.

SimpleSccCompleteReasoner 
This reasoner for Dung theories performs inference on the complete extensions.

SimpleSemiStableReasoner 
This reasoner for Dung theories performs inference on the semistable extensions.

SimpleStableReasoner 
This reasoner for Dung theories performs inference on the stable extensions.

SimpleStageReasoner 
This reasoner for Dung theories performs inference on the stage extensions.

Stage2Reasoner 
Reasoner for Stage2 semantics using sccrecursiveness
definition see:
Dvorak, Gaggl: Incorporating Stage Semantics in the SCCrecursive Schema for Argumentation Semantics 2012

StratifiedLabelingReasoner 
This class implements a stratified labeling reasoner.

WeaklyAdmissibleReasoner 
Reasoner for weak admissibility
the reasoner reduces the number of sets we have to check by computing candidate sets instead of checking all sets.
