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.
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
PrincipleExample	Example code for principles for argumentation semantics
QualifiedExample	Example on how to use the qualified and semi-qualified semantics reasoners.
ResolutionbasedSolverTest
StratifiedLabelingExample	Example code for using stratified labelings by Thimm/Kern-Isberner.
StrongAdmissibleExample
StrongEquivalenceExample	Example usage of the StrongEquivalenceChecker class
VacuousReductReasonerExample	example for the vacuous reduct reasoner
WeakSemanticsExample	Example usage of the reasoner for weak semantics