Class | Description |
---|---|
AbstractExtensionReasoner |
This class models an abstract extension reasoner used for Dung theories.
|
AdmissibleReasoner |
This reasoner for Dung theories performs inference on the admissible extensions.
|
CF2Reasoner |
This reasoner for Dung theories performs inference on the CF2 extensions.
|
CompleteReasoner |
This reasoner for Dung theories performs inference on the complete extensions.
|
ConflictFreeReasoner |
This reasoner for Dung theories performs inference on the conflict-free extensions.
|
DungTheory |
This class implements an abstract argumentation theory in the sense of Dung.
|
GrossiModgilRankingReasoner |
This class implements the argument ranking approach of
[Grossi, Modgil.
|
GroundReasoner |
This reasoner for Dung theories performs inference on the grounded extension.
|
IdealReasoner |
This reasoner for Dung theories performs inference on the ideal extension.
|
PreferredReasoner |
This reasoner for Dung theories performs inference on the preferred extensions.
|
ProboTest | |
SccCompleteReasoner |
This reasoner for Dung theories performs inference on the complete extensions.
|
SemiStableReasoner |
This reasoner for Dung theories performs inference on the semi-stable extensions.
|
StableReasoner |
This reasoner for Dung theories performs inference on the stable extensions.
|
StageReasoner |
This reasoner for Dung theories performs inference on the stage extensions.
|
StratifiedLabelingReasoner |
This class implements a stratified labeling reasoner.
|