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 |