| Class | Description |
|---|---|
| AbstractAspicReasoner<T extends Invertable> |
The abstract ancestor of all Aspic reasoner implementations
|
| ModuleBasedAspicReasoner<T extends Invertable> |
Slightly optimised reasoner for ASPIC.
|
| NaiveAspicReasoner<T extends Invertable> | |
| RandomAspicReasoner<T extends Invertable> |
This class implements an approximate reasoner for ASPIC+ that randomly
samples arguments.
|