| AbstractDungReasoner |
Ancestor class for all AAF reasoners.
|
| AbstractExtensionReasoner |
Ancestor class for all extension-based reasoners.
|
| AbstractSatExtensionReasoner |
Uses a provided SAT solver to solve reasoning problems in AAFs.
|
| ProboReasoner |
This reasoner makes use of an external executable for solving reasoning problems
in abstract argumentation.
|
| SatCompleteReasoner |
Uses a SAT solver to determine complete extensions.
|
| SatStableReasoner |
Uses a SAT solver to determine stable extensions.
|
| SimpleAdmissibleReasoner |
This reasoner for Dung theories performs inference on the admissible extensions.
|
| SimpleCF2Reasoner |
This reasoner for Dung theories performs inference on the CF2 extensions.
|
| SimpleCompleteReasoner |
This reasoner for Dung theories performs inference on the complete extensions.
|
| SimpleConflictFreeReasoner |
This reasoner for Dung theories performs inference on the conflict-free 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 semi-stable 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.
|
| StratifiedLabelingReasoner |
This class implements a stratified labeling reasoner.
|