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 AFLearner for learning argumentation frameworks from labelings
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
EquivalenceExample	Example showcasing the use of different equivalence notions for abstract argumentation frameworks
ExtensionRankingExample	Example on how to use the OrderingSemanticsReasoner.
GraphPlotterExample	Example Usage of the AigGraphPlotter which renders a given graph via html in the webbrowser
IncompleteReasonerExample	example of a problem for an incomplete reasoner
IndependenceExample	Example usage of the Independence class
KwtGeneratorExample	Example code for generating a lot of KWT graphs.
LearningExample	Argumentation Framework Learning from Labelings example.
OptimisationExample	Illustrates the use of reasoner.KOptimisationReasoner
PrincipleExample	Example code for checking (non-)satisfaction of Principle for argumentation semantics
QualifiedSemanticsReasonerExample	Example on how to use the qualified and semi-qualified semantics reasoners.
ResolutionbasedSolverTest	Demonstrates the use of resolution-based solvers on Dung argumentation frameworks.
SerialisedExtensionReasonerExample	This class summarises examples displaying the usage of SerialisedExtensionReasoner for different types of serialisable semantics.
StratifiedLabelingExample	Example code for using stratified labelings by Thimm/Kern-Isberner.
VacuousReductReasonerExample	example for the vacuous reduct reasoner
WeakSemanticsExample	Example usage of the reasoners for weak semantics