Uses of Interface
org.tweetyproject.arg.dung.syntax.ArgumentationFramework
Package
Description
-
Uses of ArgumentationFramework in org.tweetyproject.agents.dialogues
Modifier and TypeClassDescriptionclass
This class packs a Dung theory into an executable object. -
Uses of ArgumentationFramework in org.tweetyproject.agents.dialogues.structured
Modifier and TypeClassDescriptionclass
This class packs a structured argumentation framework into a perceivable object. -
Uses of ArgumentationFramework in org.tweetyproject.arg.dung.reasoner
Modifier and TypeMethodDescriptionAbstractSatExtensionReasoner.getModel(ArgumentationFramework bbase)
ProboReasoner.getModel(ArgumentationFramework bbase)
QualifiedReasoner.getModel(ArgumentationFramework bbase)
SccCF2Reasoner.getModel(ArgumentationFramework bbase)
SCF2Reasoner.getModel(ArgumentationFramework bbase)
SCOOCNaiveReasoner.getModel(ArgumentationFramework bbase)
SemiQualifiedReasoner.getModel(ArgumentationFramework bbase)
SimpleAdmissibleReasoner.getModel(ArgumentationFramework bbase)
SimpleCompleteReasoner.getModel(ArgumentationFramework bbase)
SimpleConflictFreeReasoner.getModel(ArgumentationFramework bbase)
SimpleEagerReasoner.getModel(ArgumentationFramework bbase)
SimpleGroundedReasoner.getModel(ArgumentationFramework bbase)
SimpleIdealReasoner.getModel(ArgumentationFramework bbase)
SimpleNaiveReasoner.getModel(ArgumentationFramework bbase)
SimplePreferredReasoner.getModel(ArgumentationFramework bbase)
SimpleResolutionBasedReasoner.getModel(ArgumentationFramework bbase)
SimpleSccCompleteReasoner.getModel(ArgumentationFramework bbase)
SimpleSccRecursiveReasoner.getModel(ArgumentationFramework bbase)
SimpleSemiStableReasoner.getModel(ArgumentationFramework bbase)
SimpleStableReasoner.getModel(ArgumentationFramework bbase)
SimpleStageReasoner.getModel(ArgumentationFramework bbase)
SolidAdmissibleReasoner.getModel(ArgumentationFramework bbase)
Stage2Reasoner.getModel(ArgumentationFramework bbase)
StronglyAdmissibleReasoner.getModel(ArgumentationFramework bbase)
WeaklyAdmissibleReasoner.getModel(ArgumentationFramework bbase)
returns one weakly admissible set of bbaseWeaklyCompleteReasoner.getModel(ArgumentationFramework bbase)
WeaklyGroundedReasoner.getModel(ArgumentationFramework bbase)
WeaklyPreferredReasoner.getModel(ArgumentationFramework bbase)
AbstractSatExtensionReasoner.getModels(ArgumentationFramework bbase)
ProboReasoner.getModels(ArgumentationFramework bbase)
QualifiedReasoner.getModels(ArgumentationFramework bbase)
SccCF2Reasoner.getModels(ArgumentationFramework bbase)
SCF2Reasoner.getModels(ArgumentationFramework bbase)
SCOOCNaiveReasoner.getModels(ArgumentationFramework bbase)
SemiQualifiedReasoner.getModels(ArgumentationFramework bbase)
SimpleAdmissibleReasoner.getModels(ArgumentationFramework bbase)
SimpleCompleteReasoner.getModels(ArgumentationFramework bbase)
SimpleConflictFreeReasoner.getModels(ArgumentationFramework bbase)
SimpleEagerReasoner.getModels(ArgumentationFramework bbase)
SimpleGroundedReasoner.getModels(ArgumentationFramework bbase)
SimpleIdealReasoner.getModels(ArgumentationFramework bbase)
SimpleNaiveReasoner.getModels(ArgumentationFramework bbase)
SimplePreferredReasoner.getModels(ArgumentationFramework bbase)
SimpleResolutionBasedReasoner.getModels(ArgumentationFramework bbase)
compute the extension with the base semantics of this.semanticSimpleSccCompleteReasoner.getModels(ArgumentationFramework bbase)
SimpleSccRecursiveReasoner.getModels(ArgumentationFramework bbase)
SimpleSemiStableReasoner.getModels(ArgumentationFramework bbase)
SimpleStableReasoner.getModels(ArgumentationFramework bbase)
SimpleStageReasoner.getModels(ArgumentationFramework bbase)
SolidAdmissibleReasoner.getModels(ArgumentationFramework bbase)
Stage2Reasoner.getModels(ArgumentationFramework bbase)
StronglyAdmissibleReasoner.getModels(ArgumentationFramework bbase)
WeaklyAdmissibleReasoner.getModels(ArgumentationFramework bbase)
computes all weakly admissible sets of bbase.WeaklyCompleteReasoner.getModels(ArgumentationFramework bbase)
WeaklyGroundedReasoner.getModels(ArgumentationFramework bbase)
WeaklyPreferredReasoner.getModels(ArgumentationFramework bbase)
-
Uses of ArgumentationFramework in org.tweetyproject.arg.dung.semantics
Modifier and TypeMethodDescriptionboolean
AbstractArgumentationInterpretation.satisfies(ArgumentationFramework beliefBase)
boolean
Extension.satisfies(ArgumentationFramework beliefBase)
ModifierConstructorDescriptionLabeling(ArgumentationFramework theory, Extension ext)
Creates a new labeling from the given extension wrt. -
Uses of ArgumentationFramework in org.tweetyproject.arg.dung.syntax
Modifier and TypeClassDescriptionclass
This class implements an abstract argumentation theory in the sense of Dung.class
Minimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelings -
Uses of ArgumentationFramework in org.tweetyproject.arg.prob.syntax
Modifier and TypeClassDescriptionclass
This class implements the probabilistic argumentation framework approach of [Li, Oren, Norman. -
Uses of ArgumentationFramework in org.tweetyproject.arg.rankings.reasoner
Modifier and TypeMethodDescriptionBurdenBasedRankingReasoner.getModel(ArgumentationFramework base)
CategorizerRankingReasoner.getModel(ArgumentationFramework base)
CounterTransitivityReasoner.getModel(ArgumentationFramework bbase)
CountingRankingReasoner.getModel(ArgumentationFramework kb)
DiscussionBasedRankingReasoner.getModel(ArgumentationFramework kb)
IteratedGradedDefenseReasoner.getModel(ArgumentationFramework bbase)
ProbabilisticRankingReasoner.getModel(ArgumentationFramework aaf)
PropagationRankingReasoner.getModel(ArgumentationFramework kb)
SAFRankingReasoner.getModel(ArgumentationFramework kb)
StrategyBasedRankingReasoner.getModel(ArgumentationFramework kb)
TuplesRankingReasoner.getModel(ArgumentationFramework kb)
BurdenBasedRankingReasoner.getModels(ArgumentationFramework bbase)
CategorizerRankingReasoner.getModels(ArgumentationFramework bbase)
CounterTransitivityReasoner.getModels(ArgumentationFramework bbase)
CountingRankingReasoner.getModels(ArgumentationFramework bbase)
DiscussionBasedRankingReasoner.getModels(ArgumentationFramework bbase)
IteratedGradedDefenseReasoner.getModels(ArgumentationFramework bbase)
ProbabilisticRankingReasoner.getModels(ArgumentationFramework bbase)
PropagationRankingReasoner.getModels(ArgumentationFramework bbase)
SAFRankingReasoner.getModels(ArgumentationFramework bbase)
StrategyBasedRankingReasoner.getModels(ArgumentationFramework bbase)
TuplesRankingReasoner.getModels(ArgumentationFramework bbase)
-
Uses of ArgumentationFramework in org.tweetyproject.arg.saf.syntax
Modifier and TypeClassDescriptionclass
This class represents a structured argumentation framework, i.e. -
Uses of ArgumentationFramework in org.tweetyproject.arg.setaf.reasoners
Modifier and TypeMethodDescriptionSimpleAdmissibleSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleCompleteSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleConflictFreeSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleEagerSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleGroundedSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleIdealSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleNaiveSetAfReasoner.getModel(ArgumentationFramework bbase)
SimplePreferredSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleSemiStableSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleStableSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleStageSetAfReasoner.getModel(ArgumentationFramework bbase)
SimpleAdmissibleSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleCompleteSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleConflictFreeSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleEagerSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleGroundedSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleIdealSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleNaiveSetAfReasoner.getModels(ArgumentationFramework bbase)
SimplePreferredSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleSemiStableSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleStableSetAfReasoner.getModels(ArgumentationFramework bbase)
SimpleStageSetAfReasoner.getModels(ArgumentationFramework bbase)
-
Uses of ArgumentationFramework in org.tweetyproject.arg.setaf.syntax
Modifier and TypeClassDescriptionclass
This class implements an abstract argumentation theory in the sense of Dung on SetAfs. -
Uses of ArgumentationFramework in org.tweetyproject.arg.social.syntax
Modifier and TypeClassDescriptionclass
This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins.