class |
AbstractExtensionReasoner |
Ancestor class for all extension-based reasoners.
|
class |
AbstractSatExtensionReasoner |
Uses a provided SAT solver to solve reasoning problems in AAFs.
|
class |
ProboReasoner |
This reasoner makes use of an external executable for solving reasoning problems
in abstract argumentation.
|
class |
SatCompleteReasoner |
Uses a SAT solver to determine complete extensions.
|
class |
SatStableReasoner |
Uses a SAT solver to determine stable extensions.
|
class |
SimpleAdmissibleReasoner |
This reasoner for Dung theories performs inference on the admissible extensions.
|
class |
SimpleCF2Reasoner |
This reasoner for Dung theories performs inference on the CF2 extensions.
|
class |
SimpleCompleteReasoner |
This reasoner for Dung theories performs inference on the complete extensions.
|
class |
SimpleConflictFreeReasoner |
This reasoner for Dung theories performs inference on the conflict-free extensions.
|
class |
SimpleGroundedReasoner |
This reasoner for Dung theories performs inference on the grounded extension.
|
class |
SimpleIdealReasoner |
This reasoner for Dung theories performs inference on the ideal extension.
|
class |
SimplePreferredReasoner |
This reasoner for Dung theories performs inference on the preferred extensions.
|
class |
SimpleSccCompleteReasoner |
This reasoner for Dung theories performs inference on the complete extensions.
|
class |
SimpleSemiStableReasoner |
This reasoner for Dung theories performs inference on the semi-stable extensions.
|
class |
SimpleStableReasoner |
This reasoner for Dung theories performs inference on the stable extensions.
|
class |
SimpleStageReasoner |
This reasoner for Dung theories performs inference on the stage extensions.
|
class |
StratifiedLabelingReasoner |
This class implements a stratified labeling reasoner.
|