Uses of Package
net.sf.tweety.logics.cl.kappa
-
Packages that use net.sf.tweety.logics.cl.kappa Package Description net.sf.tweety.logics.cl.kappa net.sf.tweety.logics.cl.reasoner net.sf.tweety.logics.cl.rules -
Classes in net.sf.tweety.logics.cl.kappa used by net.sf.tweety.logics.cl.kappa Class Description KappaTerm This interface defines a kappa term, that can be evaluated, it can return its value, which is -1 as long as the kappa-term cannot be evaluated and it can return a value for that we know that the kappa-term value is greatar or equal to that value.KappaValue Represents a Kappa-Value for the c-revision, it contains twoKappaMin
instances, bothKappaValue
andKappaMin
implement theKappaTerm
interface. -
Classes in net.sf.tweety.logics.cl.kappa used by net.sf.tweety.logics.cl.reasoner Class Description KappaValue Represents a Kappa-Value for the c-revision, it contains twoKappaMin
instances, bothKappaValue
andKappaMin
implement theKappaTerm
interface. -
Classes in net.sf.tweety.logics.cl.kappa used by net.sf.tweety.logics.cl.rules Class Description KappaValue Represents a Kappa-Value for the c-revision, it contains twoKappaMin
instances, bothKappaValue
andKappaMin
implement theKappaTerm
interface.