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

B

b - Static variable in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure

b - Static variable in class net.sf.tweety.logics.cl.test.TestConditionalStructure

b - Variable in class net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest

b - Variable in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest

backup(int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

backup(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

backup(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

backup(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

backup(int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

BalancedMachineShop - Class in net.sf.tweety.logics.pcl.analysis

This class implements a consistency restorer using balanced distance minimization, see [Diss, Thimm] for details.

BalancedMachineShop(CulpabilityMeasure<ProbabilisticConditional, PclBeliefSet>) - Constructor for class net.sf.tweety.logics.pcl.analysis.BalancedMachineShop

base - Variable in class net.sf.tweety.math.term.Root

The base of the root

BASE_URI - Static variable in class net.sf.tweety.web.TweetyServer

BaseContractionOperator<T extends Formula> - Interface in net.sf.tweety.beliefdynamics

This is the interface for a classic belief base contraction operator, ie.

BaseExpansionOperator<T extends Formula> - Interface in net.sf.tweety.beliefdynamics

This is the interface for a classic belief base expansion operator, ie.

BaseRevisionOperator<T extends Formula> - Interface in net.sf.tweety.beliefdynamics

This is the interface for a classic belief base revision operator, ie.

bash - Variable in class net.sf.tweety.arg.dung.reasoner.ProboReasoner

Which shell to use.

bash - Variable in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner

Shell to run EProver

bash - Variable in class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner

Shell to run Prover9

bash - Variable in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner

Shell to run SPASS.

bash - Variable in class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner

Shell to run MleanCoP.

bash - Variable in class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner

Shell to run SPASS.

bash - Variable in class net.sf.tweety.logics.qbf.reasoner.QbfSolver

Shell for running solvers.

bash - Variable in class net.sf.tweety.lp.asp.reasoner.ClingoSolver

Shell to run Clingo

bash - Variable in class net.sf.tweety.lp.asp.reasoner.DLVSolver

Shell to run DLV

BasicArgument - Class in net.sf.tweety.arg.saf.syntax

This class models a basic argument in structured argumentation frameworks, i.e.

BasicArgument(String) - Constructor for class net.sf.tweety.arg.saf.syntax.BasicArgument

Deprecated.

BasicArgument(Proposition) - Constructor for class net.sf.tweety.arg.saf.syntax.BasicArgument

Creates a new basic argument with the given claim and empty support.

BasicArgument(Proposition, Set<Proposition>) - Constructor for class net.sf.tweety.arg.saf.syntax.BasicArgument

Creates a new basic argument with the given claim and the given support.

BasicArgumentSampler - Class in net.sf.tweety.arg.saf.util

This class implements a formula sampler for structured argumentation frameworks.

BasicArgumentSampler(Signature) - Constructor for class net.sf.tweety.arg.saf.util.BasicArgumentSampler

Creates a new basic argument sampler for the given signature.

BasicExampleTest1() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest

BasicExampleTest2() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest

BasicExampleTest3() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest

BasicExampleTest4() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest

batchFile - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions

beginColumn - Variable in class net.sf.tweety.arg.delp.parser.Token

The column number of the first character of this Token.

beginColumn - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

The column number of the first character of this Token.

beginColumn - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

The column number of the first character of this Token.

beginColumn - Variable in class net.sf.tweety.lp.asp.parser.Token

The column number of the first character of this Token.

beginColumn - Variable in class net.sf.tweety.preferences.io.Token

The column number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.arg.delp.parser.Token

The line number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

The line number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

The line number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.lp.asp.parser.Token

The line number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.preferences.io.Token

The line number of the first character of this Token.

BeginToken() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

BeginToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

BeginToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

BeginToken() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

BeginToken() - Method in class net.sf.tweety.preferences.io.SimpleCharStream

beliefBase - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

BeliefBase - Interface in net.sf.tweety.commons

This class captures an abstract knowledge base, i.e.

BeliefBaseMachineShop - Interface in net.sf.tweety.commons

Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.

beliefBases - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel

an ordered list of belief bases which are revised for the comparsation of the two selected revision methods

beliefbasesUpdated() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

Helper method.

beliefSet - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction

The belief set used by this transformation function.

beliefSet - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction

beliefSet - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction

beliefSet - Variable in class net.sf.tweety.web.services.InconsistencyMeasurementService.MeasurementCallee

BeliefSet<T extends Formula,S extends Signature> - Class in net.sf.tweety.commons

This class models a belief set, i.e.

BeliefSet() - Constructor for class net.sf.tweety.commons.BeliefSet

Creates a new (empty) belief set.

BeliefSet(Collection<? extends T>) - Constructor for class net.sf.tweety.commons.BeliefSet

Creates a new belief set with the given collection of formulae.

BeliefSet(S) - Constructor for class net.sf.tweety.commons.BeliefSet

Creates a new belief set with the given type of signature.

BELIEFSET_PATH - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample

BELIEFSET_PATH - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2

beliefSet2BitSet(PlBeliefSet) - Static method in class net.sf.tweety.logics.pl.util.CanonicalIterator

Creates a bitset representation of the given belief set.

BeliefSetConsistencyTester<T extends Formula> - Interface in net.sf.tweety.logics.commons.analysis

Classes extending this abstract class are capable of testing whether a given belief set is consistent.

BeliefSetInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis

Classes extending this abstract class represent inconsistency measures on belief sets.

BeliefSetInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure

BeliefSetIterator<T extends Formula,U extends BeliefSet<T,?>> - Interface in net.sf.tweety.commons

Classes implementing this interface are able to enumerate belief sets.

beliefSets - Static variable in class net.sf.tweety.logics.cl.examples.ReasonerExample

BeliefSetSampler<T extends Formula,U extends BeliefSet<T,?>> - Class in net.sf.tweety.commons

This abstract class models a random sampler for belief sets.

BeliefSetSampler(Signature) - Constructor for class net.sf.tweety.commons.BeliefSetSampler

Creates a new belief base sampler for the given signature.

BeliefSetSampler(Signature, int, int) - Constructor for class net.sf.tweety.commons.BeliefSetSampler

Creates a new belief base sampler for the given signature.

beliefState - Variable in class net.sf.tweety.agents.dialogues.oppmodels.ArguingAgent

The belief state of the agent.

BeliefState - Class in net.sf.tweety.agents.dialogues.oppmodels

This abstract class encapsulates the common characteristics of a belief state for arguing agents.

BeliefState(Extension, UtilityFunction<Argument, Extension>) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.BeliefState

Creates a new belief-state with the given parameters.

BeliefStateConfiguration - Class in net.sf.tweety.agents.dialogues.oppmodels.sim

This class encapsulates configuration options for generating belief states.

BeliefStateConfiguration() - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.BeliefStateConfiguration

BenchmarkResult - Class in net.sf.tweety.arg.adf.reasoner.test

A wrapper for the information we collect during benchmark calls.

BenchmarkResult(int, int, int, boolean, long, long) - Constructor for class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult

BenchmarkResult(Throwable) - Constructor for class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult

bestGuess(double[], double[], List<Term>, List<Variable>) - Method in class net.sf.tweety.math.opt.solver.HessianGradientDescent

Find the best guess.

betweennessCentralityNormalised(Graph<T>) - Static method in class net.sf.tweety.graphs.util.GraphUtil

Computes the normalised betweenness centrality of all nodes, i.e.

beVerbose - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions

BfgsRootFinder - Class in net.sf.tweety.math.opt

Implements the BFGS method to find zeros of a (multi-dimensional) function.

BfgsRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.BfgsRootFinder

Creates a new root finder for the given starting point and the given (multi-dimensional) function

BfgsRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.BfgsRootFinder

Creates a new root finder for the given starting point and the given function

BfgsSolver - Class in net.sf.tweety.math.opt.solver

This class implements the BFGS algorithm for solving unconstrained optimization problems.

BfgsSolver(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.BfgsSolver

bigInteger2BinaryString(BigInteger) - Static method in class net.sf.tweety.commons.util.ConversionTools

Provides a string representation of the bits in the given BigInteger.

bigInteger2BitSet(BigInteger) - Static method in class net.sf.tweety.commons.util.ConversionTools

Creates a bit set from the given BigInteger.

binary - Static variable in class net.sf.tweety.math.opt.solver.GlpkSolver

Path to the binary or lp_solve

binary - Static variable in class net.sf.tweety.math.opt.solver.LpSolve

Path to the binary or lp_solve

BinaryAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax

BinaryAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class net.sf.tweety.arg.adf.syntax.BinaryAcceptanceCondition

BinaryFunction<T,S,R> - Interface in net.sf.tweety.math.func

Encapsulates common methods of mathematical functions with a two parameters.

binaryLocation - Variable in class net.sf.tweety.commons.util.CygwinShell

binaryLocation - Variable in class net.sf.tweety.logics.fol.reasoner.EFOLReasoner

String representation of the EProver binary path.

binaryLocation - Variable in class net.sf.tweety.logics.fol.reasoner.Prover9FolReasoner

String representation of the EProver binary path.

binaryLocation - Variable in class net.sf.tweety.logics.fol.reasoner.SpassFolReasoner

String representation of the SPASS path.

binaryLocation - Variable in class net.sf.tweety.logics.ml.reasoner.SPASSMlReasoner

String representation of the SPASS path.

binaryLocation - Variable in class net.sf.tweety.logics.pl.sat.LingelingSolver

The binary location of Lingeling.

binaryLocation - Variable in class net.sf.tweety.logics.pl.sat.OpenWboSolver

The binary location of open-wbo.

binaryLocation - Variable in class net.sf.tweety.logics.qbf.reasoner.CadetSolver

String representation of the Cadet binary path.

binaryLocation - Variable in class net.sf.tweety.logics.qbf.reasoner.CaqeSolver

String representation of the CAQE binary path.

binaryLocation - Variable in class net.sf.tweety.logics.qbf.reasoner.GhostQSolver

String representation of the GhostQ binary path.

binaryLocation - Variable in class net.sf.tweety.logics.qbf.reasoner.QuteSolver

String representation of the Qute binary path.

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

BinaryOperator() - Constructor for enum net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator

BinaryRelation<T> - Interface in net.sf.tweety.preferences

This abstract class provides a basic implementation of a generic set of pairs to be used for preference ordering.

binaryString2BitSet(String) - Static method in class net.sf.tweety.commons.util.ConversionTools

Creates a bit set from the given string of zeros and ones.

BinaryVariable - Class in net.sf.tweety.math.term

This class models a binary variable as a mathematical term.

BinaryVariable(String) - Constructor for class net.sf.tweety.math.term.BinaryVariable

Creates a new binary variable with the given name.

binomial(Integer, Integer) - Static method in class net.sf.tweety.commons.util.MathTools

This method computes "n choose k".

Binop() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

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

Checks if the ADF is bipolar.

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

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

BipolarArgFramework - Class in net.sf.tweety.arg.bipolar.syntax

This class implements a bipolar abstract argumentation theory with support in a deductive sense.

BipolarArgFramework() - Constructor for class net.sf.tweety.arg.bipolar.syntax.BipolarArgFramework

Default constructor; initializes empty sets of arguments, attacks and supports

BipolarArgFramework(Graph<Argument>) - Constructor for class net.sf.tweety.arg.bipolar.syntax.BipolarArgFramework

Creates a new theory from the given graph.

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

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

birds() - Method in class net.sf.tweety.arg.delp.TestQueries

bitset2BeliefSet(BitSet) - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator

Parses a knowledge base (PlBeliefSet) from the the given bitset.

bitSet2BinaryString(BitSet) - Static method in class net.sf.tweety.commons.util.ConversionTools

Provides a string representation of the bits in the given BitSet.

bodiesFromDisjunction(Disjunction, List<List<ASPBodyElement>>) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator

Helper method:

bodiesFromFormula(FolFormula, List<List<ASPBodyElement>>) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator

Helper method: Generates a list of possible bodies for the given FOL-Formula.

body - Variable in class net.sf.tweety.arg.aba.syntax.InferenceRule

The rule's prerequisites

body - Variable in class net.sf.tweety.arg.delp.syntax.DelpRule

The body of the rule (these must be a literals).

body - Variable in class net.sf.tweety.lp.asp.syntax.ASPRule

The body (premise) of a rule.

Body() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Body1() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

BooleanCategory - Class in net.sf.tweety.machinelearning

A category for one-class classifiers.

BooleanCategory(boolean) - Constructor for class net.sf.tweety.machinelearning.BooleanCategory

Creates a new category with the given value.

BordaScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation

Implementation of the borda scoring preference aggregator

BordaScoringPreferenceAggregator(int) - Constructor for class net.sf.tweety.preferences.aggregation.BordaScoringPreferenceAggregator

calls super-constructor with the amount of domain elements to aggregate

BordaWeightVector - Class in net.sf.tweety.preferences.aggregation

Implementation of the borda weight vector N elements are weighted from 0 to n-1 depending on their ranking function rank

BordaWeightVector(int) - Constructor for class net.sf.tweety.preferences.aggregation.BordaWeightVector

constructor for the borda weight vector

BOTH - net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue

BottomConcept - Class in net.sf.tweety.logics.dl.syntax

This class models the bottom concept (empty concept) in description logics.

BottomConcept() - Constructor for class net.sf.tweety.logics.dl.syntax.BottomConcept

Creates a new BottomConcept.

bottomElement() - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics

Returns the bottom element of this semantics.

bottomElement() - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics

BoundedSum - Class in net.sf.tweety.math.func.fuzzy

Represents the bounded sum in fuzzy logic, i.e., S(x,y)=min(x+y,1)

BoundedSum() - Constructor for class net.sf.tweety.math.func.fuzzy.BoundedSum

bridge - Variable in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

the bridge to the real implementation

BrokenParenthesesTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest

BrokenParenthesesTest2() - Method in class net.sf.tweety.logics.pl.test.PlParserTest

BrokenParenthesesTest3() - Method in class net.sf.tweety.logics.pl.test.PlParserTest

btnAdd - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

btnAddLeft - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

btnAddRight - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

btnDown - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

btnRemove - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

btnRunRevision - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView

btnUp - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView

bufcolumn - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream

bufcolumn - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

bufcolumn - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

bufcolumn - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

bufcolumn - Variable in class net.sf.tweety.preferences.io.SimpleCharStream

buffer - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream

buffer - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

buffer - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

buffer - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

buffer - Variable in class net.sf.tweety.preferences.io.SimpleCharStream

BUFFER_CAPACITY - Static variable in class net.sf.tweety.arg.adf.parser.KppADFFormatParser

bufline - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream

bufline - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

bufline - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

bufline - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

bufline - Variable in class net.sf.tweety.preferences.io.SimpleCharStream

bufpos - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Position in buffer.

bufpos - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

bufpos - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Position in buffer.

bufpos - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Position in buffer.

bufpos - Variable in class net.sf.tweety.preferences.io.SimpleCharStream

bufsize - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream

bufsize - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

bufsize - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

bufsize - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

bufsize - Variable in class net.sf.tweety.preferences.io.SimpleCharStream

build() - Method in class net.sf.tweety.arg.adf.reasoner.Pipeline.Builder

build() - Method in class net.sf.tweety.arg.adf.syntax.AcceptanceCondition.Builder

build(ConditionalStructure) - Method in class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder

This builds a map of conditionals to KappaValue instances which represent the penalty term for a falsified conditional

builder() - Method in class net.sf.tweety.arg.adf.syntax.AcceptanceCondition

builder(CandidateGenerator<S>) - Static method in class net.sf.tweety.arg.adf.reasoner.Pipeline

builder(AcceptanceCondition) - Static method in class net.sf.tweety.arg.adf.syntax.AcceptanceCondition

Builder(CandidateGenerator<S>) - Constructor for class net.sf.tweety.arg.adf.reasoner.Pipeline.Builder

Builder(AcceptanceCondition) - Constructor for class net.sf.tweety.arg.adf.syntax.AcceptanceCondition.Builder

buildMinima(ConditionalStructure, Map<Conditional, KappaValue>, Conditional, List<NicePossibleWorld>, KappaMin) - Method in class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder

Helper method: Builds the minimums for the kappa values, a collection of worlds is given which might be either the verifiying or the falsifiying worlds and for this collection of worlds the corresponding KappaMin is given, such that positiveMinimum is calculated using verifying worlds and negativeMinumum is using falsifying worlds.

buildOptimizationProblem() - Method in class net.sf.tweety.math.opt.OptimizationRootFinder

Builds an optimization problem for the task of root finding.

BuiltinAtom() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

BurdenBasedRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner

This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.

BurdenBasedRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.BurdenBasedRankingReasoner

BurdenBasedRankingReasoner.LexicographicTupleComparator - Class in net.sf.tweety.arg.rankings.reasoner

Compares burden numbers according to the lexicographic ordering.

BurdenExample() - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample

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