| Class | Description |
|---|---|
| CompleteReasoner<T extends Formula> | |
| FlatABAReasoner<T extends Formula> | |
| GeneralABAReasoner<T extends Formula> | |
| IdealReasoner<T extends Formula> | |
| PreferredReasoner<T extends Formula> | |
| StableReasoner<T extends Formula> | |
| WellFoundedReasoner<T extends Formula> |