AcceptabilityReasonerExample |
This example shows how the different acceptability reasoners 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.
|
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.
|
QualifiedExample |
Example on how to use the qualified and semi-qualified semantics reasoners.
|
StratifiedLabelingExample |
Example code for using stratified labelings by Thimm/Kern-Isberner.
|
StrongEquivalenceExample |
Example usage of the StrongEquivalenceChecker class
|