Package net.sf.tweety.logics.cl.reasoner

Interface Summary

Interface	Description
RuleBasedCReasoner.Rule	A rule that is applicable by the RuleBasedCReasoner to reason a c-representation given a conditional belief base.

Class Summary

Class	Description
AbstractConditionalLogicReasoner	Abstract ancestor for all reasoner for conditional logic.
CReasoner	This class models a c-reasoner for conditional logic.
RuleBasedCReasoner	This is a reasoner using c-representation and rules to solve these c-representations.
SimpleCReasoner	This class models a brute force c-reasoner for conditional logic.
ZReasoner	This class models a z-reasoner for conditional logic.