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.
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
IndependenceExample	Example usage of the Independence class example theory taken from: Rienstra, Tjitze, et al.
LearningExample	Argument Learning example.
NiskanenExample
OrderingExample	Example on how to use the OrderingSemanticsReasoner.
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
WeakSemanticsExample	Example usage of the reasoner for weak semantics