Index

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 and Interfaces|All Packages|Constant Field Values|Serialized Form

K

KappaMin - Class in org.tweetyproject.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 org.tweetyproject.logics.cl.kappa.KappaMin

Default

KappaSum - Class in org.tweetyproject.logics.cl.kappa

This constructs represents a sum of kappa values (or terms).

KappaSum() - Constructor for class org.tweetyproject.logics.cl.kappa.KappaSum

Default

KappaTerm - Interface in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.cl.kappa.KappaValue

Ctor: Generates a kappa value for the given Conditional with the given index.

kb(String) - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost

Sets the knowledge base (KB) for the ABA reasoner post request.

kb(String) - Method in class org.tweetyproject.web.services.delp.DeLPPost

Sets the knowledge base (KB) provided in the DeLP request.

kb(String) - Method in class org.tweetyproject.web.services.delp.DeLPResponse

Sets the knowledge base (KB) provided in the DeLP response.

kb(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost

Sets the knowledge base identifier (kb) used in the analysis and returns this instance for method chaining.

kb(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse

Sets the knowledge base (kb) reference or identifier used during the evaluation of inconsistency and returns this response object for method chaining.

kb_format(String) - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost

Sets the format of the knowledge base (KB).

kBipolar() - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework

Returns the number of non-bipolar links, indicating the degree of bipolarity in this ADF.

KBipolarSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings

The KBipolarSatEncoding class provides an encoding of a bipolar argumentation framework into a propositional formula for SAT solving.

KBipolarSatEncoding(AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.KBipolarSatEncoding

Constructs a KBipolarSatEncoding instance with the given ADF and propositional mapping.

KBipolarStateProcessor - Class in org.tweetyproject.arg.adf.reasoner.sat.processor

The KBipolarStateProcessor class is responsible for processing the state of an AbstractDialecticalFramework (ADF) by encoding its bipolar and k-bipolar structure into logical clauses.

KBipolarStateProcessor(AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.processor.KBipolarStateProcessor

Constructs a new KBipolarStateProcessor for the given Abstract Dialectical Framework (ADF) and propositional mapping.

KernelContractionOperator<T> - Class in org.tweetyproject.beliefdynamics.kernels

This class implements kernel contraction for belief bases [Hansson:2001].

KernelContractionOperator(IncisionFunction<T>, KernelProvider<T>) - Constructor for class org.tweetyproject.beliefdynamics.kernels.KernelContractionOperator

Creates a new kernel contraction operator with the given incision function.

KernelProvider<T> - Interface in org.tweetyproject.commons

Classes implementing this interface are able to provide kernels (=minimal proofs).

keySet() - Method in class org.tweetyproject.arg.adf.util.CacheMap

keySet() - Method in class org.tweetyproject.arg.adf.util.LazyMap

keySet() - Method in class org.tweetyproject.arg.dung.semantics.Labeling

keySet() - Method in class org.tweetyproject.arg.dung.semantics.MinMaxNumbering

keySet() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling

keySet() - Method in class org.tweetyproject.comparator.NumericalPartialOrder

keySet() - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution

keySet() - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation

keySet() - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld

keySet() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution

keySet() - Method in class org.tweetyproject.math.probability.ProbabilityFunction

kind - Variable in class org.tweetyproject.arg.delp.parser.Token

An integer that describes the kind of this token.

kind - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

An integer that describes the kind of this token.

kind - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

An integer that describes the kind of this token.

kind - Variable in class org.tweetyproject.lp.asp.parser.Token

An integer that describes the kind of this token.

kind - Variable in class org.tweetyproject.preferences.io.Token

An integer that describes the kind of this token.

KnapSack - Class in org.tweetyproject.math.examples

This class implements a KnapSack problem

KnapSack(ArrayList<ElementOfCombinatoricsProb>, Term) - Constructor for class org.tweetyproject.math.examples.KnapSack

constructor

KnapSack_solvedWithGeneticOpt - Class in org.tweetyproject.math.examples

example for KnapSack via GenOpt

KnapSack_solvedWithGeneticOpt() - Constructor for class org.tweetyproject.math.examples.KnapSack_solvedWithGeneticOpt

Constructor

KnapSack_solvedWithIteratedLocalSearch2 - Class in org.tweetyproject.math.examples

Class implementing an example for a TSP on a cartesian fully connected graph

KnapSack_solvedWithIteratedLocalSearch2() - Constructor for class org.tweetyproject.math.examples.KnapSack_solvedWithIteratedLocalSearch2

Constructor

KnapSack_solvedWithSimAn - Class in org.tweetyproject.math.examples

example for KnaSack via SimAn

KnapSack_solvedWithSimAn() - Constructor for class org.tweetyproject.math.examples.KnapSack_solvedWithSimAn

Constructor

Knapsack_solvedWithStochasticLocalSearch - Class in org.tweetyproject.math.examples

Class implementing an example for a TSP on a cartesian fully connected graph

Knapsack_solvedWithStochasticLocalSearch() - Constructor for class org.tweetyproject.math.examples.Knapsack_solvedWithStochasticLocalSearch

Constructor

KnapSack_solvedWithTabuSearch - Class in org.tweetyproject.math.examples

example of KnapSack via Tabu Search

KnapSack_solvedWithTabuSearch() - Constructor for class org.tweetyproject.math.examples.KnapSack_solvedWithTabuSearch

Constructor

KnowledgeBase - Class in org.tweetyproject.arg.dung.causal.syntax

This class describes a knowledge base.

KnowledgeBase(Set<PlFormula>) - Constructor for class org.tweetyproject.arg.dung.causal.syntax.KnowledgeBase

Constructs a knowledge base with a specified set of background assumptions.

KOptimisationReasoner - Interface in org.tweetyproject.arg.dung.reasoner

Interface for reasoner capable of optimising k extensions.

KppADFFormatParser - Class in org.tweetyproject.arg.adf.io

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 org.tweetyproject.arg.adf.io.KppADFFormatParser

KppADFFormatParserTest - Class in org.tweetyproject.arg.adf.parser.test

KppADFFormatParserTest() - Constructor for class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

KppADFFormatWriter - Class in org.tweetyproject.arg.adf.io

KppADFFormatWriter class

KppADFFormatWriter() - Constructor for class org.tweetyproject.arg.adf.io.KppADFFormatWriter

KripkeModel - Class in org.tweetyproject.logics.ml.semantics

This class models a Kripke model, i.e.

KripkeModel(Set<? extends Interpretation<FolBeliefSet, FolFormula>>, AccessibilityRelation) - Constructor for class org.tweetyproject.logics.ml.semantics.KripkeModel

Creates a new Kripke model.

KwtDungTheoryGenerator - Class in org.tweetyproject.arg.dung.util

Creates AAFs with a complex structure for tasks related to skeptical reasoning wrt.

KwtDungTheoryGenerator(int, int, int, int, int, double, double, double, double, double, double, double) - Constructor for class org.tweetyproject.arg.dung.util.KwtDungTheoryGenerator

KwtGeneratorExample - Class in org.tweetyproject.arg.dung.examples

Example code for generating a lot of KWT graphs.

KwtGeneratorExample() - Constructor for class org.tweetyproject.arg.dung.examples.KwtGeneratorExample

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 and Interfaces|All Packages|Constant Field Values|Serialized Form