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