Package net.sf.tweety.arg.dung.examples

Class Summary

Class	Description
AcceptabilityReasonerExample	This example shows how the different acceptability reasoner work.
CF2Example	Example code for CF2 semantics
DivisionExample	Example code for working with divisions
DungTheoryGeneratorExample	Example code for generating dung theories and exporting them to apx format.
LearningExample
OrderingExample	example on how to use the OrderingSemanticsReasoner
QualifiedExample
StratifiedLabelingExample	Example code for using stratified labelings by Thimm/Kern-Isberner