Package net.sf.tweety.logics.cl

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
BruteForceCReasoner	This class models a brute force c-reasoner for conditional logic.
ClBeliefSet	This class models a belief set on conditional logic, i.e.
CReasoner	This class models a c-reasoner for conditional logic.
RelevanceReasoner	Implements the approach from James P.
RuleBasedCReasoner	This is a reasoner using c-representation and rules to solve these c-representations.
ZReasoner	This class models a z-reasoner for conditional logic.