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

L

label - Variable in enum net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
label - Variable in enum net.sf.tweety.logics.pl.parser.PlParserFactory.Format
 
labeling - Variable in class net.sf.tweety.arg.dung.semantics.Labeling
The actual labeling.
Labeling - Class in net.sf.tweety.arg.dung.semantics
This class models a labeling of an abstract argumentation framework, i.e.
Labeling() - Constructor for class net.sf.tweety.arg.dung.semantics.Labeling
Creates a new labeling.
Labeling(DungTheory, Extension) - Constructor for class net.sf.tweety.arg.dung.semantics.Labeling
Creates a new labeling from the given extension wrt.
LagrangeSolver - Class in net.sf.tweety.math.opt.solver
This class implements a (naive) Langrange solver for optimization problems.

This solver only considers optimization problems without inequations.
LagrangeSolver(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.LagrangeSolver
Creates a new Lagrange solver for the given optimization problem
LagrangeSolver(Set<Map<Variable, Term>>) - Constructor for class net.sf.tweety.math.opt.solver.LagrangeSolver
Creates a new Lagrange solver for the given optimization problem
LanguageException - Exception in net.sf.tweety.logics.commons.error
A language exception is thrown if something illegal is tried in a language like setting the arity of a propositional predicate > zero.
LanguageException() - Constructor for exception net.sf.tweety.logics.commons.error.LanguageException
 
LanguageException(String, LanguageException.LanguageExceptionReason) - Constructor for exception net.sf.tweety.logics.commons.error.LanguageException
 
LanguageException(String, LanguageException.LanguageExceptionReason, String) - Constructor for exception net.sf.tweety.logics.commons.error.LanguageException
 
LanguageException.LanguageExceptionReason - Enum in net.sf.tweety.logics.commons.error
 
LanguageExceptionReason(String) - Constructor for enum net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
largerInterpretation(Interpretation) - Method in class net.sf.tweety.arg.adf.reasoner.SatEncoding
TODO define functionality
lastAnswersets - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
 
lastIndexOf(Object) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
 
lastIndexOf(Object) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
lastIndexOf(Object) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
 
lastIndexOf(Object) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
 
lastIndexOf(Object) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
 
lastIndexOf(Object) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
 
LastLinkOrder<T extends Invertable> - Class in net.sf.tweety.arg.aspic.order
 
LastLinkOrder(Comparator<InferenceRule<T>>, Comparator<InferenceRule<T>>, boolean) - Constructor for class net.sf.tweety.arg.aspic.order.LastLinkOrder
Constructs a new last link ordering
lastMillis - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
The previous timestamp.
lastProjectedAnswersets - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
 
LatticeArgumentRanking - Class in net.sf.tweety.arg.dung.semantics
This class models argument ranking by representing the acceptability of arguments in a graph-based structure.
LatticeArgumentRanking(Collection<Argument>) - Constructor for class net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking
Creates a new argument ranking with the given arguments which are initially all incomparable.
LazyModelStorage() - Constructor for class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark.LazyModelStorage
 
LbfgsRootFinder - Class in net.sf.tweety.math.opt
Implements the L-BFGS method to find zeros of a (multi-dimensional) function.
LbfgsRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.LbfgsRootFinder
Creates a new root finder for the given starting point and the given (multi-dimensional) function
LbfgsRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.LbfgsRootFinder
Creates a new root finder for the given starting point and the given function
LbfgsSolver - Class in net.sf.tweety.math.opt.solver
This class implements a wrapper for L-BFGS.
LbfgsSolver(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.LbfgsSolver
 
LBRA - Static variable in interface net.sf.tweety.preferences.io.POParserConstants
RegularExpression Id.
LBRA - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants
RegularExpression Id.
LdoArgument - Class in net.sf.tweety.arg.dung.ldo.syntax
This class represents an argument in ldo.
LdoArgument() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
Default-Ctor for dynamic instantiation
LdoArgument(String) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
Creates a new proposition of the given name.
LdoArgument(LdoArgument) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
 
LdoArgumentationLottery - Class in net.sf.tweety.arg.prob.lotteries
This class implements an argumentation lottery based on the logic of dialectical outcomes, i.e.
LdoArgumentationLottery(Collection<LdoFormula>, SubgraphProbabilityFunction, Semantics) - Constructor for class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery
Creates a new lottery for the given set of formulas using the given probability function and semantics.
LdoAssociativeFormula - Class in net.sf.tweety.arg.dung.ldo.syntax
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
LdoAssociativeFormula() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
Creates a new (empty) associative formula.
LdoAssociativeFormula(Collection<? extends LdoFormula>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
Creates a new associative formula with the given inner formulas.
LdoAssociativeFormula(LdoFormula, LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
Creates a new associative formula with the two given formulae
LdoBoxModality - Class in net.sf.tweety.arg.dung.ldo.syntax
 
LdoBoxModality(LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoBoxModality
 
LdoConjunction - Class in net.sf.tweety.arg.dung.ldo.syntax
This class represents a conjunction in ldo logic.
LdoConjunction() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
Creates a new (empty) conjunction.
LdoConjunction(Collection<? extends LdoFormula>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
Creates a new conjunction with the given inner formulas.
LdoConjunction(LdoFormula, LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoConjunction
Creates a new conjunction with the two given formulae
LdoDiamondModality - Class in net.sf.tweety.arg.dung.ldo.syntax
 
LdoDiamondModality(LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoDiamondModality
 
LdoDisjunction - Class in net.sf.tweety.arg.dung.ldo.syntax
This class represents a disjunction in ldo logic.
LdoDisjunction() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
Creates a new (empty) disjunction.
LdoDisjunction(Collection<? extends LdoFormula>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
Creates a new disjunction with the given inner formulas.
LdoDisjunction(LdoFormula, LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction
Creates a new disjunction with the two given formulae
LdoFormula - Class in net.sf.tweety.arg.dung.ldo.syntax
This abstract class specifies the general methods of all Ldo-formulas (LDO - Logic of dialectical outcomes, cf.
LdoFormula() - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
 
LdoGraphBoxModality - Class in net.sf.tweety.arg.dung.ldo.syntax
 
LdoGraphBoxModality(LdoFormula, Set<LdoArgument>, Set<LdoArgument>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphBoxModality
 
LdoGraphDiamondModality - Class in net.sf.tweety.arg.dung.ldo.syntax
 
LdoGraphDiamondModality(LdoFormula, Set<LdoArgument>, Set<LdoArgument>) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphDiamondModality
 
LdoInterpretation - Class in net.sf.tweety.arg.dung.ldo.semantics
This class models an LDO interpretation, i.e., a pair of an argumentation framework and (possibly) an extension.
LdoInterpretation(DungTheory, Extension, Semantics) - Constructor for class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
Creates a new interpretation
LdoInterpretation(DungTheory, Semantics) - Constructor for class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
Creates a new interpretation
LdoNegation - Class in net.sf.tweety.arg.dung.ldo.syntax
This class models classical negation of ldo logic.
LdoNegation(LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
Creates a new negation with the given formula.
LdoRelation - Class in net.sf.tweety.arg.dung.ldo.syntax
Creates a relational formula, i.e.
LdoRelation(LdoFormula, LdoFormula) - Constructor for class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
 
LdoUtilityFunction - Class in net.sf.tweety.arg.prob.lotteries
A utility function that maps LDO formulas to utilities
LdoUtilityFunction() - Constructor for class net.sf.tweety.arg.prob.lotteries.LdoUtilityFunction
Creates a new utility function.
learnParameters(TrainingSet<S, T>) - Method in class net.sf.tweety.machinelearning.GridSearchParameterLearner
 
learnParameters(TrainingSet<S, T>) - Method in class net.sf.tweety.machinelearning.ParameterTrainer
Learns the best parameters of the given trainer for the training set.
left - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
 
left - Variable in class net.sf.tweety.lp.asp.syntax.AggregateElement
The term tuple of the aggregate element.
left - Variable in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
The left term of the comparative atom.
leftGuard - Variable in class net.sf.tweety.lp.asp.syntax.AggregateAtom
A term that the aggregate's resulting value will be compared to using the comparative operator.
leftIterative - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
use interactive revision for the left method
leftOp - Variable in class net.sf.tweety.lp.asp.syntax.AggregateAtom
A comparative operator that will be used to compare the aggregate's resulting value with the another value (leftGuard) to produce a truth value.
leftOperator - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
the left revision operator
leftOperator - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
the left revision operator
leftResult - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
 
leftTerm - Variable in class net.sf.tweety.math.equation.Statement
The left term of this statement.
LEQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
 
LER_ASSOCIATIVE_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
LER_CONJUNCTIONS_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
LER_DISJUNCTIONS_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
LER_ILLEGAL_ACCESSS - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
LER_ILLEGAL_PREDICATE - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
LER_INSTANTIATION - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
LER_QUANTIFICATION_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
LER_RULES_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
LER_TERM_TYPE_NOT_SUPPORTED - net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
 
LESS - net.sf.tweety.preferences.Relation
 
LESS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
LESS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.
LESS - Static variable in class net.sf.tweety.math.equation.Inequation
 
LESS_EQUAL - net.sf.tweety.preferences.Relation
 
LESS_EQUAL - Static variable in class net.sf.tweety.math.equation.Inequation
 
LESS_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
LESS_OR_EQ - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.
level - Variable in class net.sf.tweety.lp.asp.semantics.AnswerSet
 
level - Variable in class net.sf.tweety.lp.asp.syntax.ASPRule
 
levelAsInt - Variable in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
The log level as integer
levelAsInt() - Method in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
 
levelAsString - Variable in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
The log level as string
levelAsString() - Method in enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
 
LevelingFunction<T> - Class in net.sf.tweety.preferences.ranking
This class is meant to provide leveling functions to given preference orders and vice versa.
LevelingFunction() - Constructor for class net.sf.tweety.preferences.ranking.LevelingFunction
constructs a new, empty leveling function caller can use Map-method putAll to fill this empty leveling function
LevelingFunction(PreferenceOrder<T>) - Constructor for class net.sf.tweety.preferences.ranking.LevelingFunction
this constructor creates a leveling function using a given preference order
LeviBaseRevisionOperator<T extends ClassicalFormula> - Class in net.sf.tweety.beliefdynamics
This class implements the Levi identity for revision, ie.
LeviBaseRevisionOperator(BaseContractionOperator<T>, BaseExpansionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.LeviBaseRevisionOperator
Creates a new Levi base revision with the given contraction and expansion operators.
LeviMultipleBaseRevisionOperator<T extends ClassicalFormula> - Class in net.sf.tweety.beliefdynamics
This class implements the Levi identity for multiple revision, ie.
LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T>, MultipleBaseExpansionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.LeviMultipleBaseRevisionOperator
Creates a new Levi base revision with the given contraction and expansion operators.
LEXICAL_ERROR - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError
Lexical error occurred.
LEXICAL_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
Lexical error occurred.
LEXICAL_ERROR - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
Lexical error occurred.
LEXICAL_ERROR - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError
Lexical error occurred.
LEXICAL_ERROR - Static variable in error net.sf.tweety.preferences.io.TokenMgrError
Lexical error occurred.
LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.arg.delp.parser.TokenMgrError
 
LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
 
LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
 
LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.lp.asp.parser.TokenMgrError
 
LexicalError(boolean, int, int, int, String, char) - Static method in error net.sf.tweety.preferences.io.TokenMgrError
 
LexicographicTupleComparator() - Constructor for class net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner.LexicographicTupleComparator
 
lexStateNames - Static variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
Lexer state names.
lexStateNames - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
 
lexStateNames - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
Lexer state names.
lexStateNames - Static variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
Lexer state names.
lexStateNames - Static variable in class net.sf.tweety.preferences.io.POParserTokenManager
 
lexStateNames - Static variable in class net.sf.tweety.preferences.io.UPParserTokenManager
Lexer state names.
lifted - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
 
LIFTED_INFERENCE - Static variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner
Integer constant for lifted inference.
line - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
 
line - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
 
line - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
 
line - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
 
line - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
 
linearCombination(double, double, ProbabilityDistribution<T>) - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
Makes a linear combination of this distribution "p1" and the given distribution "other" and the given parameters, i.e.
linearCombination(double, double, ProbabilityFunction<T>) - Method in class net.sf.tweety.math.probability.ProbabilityFunction
Makes a linear combination of this distribution "p1" and the given distribution "other" and the given parameters, i.e.
linearSolver - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService
The linear optimization solver configured for this service.
LingelingExample - Class in net.sf.tweety.logics.pl.examples
 
LingelingExample() - Constructor for class net.sf.tweety.logics.pl.examples.LingelingExample
 
LingelingSolver - Class in net.sf.tweety.logics.pl.sat
A wrapper for the Lingeling SAT solver (tested with Lingeling version ats1 ce8c04fc97ef07cf279c0c5dcbbc7c5d9904230a).
LingelingSolver(String) - Constructor for class net.sf.tweety.logics.pl.sat.LingelingSolver
Creates a new solver based on the Lingeling executable given as a parameter.
LingelingSolverState(NativeLingelingSolver) - Constructor for class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState
 
link(Argument, Argument) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
Computes the link (a,b) iff necessary and returns it afterwards.
Link - Class in net.sf.tweety.arg.adf.semantics
A simple immutable representation of ADF links.
Link(Argument, Argument, LinkType) - Constructor for class net.sf.tweety.arg.adf.semantics.Link
Creates a new link.
linkCache - Variable in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
 
links - Variable in class net.sf.tweety.arg.adf.reasoner.SatEncoding
 
links() - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
 
linksToChildren(Argument) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
TODO define functionality
linksToParent(Argument) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
TODO define functionality
linkStrategy - Variable in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
 
LinkStrategy - Interface in net.sf.tweety.arg.adf.reasoner
 
linkType - Variable in class net.sf.tweety.arg.adf.semantics.Link
 
LinkType - Enum in net.sf.tweety.arg.adf.semantics
 
LinkType() - Constructor for enum net.sf.tweety.arg.adf.semantics.LinkType
 
LinkTypeTest - Class in net.sf.tweety.arg.adf.semantics.test
 
LinkTypeTest() - Constructor for class net.sf.tweety.arg.adf.semantics.test.LinkTypeTest
 
listener - Variable in class net.sf.tweety.agents.AbstractProtocol
The listener of this protocol.
listeners - Variable in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
The listeners of this measure.
listIterator() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
 
listIterator() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
listIterator() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
 
listIterator() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
 
listIterator() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
 
listIterator() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
 
listIterator(int) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
 
listIterator(int) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
listIterator(int) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
 
listIterator(int) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
 
listIterator(int) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
 
listIterator(int) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
 
literal - Variable in class net.sf.tweety.lp.asp.syntax.DefaultNegation
The default negated element.
Literal(DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
 
literalMap - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
a map used during the creation of the credibility logic program
LiteralReasoner - Class in net.sf.tweety.arg.lp.reasoner
This class extends the default argumentation reasoner to the reasoning about literals in the set of arguments constructible from an extended logic program p.
LiteralReasoner(AttackStrategy, AttackStrategy) - Constructor for class net.sf.tweety.arg.lp.reasoner.LiteralReasoner
Creates a new reasoner for reasoning about literals in an extended logic program given by the beliefBase.
LiteralTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
 
load(File) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.DefaultFileHandler
 
load(File) - Method in interface net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.FileHandler
 
load(File) - Method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.DefaultFileHandler
 
load(File) - Method in interface net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler
 
loadFromJar(String) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
 
loadLibsvmTrainingFile(File) - Static method in class net.sf.tweety.machinelearning.TrainingSet
Loads a training file in LIBSVM syntax
log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameProtocol
Logger
log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
Logger
log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator
Logger
log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator
Logger
log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT2AgentGenerator
Logger
log - Static variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT3AgentGenerator
Logger
log - Static variable in class net.sf.tweety.agents.RoundRobinProtocol
Logger
log - Static variable in class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
Logger.
log - Static variable in class net.sf.tweety.cli.TweetyCli
Logger.
log - Static variable in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
Logger.
log - Static variable in class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
Logger.
log - Static variable in class net.sf.tweety.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
Logger.
log - Static variable in class net.sf.tweety.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
Logger.
log - Static variable in class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShop
Logger.
log - Static variable in class net.sf.tweety.logics.pcl.analysis.PclBeliefSetQuadraticErrorMinimizationMachineShop
Logger.
log - Static variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
Logger.
log - Static variable in class net.sf.tweety.logics.pcl.analysis.UpperApproxDistanceMinimizationInconsistencyMeasure
Logger.
log - Static variable in class net.sf.tweety.logics.pcl.parser.PclParser
Logger.
log - Static variable in class net.sf.tweety.logics.rcl.reasoner.SimpleRelationalCReasoner
Logger.
log - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
Logger.
log - Static variable in class net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner
Logger.
log - Static variable in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
Logger.
log - Variable in class net.sf.tweety.math.opt.solver.BfgsSolver
Logger.
log - Variable in class net.sf.tweety.math.opt.solver.GradientDescent
Logger.
log - Variable in class net.sf.tweety.math.opt.solver.HessianGradientDescent
Logger.
log - Variable in class net.sf.tweety.math.opt.solver.LbfgsSolver
Logger.
log - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
Logger.
log - Variable in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
Logger.
log - Static variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver
Logger
log(String, String) - Static method in class net.sf.tweety.web.TweetyServer
Writes the given message to the log of this server.
LOG - Static variable in class net.sf.tweety.logics.translators.Translator
reference to the logback logger instance
LOG - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision.DefaultBehavior
reference to the logback logger instance
LOG - Static variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
The logger used for output in the angerona Framework
LOG - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
reference to the logback logger instance
LOG - Static variable in class net.sf.tweety.math.opt.GradientDescentRootFinder
reference to the logback logger instance
LOG - Static variable in class net.sf.tweety.math.opt.OptimizationRootFinder
reference to the logback logger instance
LOG - Static variable in class net.sf.tweety.web.TweetyServer
 
Logarithm - Class in net.sf.tweety.math.term
Instances of this class represent application of the logarithm function on some term.
Logarithm(Term) - Constructor for class net.sf.tweety.math.term.Logarithm
Creates a new logarithm term for the give inner term.
logFile - Static variable in class net.sf.tweety.commons.TweetyLogging
The file used for logging (if this parameter is not set, logging is performed on the standard output)
LOGGER - Static variable in class net.sf.tweety.arg.delp.TestQueries
 
LogicalSymbols - Class in net.sf.tweety.logics.commons
This class provides some String constants for logical symbols and allows to modify them at runtime.
LogicalSymbols() - Constructor for class net.sf.tweety.logics.commons.LogicalSymbols
 
LogicProgram<C extends Formula,​P extends Formula,​T extends Rule<?,​?>> - Interface in net.sf.tweety.logics.commons.syntax.interfaces
An interface for a logic program, which is a set of rules.
LogicStructure - Class in net.sf.tweety.logics.fol.syntax
This abstract class captures the common functionalities of both formulas and terms.
LogicStructure - Interface in net.sf.tweety.logics.commons.syntax.interfaces
This interface captures the common functionalities of formulas, sorts and terms.
LogicStructure() - Constructor for class net.sf.tweety.logics.fol.syntax.LogicStructure
 
logLevel - Static variable in class net.sf.tweety.commons.TweetyLogging
The log level (The possible values are described by TweetyConfiguration.LogLevel, default is TweetyConfiguration.LogLevel.INFO)
LogLevel(int, String) - Constructor for enum net.sf.tweety.commons.TweetyConfiguration.LogLevel
 
longValue() - Method in class net.sf.tweety.math.ComplexNumber
 
longValue() - Method in class net.sf.tweety.math.probability.Probability
 
LookaheadSuccess() - Constructor for error net.sf.tweety.lp.asp.parser.ASPCore2Parser.LookaheadSuccess
 
loop - Variable in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
Whether to loop the files indefinitely
LOOP_DETECTED - Static variable in error net.sf.tweety.arg.delp.parser.TokenMgrError
Detected (and bailed out of) an infinite loop in the token manager.
LOOP_DETECTED - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
Detected (and bailed out of) an infinite loop in the token manager.
LOOP_DETECTED - Static variable in error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
Detected (and bailed out of) an infinite loop in the token manager.
LOOP_DETECTED - Static variable in error net.sf.tweety.lp.asp.parser.TokenMgrError
Detected (and bailed out of) an infinite loop in the token manager.
LOOP_DETECTED - Static variable in error net.sf.tweety.preferences.io.TokenMgrError
Detected (and bailed out of) an infinite loop in the token manager.
LotteryArgumentationEnvironment - Class in net.sf.tweety.agents.dialogues
This class models the environment for agents in argumentation games with lotteries.
LotteryArgumentationEnvironment(DungTheory) - Constructor for class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment
Creates a new grounded environment.
LotteryDialogueTest - Class in net.sf.tweety.agents.dialogues.examples
 
LotteryDialogueTest() - Constructor for class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
 
LotteryDialogueTest2 - Class in net.sf.tweety.agents.dialogues.examples
Main class for empirical evaluation in [Hunter, Thimm.
LotteryDialogueTest2() - Constructor for class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest2
 
LotteryExample - Class in net.sf.tweety.arg.prob.examples
Example code for working with lotteries in probabilistic abstract argumentation.
LotteryExample() - Constructor for class net.sf.tweety.arg.prob.examples.LotteryExample
 
LotteryGameGenerator - Class in net.sf.tweety.agents.dialogues.lotteries.sim
Generates lottery games.
LotteryGameGenerator(DungTheoryGenerator, Semantics) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
Creates a new game generator.
LotteryGameGenerator(DungTheoryGenerator, Semantics, boolean) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator
Creates a new game generator.
LotteryGameSystem - Class in net.sf.tweety.agents.dialogues.lotteries
This multi-agent system models a lottery dialogue game between a lottery agent and a dummy agent
LotteryGameSystem(DungTheory) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.LotteryGameSystem
Creates a new grounded game system.
LowerApproxDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
This class models an approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
LowerApproxDistanceMinimizationInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
 
lowerBound - Variable in class net.sf.tweety.machinelearning.TrainingParameter
The lower bound of the parameter.
lowerBound - Variable in class net.sf.tweety.math.Interval
 
lowerBound - Variable in class net.sf.tweety.math.term.Variable
Bounds for the variables
lowerReferenceArguments - Variable in class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality
 
LpSolve - Class in net.sf.tweety.math.opt.solver
This class implements a wrapper to the lpsolve binary for mixed integer linear programming.
LpSolve() - Constructor for class net.sf.tweety.math.opt.solver.LpSolve
 
lstBeliefBases - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
 
lstLeftAnswerSets - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
 
lstModel - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
 
lstRightAnswerSets - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
 
LT - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
 
LukasiewiczNorm - Class in net.sf.tweety.math.func.fuzzy
Represents the Lukasiewicz-norm in fuzzy logic, i.e., T(x,y)=max(x+y-1,0)
LukasiewiczNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.LukasiewiczNorm
 
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