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