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

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
 
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.
kBipolar() - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework
Returns the count k of non-bipolar links, which makes this ADF k-bipolar.
kBipolar() - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework
 
kBipolar() - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework
 
KBipolarSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings
 
KBipolarSatEncoding() - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.KBipolarSatEncoding
 
KBipolarStateProcessor - Class in net.sf.tweety.arg.adf.reasoner.sat.processor
 
KBipolarStateProcessor() - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.processor.KBipolarStateProcessor
 
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<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.adf.util.CacheMap
 
keySet() - Method in class net.sf.tweety.arg.adf.util.LazyMap
 
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.
KnapSack - Class in net.sf.tweety.math.examples
 
KnapSack(ArrayList<ElementOfCombinatoricsProb>, Term) - Constructor for class net.sf.tweety.math.examples.KnapSack
 
KnapSacktester - Class in net.sf.tweety.math.examples
 
KnapSacktester() - Constructor for class net.sf.tweety.math.examples.KnapSacktester
 
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(LinkStrategy, boolean) - Constructor for class net.sf.tweety.arg.adf.parser.KppADFFormatParser
 
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