| 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
|