Uses of Class
net.sf.tweety.arg.rankings.reasoner.AbstractRankingReasoner
-
Packages that use AbstractRankingReasoner Package Description net.sf.tweety.arg.rankings.postulates net.sf.tweety.arg.rankings.reasoner -
-
Uses of AbstractRankingReasoner in net.sf.tweety.arg.rankings.postulates
Methods in net.sf.tweety.arg.rankings.postulates with parameters of type AbstractRankingReasoner Modifier and Type Method Description boolean
RaAbstraction. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaAdditionOfAttackBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaAdditionOfDefenseBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaAttackVsFullDefense. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaCardinalityPrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaCounterTransitivity. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaDefensePrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaDistDefensePrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaIncreaseOfAttackBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaIncreaseOfDefenseBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaIndependence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
abstract boolean
RankingPostulate. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaNonAttackedEquivalence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaQualityPrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaSelfContradiction. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaStrictAdditionOfDefenseBranch. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaStrictCounterTransitivity. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaTotal. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
boolean
RaVoidPrecedence. isSatisfied(java.util.Collection<Argument> kb, AbstractRankingReasoner<ArgumentRanking> ev)
-
Uses of AbstractRankingReasoner in net.sf.tweety.arg.rankings.reasoner
Subclasses of AbstractRankingReasoner in net.sf.tweety.arg.rankings.reasoner Modifier and Type Class Description class
BurdenBasedRankingReasoner
This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.class
CategorizerRankingReasoner
This class implements the "h-categorizer" argument ranking approach that was originally proposed by [Besnard, Hunter.class
CountingRankingReasoner
This class implements the argument ranking approach of [Pu, Zhang, G.Luo, J.Luo.class
DiscussionBasedRankingReasoner
This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.class
IteratedGradedDefenseReasoner
This class implements the argument ranking approach of [Grossi, Modgil.class
MTRankingReasoner
This class implements the argument ranking approach of [Matt, Toni.class
PropagationRankingReasoner
This class implements the argument ranking approach of [Delobelle.class
SAFRankingReasoner
This class implements the ranking-based "SAF" semantics approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.class
TuplesRankingReasoner
This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex.
-