A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes All Packages

K

k - Variable in class net.sf.tweety.logics.pl.util.RandomSatSampler

The length of each clause

K_BIPOLAR_ENCODING - Static variable in class net.sf.tweety.arg.adf.reasoner.processor.SatKBipolarStateProcessor

K_BIPOLAR_ENCODING - Static variable in class net.sf.tweety.arg.adf.reasoner.processor.SatPartialKBipolarInterpretationProcessor

kappa - Variable in class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner

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

Represents a Kappa-Value for the c-revision, it contains two KappaMin instances, both KappaValue and KappaMin implement the KappaTerm interface.

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

kBipolar() - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework

KBipolarSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.encodings

KBipolarSatEncoding() - Constructor for class net.sf.tweety.arg.adf.reasoner.encodings.KBipolarSatEncoding

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.StratifiedLabeling

keySet() - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking

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.

KppADFFormatParser - Class in net.sf.tweety.arg.adf.parser

A parser for the input format described at https://www.cs.helsinki.fi/group/coreo/k++adf/ Since the input format is only described informally, we assume that each argument has to be defined before it can be used in some way, e.g.

KppADFFormatParser() - Constructor for class net.sf.tweety.arg.adf.parser.KppADFFormatParser

KppADFFormatParser.ACNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.AndNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.BinaryNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.CNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.IdentifierNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.IffNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.ImpNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.NegNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.Node - Class in net.sf.tweety.arg.adf.parser

Represents a node of the parse-tree.

KppADFFormatParser.OrNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.SNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.UnaryNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParser.XorNode - Class in net.sf.tweety.arg.adf.parser

KppADFFormatParserTest - Class in net.sf.tweety.arg.adf.parser.test

KppADFFormatParserTest() - Constructor for class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest

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.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes All Packages