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. |