| AbaElement<T extends Formula> |
Abstract class that models common properties of aba syntax elements.
|
| AbaRule<T extends Formula> |
A common interface for assumptions and inference rules.
|
| AbaTheory<T extends Formula> |
An implementation of Assumption Based Argumentation.
|
| Assumption<T extends Formula> |
This class models an assumption of an ABA theory.
|
| Deduction<T extends Formula> |
An argument derived from an ABA theory.
|
| InferenceRule<T extends Formula> |
This class models an inference rule from an ABA theory.
|
| Negation<T extends Formula> |
|