| Class | Description |
|---|---|
| AbstractDeductiveArgumentationReasoner |
This class contains common characteristics for deductive argumentation
reasoner.
|
| CompilationReasoner |
This class implements the approach of knowledge base compilation as proposed in
Philippe Besnard and Anthony Hunter. |
| DeductiveKnowledgeBase |
Instances of this class represent deductive knowledge bases,
i.e.
|
| SimpleReasoner |
This class implements a brute force approach to deductive argumentation.
|