Package | Description |
---|---|
net.sf.tweety.arg.deductive | |
net.sf.tweety.arg.deductive.semantics | |
net.sf.tweety.arg.prob.test.deductive |
Class and Description |
---|
AbstractDeductiveArgumentationReasoner
This class contains common characteristics for deductive argumentation
reasoner.
|
Class and Description |
---|
DeductiveKnowledgeBase
Instances of this class represent deductive knowledge bases,
i.e.
|
Class and Description |
---|
DeductiveKnowledgeBase
Instances of this class represent deductive knowledge bases,
i.e.
|