| CompleteReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the complete extensions.
|
| FlatAbaReasoner<T extends Formula> |
This class models a reasoner over ABA formulae.
|
| GeneralAbaReasoner<T extends Formula> |
This is an abstract generalization over non-flat ABA reasoners.
|
| IdealReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the ideal extension.
|
| PreferredReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the preferred extensions.
|
| StableReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the stable extensions.
|
| WellFoundedReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the ideal extension.
|