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.adf.syntax.adf
org.tweetyproject.arg.caf.syntax
org.tweetyproject.arg.dung.causal.syntax
org.tweetyproject.arg.dung.semantics
org.tweetyproject.arg.dung.syntax
org.tweetyproject.arg.eaf.syntax
org.tweetyproject.arg.extended.syntax
org.tweetyproject.arg.prob.syntax
org.tweetyproject.arg.saf.syntax
org.tweetyproject.arg.setaf.syntax
org.tweetyproject.arg.social.syntax
org.tweetyproject.arg.weighted.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.adf.syntax.adf

Subinterfaces of ArgumentationFramework in org.tweetyproject.arg.adf.syntax.adf

Modifier and Type	Interface	Description
interface	AbstractDialecticalFramework	The implementing subtypes must ensure the following properties: Immutability All methods return a non-null value if its parameters, e.g.

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

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

Modifier and Type	Class	Description
class	ConstrainedArgumentationFramework	This class implements a constrained abstract argumentation theory (CAF) using a propositional logic formula.

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.
	MinMaxNumbering(ArgumentationFramework<Argument> theory, Extension<? extends ArgumentationFramework<Argument>> extension)	Initializes a new Min-Max Numbering for the given theory and extension
	MinMaxNumbering(ArgumentationFramework<Argument> theory, Labeling labeling)	Initialize a new Min-Max Numbering from the given theory and labeling

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.
	MinMaxNumbering(ArgumentationFramework<Argument> theory, Extension<? extends ArgumentationFramework<Argument>> extension)	Initializes a new Min-Max Numbering for the given theory and extension

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)	Determines whether a given argument is attacked by any arguments in the specified extension.
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.eaf.syntax

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

Modifier and Type	Class	Description
class	EpistemicArgumentationFramework	This class implements an epistemic abstract argumentation theory (EAF) using modal logic formulas.

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

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

Modifier and Type	Class	Description
class	ExtendedTheory	Implementation of extended argumentation frameworks in the sense of Modgil
class	RecursiveExtendedTheory	Implementation of argumentation frameworks with recursive attacks in the sense of Baroni et al.

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

Modifier and Type	Method	Description
boolean	ExtendedTheory.isAttacked(Argument a, Extension<? extends ArgumentationFramework<?>> ext)
boolean	RecursiveExtendedTheory.isAttacked(Argument a, Extension<? extends ArgumentationFramework<?>> ext)

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:

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

Modifier and Type	Method	Description
boolean	SetAf.isAttacked(Argument argument, Extension<? extends ArgumentationFramework<?>> ext)	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.

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

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

Modifier and Type	Class	Description
class	WeightedArgumentationFramework<T>	This class implements a weighted abstract argumentation theory (WAF) using a C-Semiring.

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

Modifier and Type	Method	Description
boolean	WeightedArgumentationFramework.isAttacked(Argument argument, Extension<? extends ArgumentationFramework<?>> ext)	returns true if some argument of ext attacks argument and argument cannot w-defend itself.