InfOCF+W
A tool for reasoning with conditional knowledge basesKnowledge base
Syntax: conjunction: "a,b"; disjunction "a;b"; negation "!a"; brackets ((a;b),a); tautology: Top; contradiction: Bottom
OCFs
C-representations / System Z
cw-minimal c-representationssum-minimal c-representations
ind-minimal c-representations
all c-representations
System Z
System W
Maximal impact
Number of conditionalsManual
Solutions
Query
Close
C-representations
cw-minimal
sum-minimal
ind-minimal
all
sum-minimal
ind-minimal
all
Maximal impact
number of conditionalsmanual
Inference mode
skepticalweakly skeptical
credulous
Other inference systems
System PSystem Z
System W