Uses of Class
org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner
Packages that use AbstractRankingReasoner
Package
Description
- 
Uses of AbstractRankingReasoner in org.tweetyproject.arg.rankings.postulatesMethods in org.tweetyproject.arg.rankings.postulates with parameters of type AbstractRankingReasonerModifier and TypeMethodDescriptionbooleanRaAbstraction.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaAdditionOfAttackBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaAdditionOfDefenseBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaAttackVsFullDefense.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaCardinalityPrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaCounterTransitivity.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaDefensePrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaDistDefensePrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaIncreaseOfAttackBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaIncreaseOfDefenseBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaIndependence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) abstract booleanRankingPostulate.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) Return statusbooleanRaNonAttackedEquivalence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaQualityPrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaSelfContradiction.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaSigmaCompatibility.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaSkeptSigmaCompatibility.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaStrictAdditionOfDefenseBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaStrictCounterTransitivity.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaTotal.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaVoidPrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) 
- 
Uses of AbstractRankingReasoner in org.tweetyproject.arg.rankings.reasonerSubclasses of AbstractRankingReasoner in org.tweetyproject.arg.rankings.reasonerModifier and TypeClassDescriptionclassThis class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.classThis class implements the "h-categorizer" argument ranking approach that was originally proposed by [Besnard, Hunter.classThis class implements the argument ranking approach of [Pu, Luo, Ranking Arguments based on Counter-Transitivity 2017].classThis class implements the argument ranking approach of [Pu, Zhang, G.Luo, J.Luo.classThis class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.classThis class implements the argument ranking approach of [Grossi, Modgil.classImplements a graded semantics reasoner based on the ideas from [Thimm, Cerutti, Rienstra.classThis class implements the argument ranking approach of [Delobelle.classThis class implements the social abstract argumentation approach as proposed by [Bonzon, Delobelle, Konieczny, Maudet.classImplements the serialisable ranking semantics from [Blümel, Thimm.classThis class implements the argument ranking approach of [Matt, Toni.classThis class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex.