| Class | Description |
|---|---|
| ArgumentTree |
Instances of this class represent argument trees in the sense
of Definition 6.1 in
Philippe Besnard and Anthony Hunter. |
| Compilation |
Instances of this class are compilations in the sense of
Definition 8 in
Philippe Besnard and Anthony Hunter. |
| CompilationNode |
Instances of this class represent nodes in the compilation of
a knowledge base, i.e.
|
| DeductiveArgument |
Instances of this class represent arguments in the sense
of Definition 3.1 in
Philippe Besnard and Anthony Hunter. |
| DeductiveArgumentNode |
Extends a deductive argument by a unique identifier.
|