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