Package | Description |
---|---|
net.sf.tweety.logics.cl.reasoner |
Modifier and Type | Class and Description |
---|---|
class |
BruteForceCReasoner
This class models a brute force c-reasoner for conditional logic.
|
class |
CReasoner
This class models a c-reasoner for conditional logic.
|
class |
RuleBasedCReasoner
This is a reasoner using c-representation and rules to solve these c-representations.
|
class |
ZReasoner
This class models a z-reasoner for conditional logic.
|