Package org.tweetyproject.arg.eaf.reasoner

package org.tweetyproject.arg.eaf.reasoner

Classes

Class	Description
AbstractEAFReasoner	Ancestor class for EAF reasoners
EAFAgreementReasoner	This reasoner for epistemic Dung theories performs inference on the agreement states of arguments for multiple EAFs.
SimpleEAFAdmissibleReasoner	This reasoner for epistemic Dung theories performs inference on the admissible extension.
SimpleEAFCompleteReasoner	This reasoner for epistemic Dung theories performs inference on the complete extension.
SimpleEAFGroundedReasoner	This reasoner for epistemic Dung theories performs inference on the grounded extension.
SimpleEAFPreferredReasoner	This reasoner for epistemic Dung theories performs inference on the preferred extension.
SimpleEAFStableReasoner	This reasoner for epistemic Dung theories performs inference on the stable extension.