| AspicExample |
ASPIC example code that shows how to construct an ASPIC theory programmatically.
|
| AspicExample2 |
ASPIC example code that shows how to parse an ASPIC file and ask queries.
|
| AspicExampleFol |
Example code for using ASPIC with first-order-logic formulas.
|
| AspicGeneratorExample |
Exemplary code illustrating the use of the ASPIC theory generator.
|
| AspicGeneratorExample2 |
This code shows the use of the ASPIC theory generator.
|
| AspicGeneratorExample3 |
This code shows the use of the ASPIC theory generator.
|
| DirectionalReasonerTest |
Test runtime of module-based vs.
|