Uses of Interface
org.tweetyproject.arg.dung.syntax.ArgumentationFramework

Packages that use ArgumentationFramework

Package	Description
org.tweetyproject.agents.dialogues
org.tweetyproject.agents.dialogues.structured
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.dung.semantics
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.prob.syntax
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.arg.saf.syntax
org.tweetyproject.arg.setaf.reasoners
org.tweetyproject.arg.setaf.syntax
org.tweetyproject.arg.social.syntax

Uses of ArgumentationFramework in org.tweetyproject.agents.dialogues

Classes in org.tweetyproject.agents.dialogues that implement ArgumentationFramework

Modifier and Type	Class	Description
class	ExecutableDungTheory	This class packs a Dung theory into an executable object.

Uses of ArgumentationFramework in org.tweetyproject.agents.dialogues.structured

Classes in org.tweetyproject.agents.dialogues.structured that implement ArgumentationFramework

Modifier and Type	Class	Description
class	PerceivableStructuredArgumentationFramework	This class packs a structured argumentation framework into a perceivable object.

Uses of ArgumentationFramework in org.tweetyproject.arg.dung.reasoner

Methods in org.tweetyproject.arg.dung.reasoner with parameters of type ArgumentationFramework

Modifier and Type	Method	Description
Extension	AbstractSatExtensionReasoner.getModel(ArgumentationFramework bbase)
Extension	ProboReasoner.getModel(ArgumentationFramework bbase)
Extension	QualifiedReasoner.getModel(ArgumentationFramework bbase)
Extension	SccCF2Reasoner.getModel(ArgumentationFramework bbase)
Extension	SCF2Reasoner.getModel(ArgumentationFramework bbase)
Extension	SCOOCNaiveReasoner.getModel(ArgumentationFramework bbase)
Extension	SemiQualifiedReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleAdmissibleReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleCompleteReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleConflictFreeReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleEagerReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleGroundedReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleIdealReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleNaiveReasoner.getModel(ArgumentationFramework bbase)
Extension	SimplePreferredReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleResolutionBasedReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleSccCompleteReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleSccRecursiveReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleSemiStableReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleStableReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleStageReasoner.getModel(ArgumentationFramework bbase)
Extension	SolidAdmissibleReasoner.getModel(ArgumentationFramework bbase)
Extension	Stage2Reasoner.getModel(ArgumentationFramework bbase)
Extension	StronglyAdmissibleReasoner.getModel(ArgumentationFramework bbase)
Extension	WeaklyAdmissibleReasoner.getModel(ArgumentationFramework bbase)	returns one weakly admissible set of bbase
Extension	WeaklyCompleteReasoner.getModel(ArgumentationFramework bbase)
Extension	WeaklyGroundedReasoner.getModel(ArgumentationFramework bbase)
Extension	WeaklyPreferredReasoner.getModel(ArgumentationFramework bbase)
Collection<Extension>	AbstractSatExtensionReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	ProboReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	QualifiedReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SccCF2Reasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SCF2Reasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SCOOCNaiveReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SemiQualifiedReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleAdmissibleReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleCompleteReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleConflictFreeReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleEagerReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleGroundedReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleIdealReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleNaiveReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimplePreferredReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleResolutionBasedReasoner.getModels(ArgumentationFramework bbase)	compute the extension with the base semantics of this.semantic
Collection<Extension>	SimpleSccCompleteReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleSccRecursiveReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleSemiStableReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleStableReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleStageReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SolidAdmissibleReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	Stage2Reasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	StronglyAdmissibleReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	WeaklyAdmissibleReasoner.getModels(ArgumentationFramework bbase)	computes all weakly admissible sets of bbase.
Collection<Extension>	WeaklyCompleteReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	WeaklyGroundedReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	WeaklyPreferredReasoner.getModels(ArgumentationFramework bbase)

Uses of ArgumentationFramework in org.tweetyproject.arg.dung.semantics

Methods in org.tweetyproject.arg.dung.semantics with parameters of type ArgumentationFramework

Modifier and Type	Method	Description
boolean	AbstractArgumentationInterpretation.satisfies(ArgumentationFramework beliefBase)
boolean	Extension.satisfies(ArgumentationFramework beliefBase)

Constructors in org.tweetyproject.arg.dung.semantics with parameters of type ArgumentationFramework

Modifier	Constructor	Description
	Labeling(ArgumentationFramework theory, Extension ext)	Creates a new labeling from the given extension wrt.

Uses of ArgumentationFramework in org.tweetyproject.arg.dung.syntax

Classes in org.tweetyproject.arg.dung.syntax that implement ArgumentationFramework

Modifier and Type	Class	Description
class	DungTheory	This class implements an abstract argumentation theory in the sense of Dung.
class	WeightedDungTheory	Minimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelings

