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.causal.syntax
org.tweetyproject.arg.dung.semantics
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.prob.syntax
org.tweetyproject.arg.saf.syntax
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.causal.syntax

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

Modifier and Type	Class	Description
class	InducedTheory	This class describes an abstract argumentation framework that was induced by a CausalKnowledgeBase Reference "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022

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

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

Modifier and Type	Class	Description
class	AbstractArgumentationInterpretation<T extends ArgumentationFramework<Argument>>	This abstract class acts as a common ancestor for interpretations to abstract argumentation frameworks.
class	Extension<T extends ArgumentationFramework<Argument>>	This class models a (possible) extension of a Dung theory, i.e.

Methods in org.tweetyproject.arg.dung.semantics that return types with arguments of type ArgumentationFramework

Modifier and Type	Method	Description
Extension<? extends ArgumentationFramework<Argument>>	Labeling.getArgumentsOfStatus(ArgumentStatus status)

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

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

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

Modifier	Constructor	Description
	Labeling(ArgumentationFramework<Argument> theory, Extension<? extends ArgumentationFramework<Argument>> 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	ClaimBasedTheory	implements claim based theory see: The Complexity Landscape of Claim-Augmented Argumentation Frameworks (Wolfgang Dvoˇr´ak Alexander Greßler Anna Rapberger StefanWoltran )
class	DungTheory	This class implements an abstract argumentation theory in the sense of Dung.
class	IncompleteTheory	implementation of incomplete argumentation frameworks
class	WeightedDungTheory	Minimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelings

Method parameters in org.tweetyproject.arg.dung.syntax with type arguments of type ArgumentationFramework

Modifier and Type	Method	Description
boolean	ArgumentationFramework.isAttacked(Arg a, Extension<? extends ArgumentationFramework> ext)
boolean	DungTheory.isAttacked(Argument argument, Extension<? extends ArgumentationFramework> ext)	returns true if some argument of ext attacks argument.
boolean	DungTheory.isAttackingAllOtherArguments(Extension<? extends ArgumentationFramework<Argument>> ext)	returns true if arguments attack all other arguments in the theory

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.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.syntax

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

Modifier and Type	Class	Description
class	SetAf	This class implements a SetAF in the sense of Nielson/Parson: See Nielsen, Soren Holbech and Parsons, Simon.

Method parameters in org.tweetyproject.arg.setaf.syntax with type arguments of type ArgumentationFramework

Modifier and Type	Method	Description
boolean	SetAf.isAttacked(Argument a, Extension<? extends ArgumentationFramework> setAfExtension)	returns true if some argument of ext attacks argument.

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.