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