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. |
SimpleReasoner |
This class implements a brute force approach to deductive argumentation.
|