Package org.tweetyproject.arg.dung.examples

package org.tweetyproject.arg.dung.examples

Related Packages

Package	Description
org.tweetyproject.arg.dung

Classes

Class	Description
AcceptabilityReasonerExample	This example shows how the different acceptability reasoners work.
AFLearnerExample	Showcasing how to use the implementation of the learning algorithm
CF2Example	Example code for CF2 semantics.
ClaimBasedReasonersTest	test for claim based reasoners
DivisionExample	Example code for working with divisions.
DungTheoryGeneratorExample	Example code for generating dung theories and exporting them to apx format.
DungTheoryPlotterExample	This class summarizes some examples, showcasing the usage of the DungTheoryPlotter to visualize argumentation frameworks , also called DungTheory.
EquivalenceClassifierExample	This class summarizes example showing how to use the EquivalenceClassifier
EquivalenceCompExFinderExample	This class represents a summary of examples to show the use of EquivalenceCompExFinder.
ExampleFinderExample	example to show the use of the ExampleFinder class
ExtendedExampleFinderExample	example to show the use of the ExtendedExampleFinder class
ExtensionRankingExample	Example on how to use the OrderingSemanticsReasoner.
IncompleteReasonerExample	example of a problem for an incomplete reasoner
IndependenceExample	Example usage of the Independence class example theory taken from: Rienstra, Tjitze, et al.
KwtGeneratorExample	Example code for generating a lot of KWT graphs.
LearningExample	Argument Learning example.
NiskanenExample	*description missing*
PrincipleExample	Example code for principles for argumentation semantics
QualifiedExample	Example on how to use the qualified and semi-qualified semantics reasoners.
ResolutionbasedSolverTest	*description missing*
SerialisableExtensionReasonerExample	This class summarises examples displaying the usage of SerialisableExtensionReasoner for different types of serialisable semantics.
SerialisationAnalysisPlotterExample	This class represents a summary of examples to show the use of SerialisationAnalysisPlotter.
SerialisationGraphGeneratorExample	This class summarises examples displaying the usage of SerialisationGraphGenerator for a chosen type of serialisable semantics.
SerialisationGraphPlotterExample	This class summarises examples displaying the usage of SerialisationGraphPlotter for a chosen type of serialisable semantics.
StratifiedLabelingExample	Example code for using stratified labelings by Thimm/Kern-Isberner.
StrongAdmissibleExample	*description missing*
StrongEquivalenceExample	Example usage of the StrongEquivalenceChecker class
VacuousReductReasonerExample	example for the vacuous reduct reasoner
WeakSemanticsExample	Example usage of the reasoner for weak semantics