- k - Variable in class net.sf.tweety.logics.pl.util.RandomSatSampler
-
The length of each clause
- kappa - Variable in class net.sf.tweety.logics.cl.reasoner.BruteForceCReasoner
-
The current vectors of kappa values.
- KappaMin - Class in net.sf.tweety.logics.cl.kappa
-
This class represents a minimum, its elements are
KappaTerm
instances although
in c-representation this are sums of Kappas
KappaSum
.
- KappaMin() - Constructor for class net.sf.tweety.logics.cl.kappa.KappaMin
-
- kappas - Variable in class net.sf.tweety.logics.cl.rules.RuleAdapter
-
the kappas the rule works on
- KappaSum - Class in net.sf.tweety.logics.cl.kappa
-
This constructs represents a sum of kappa values (or terms).
- KappaSum() - Constructor for class net.sf.tweety.logics.cl.kappa.KappaSum
-
- KappaTerm - Interface in net.sf.tweety.logics.cl.kappa
-
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 - Class in net.sf.tweety.logics.cl.kappa
-
- KappaValue(int, Conditional) - Constructor for class net.sf.tweety.logics.cl.kappa.KappaValue
-
Ctor: Generates a kappa value for the given
Conditional
with the given index.
- kb - Variable in class net.sf.tweety.arg.lp.semantics.AttackRelation
-
- kb - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
-
- kbs - Variable in class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
-
- KernelContractionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics.kernels
-
This class implements kernel contraction for belief bases [Hansson:2001].
- KernelContractionOperator(IncisionFunction<T>, KernelProvider<T>) - Constructor for class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator
-
Creates a new kernel contraction operator with the given incision function.
- kernelProvider - Variable in class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator
-
Used to determine kernels.
- KernelProvider<T extends Formula> - Interface in net.sf.tweety.commons
-
Classes implementing this interface are able to provide kernels (=minimal proofs).
- keySet() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
-
- keySet() - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
-
- keySet() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
-
- keySet() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
-
- keySet() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
-
- keySet() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
-
- keySet() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
-
- keySet() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
-
- kind - Variable in class net.sf.tweety.arg.delp.parser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.lp.asp.parser.Token
-
An integer that describes the kind of this token.
- kind - Variable in class net.sf.tweety.preferences.io.Token
-
An integer that describes the kind of this token.
- knownArguments - Variable in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
-
The set of arguments known by the agent.
- KripkeModel - Class in net.sf.tweety.logics.ml.semantics
-
This class models a Kripke model, i.e.
- KripkeModel(Set<? extends Interpretation<FolBeliefSet, FolFormula>>, AccessibilityRelation) - Constructor for class net.sf.tweety.logics.ml.semantics.KripkeModel
-
Creates a new Kripke model.