Uses of Class
net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner

Packages that use AbstractDungReasoner

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

Uses of AbstractDungReasoner in net.sf.tweety.arg.dung.reasoner

Subclasses of AbstractDungReasoner in net.sf.tweety.arg.dung.reasoner

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