Uses of Class
org.tweetyproject.arg.explanations.reasoner.acceptance.AbstractAcceptanceExplanationReasoner

Packages that use AbstractAcceptanceExplanationReasoner

Package	Description
org.tweetyproject.arg.explanations.principles
org.tweetyproject.arg.explanations.reasoner.acceptance

Uses of AbstractAcceptanceExplanationReasoner in org.tweetyproject.arg.explanations.principles

Methods in org.tweetyproject.arg.explanations.principles with parameters of type AbstractAcceptanceExplanationReasoner

Modifier and Type	Method	Description
abstract boolean	ExplanationPrinciple.isSatisfied(Collection<Argument> kb, AbstractAcceptanceExplanationReasoner ev)	Determines whether this principle is satisfied by the given reasoner for the given instance

Uses of AbstractAcceptanceExplanationReasoner in org.tweetyproject.arg.explanations.reasoner.acceptance

Subclasses of AbstractAcceptanceExplanationReasoner in org.tweetyproject.arg.explanations.reasoner.acceptance

Modifier and Type	Class	Description
class	AbstractSequenceExplanationReasoner	Abstract class for sequence-based explanation reasoners
class	DialecticalSequenceExplanationReasoner	Reasoner for dialectical sequence explanations for the acceptance of arguments A sequence (S_1, T_1, ...
class	MinimalSequenceExplanationReasoner	Reasoner for minimal sequence explanations for the acceptance of arguments A sequence (S_1, ...
class	NecessaryExplanationReasoner	Reasoner for necessary explanations for the acceptance of an argument a set S is a necessary explanation for the acceptance of an argument 'a' iff every 'b' in S is contained in every admissible set containing 'a'
class	SequenceExplanationReasoner	Reasoner for sequence explanations for the acceptance of arguments A sequence (S_1, ...
class	SufficientExplanationReasoner	Reasoner for sufficient explanations for the acceptance of an argument a set S is a sufficient explanation for the acceptance of an argument 'a' iff S + {a} is admissible and only contains arguments relevant for 'a'