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