Uses of Package
org.tweetyproject.logics.cl.kappa
-
Packages that use org.tweetyproject.logics.cl.kappa Package Description org.tweetyproject.logics.cl.kappa org.tweetyproject.logics.cl.reasoner org.tweetyproject.logics.cl.rules -
Classes in org.tweetyproject.logics.cl.kappa used by org.tweetyproject.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 org.tweetyproject.logics.cl.kappa used by org.tweetyproject.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 org.tweetyproject.logics.cl.kappa used by org.tweetyproject.logics.cl.rules Class Description KappaValue Represents a Kappa-Value for the c-revision, it contains twoKappaMin
instances, bothKappaValue
andKappaMin
implement theKappaTerm
interface.