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