| Package | Description |
|---|---|
| net.sf.tweety.logics.cl.reasoner | |
| net.sf.tweety.logics.cl.rules |
| Class and Description |
|---|
| AbstractConditionalLogicReasoner
Abstract ancestor for all reasoner for conditional logic.
|
| RuleBasedCReasoner.Rule
A rule that is applicable by the
RuleBasedCReasoner to reason a
c-representation given a conditional belief base. |
| Class and Description |
|---|
| RuleBasedCReasoner.Rule
A rule that is applicable by the
RuleBasedCReasoner to reason a
c-representation given a conditional belief base. |