Package net.sf.tweety.arg.dung.reasoner

Class Summary

Class	Description
AbstractDungReasoner	Ancestor class for all AAF reasoner.
AbstractExtensionReasoner	Ancestor class for all extension-based reasoners.
AbstractSatExtensionReasoner	Uses a provided SAT solver to solve reasoning problems in AAFs.
GrossiModgilRankingReasoner	This class implements the argument ranking approach of [Grossi, Modgil.
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.

Enum Summary

Enum	Description
ProboProblem	This enum contains all supported problems for probo-based reasoner.
ProboProblem.SubProblem	The actual computational sub-problem.