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