Uses of ArgumentationFramework in org.tweetyproject.arg.prob.syntax

Classes in org.tweetyproject.arg.prob.syntax that implement ArgumentationFramework

Modifier and Type	Class	Description
class	ProbabilisticArgumentationFramework	This class implements the probabilistic argumentation framework approach of [Li, Oren, Norman.

Uses of ArgumentationFramework in org.tweetyproject.arg.rankings.reasoner

Methods in org.tweetyproject.arg.rankings.reasoner with parameters of type ArgumentationFramework

Modifier and Type	Method	Description
LatticeArgumentRanking	BurdenBasedRankingReasoner.getModel(ArgumentationFramework base)
NumericalArgumentRanking	CategorizerRankingReasoner.getModel(ArgumentationFramework base)
LatticeArgumentRanking	CounterTransitivityReasoner.getModel(ArgumentationFramework bbase)
NumericalArgumentRanking	CountingRankingReasoner.getModel(ArgumentationFramework kb)
LatticeArgumentRanking	DiscussionBasedRankingReasoner.getModel(ArgumentationFramework kb)
LatticeArgumentRanking	IteratedGradedDefenseReasoner.getModel(ArgumentationFramework bbase)
NumericalArgumentRanking	ProbabilisticRankingReasoner.getModel(ArgumentationFramework aaf)
LatticeArgumentRanking	PropagationRankingReasoner.getModel(ArgumentationFramework kb)
NumericalArgumentRanking	SAFRankingReasoner.getModel(ArgumentationFramework kb)
NumericalArgumentRanking	StrategyBasedRankingReasoner.getModel(ArgumentationFramework kb)
LatticeArgumentRanking	TuplesRankingReasoner.getModel(ArgumentationFramework kb)
Collection<LatticeArgumentRanking>	BurdenBasedRankingReasoner.getModels(ArgumentationFramework bbase)
Collection<NumericalArgumentRanking>	CategorizerRankingReasoner.getModels(ArgumentationFramework bbase)
Collection<LatticeArgumentRanking>	CounterTransitivityReasoner.getModels(ArgumentationFramework bbase)
Collection<NumericalArgumentRanking>	CountingRankingReasoner.getModels(ArgumentationFramework bbase)
Collection<LatticeArgumentRanking>	DiscussionBasedRankingReasoner.getModels(ArgumentationFramework bbase)
Collection<LatticeArgumentRanking>	IteratedGradedDefenseReasoner.getModels(ArgumentationFramework bbase)
Collection<NumericalArgumentRanking>	ProbabilisticRankingReasoner.getModels(ArgumentationFramework bbase)
Collection<LatticeArgumentRanking>	PropagationRankingReasoner.getModels(ArgumentationFramework bbase)
Collection<NumericalArgumentRanking>	SAFRankingReasoner.getModels(ArgumentationFramework bbase)
Collection<NumericalArgumentRanking>	StrategyBasedRankingReasoner.getModels(ArgumentationFramework bbase)
Collection<LatticeArgumentRanking>	TuplesRankingReasoner.getModels(ArgumentationFramework bbase)

Uses of ArgumentationFramework in org.tweetyproject.arg.saf.syntax

Classes in org.tweetyproject.arg.saf.syntax that implement ArgumentationFramework

Modifier and Type	Class	Description
class	StructuredArgumentationFramework	This class represents a structured argumentation framework, i.e.

Uses of ArgumentationFramework in org.tweetyproject.arg.setaf.reasoners

Methods in org.tweetyproject.arg.setaf.reasoners with parameters of type ArgumentationFramework

Modifier and Type	Method	Description
Extension	SimpleAdmissibleSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleCompleteSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleConflictFreeSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleEagerSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleGroundedSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleIdealSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleNaiveSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimplePreferredSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleSemiStableSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleStableSetAfReasoner.getModel(ArgumentationFramework bbase)
Extension	SimpleStageSetAfReasoner.getModel(ArgumentationFramework bbase)
Collection<Extension>	SimpleAdmissibleSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleCompleteSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleConflictFreeSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleEagerSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleGroundedSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleIdealSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleNaiveSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimplePreferredSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleSemiStableSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleStableSetAfReasoner.getModels(ArgumentationFramework bbase)
Collection<Extension>	SimpleStageSetAfReasoner.getModels(ArgumentationFramework bbase)

Uses of ArgumentationFramework in org.tweetyproject.arg.setaf.syntax

Classes in org.tweetyproject.arg.setaf.syntax that implement ArgumentationFramework

Modifier and Type	Class	Description
class	SetAf	This class implements an abstract argumentation theory in the sense of Dung on SetAfs.

Uses of ArgumentationFramework in org.tweetyproject.arg.social.syntax

Classes in org.tweetyproject.arg.social.syntax that implement ArgumentationFramework

Modifier and Type	Class	Description
class	SocialAbstractArgumentationFramework	This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins.