| Class and 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. |
| 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.
|
| Class and Description |
|---|
| ArgumentTree
Instances of this class represent argument trees in the sense
of Definition 6.1 in
Philippe Besnard and Anthony Hunter. |
| DeductiveArgumentNode
Extends a deductive argument by a unique identifier.
|
| Class and Description |
|---|
| ArgumentTree
Instances of this class represent argument trees in the sense
of Definition 6.1 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.
|
| Class and Description |
|---|
| DeductiveArgument
Instances of this class represent arguments in the sense
of Definition 3.1 in
Philippe Besnard and Anthony Hunter. |
| Class and Description |
|---|
| ArgumentTree
Instances of this class represent argument trees in the sense
of Definition 6.1 in
Philippe Besnard and Anthony Hunter. |
| DeductiveArgumentNode
Extends a deductive argument by a unique identifier.
|