Interface | Description |
---|---|
Accumulator |
Classes implementing this interface represent accumulators in the sense
of Definition 8.11 in
Philippe Besnard and Anthony Hunter. |
Class | Description |
---|---|
SimpleAccumulator |
This implementation of an accumulator simply sums
up the categorizations of the argument trees.
|