A rule that is applicable by the
This class models a brute force c-reasoner for conditional logic.
This class models a belief set on conditional logic, i.e.
This class models a c-reasoner for conditional logic.
Implements the approach from
This is a reasoner using c-representation and rules to solve these c-representations.
This class models a z-reasoner for conditional logic.