| Class | Description |
|---|---|
| DeductiveArgMeReasoner |
This class implements the ME-reasoning approach from [Hunter, Thimm, 2013, in preparation].
|
| DeductiveProbabilisticKnowledgebase |
This class represents a probabilistic knowledge base in the sense of [Hunter, Thimm, 2013, in preparation].
|
| DeductiveProbTest |