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

L

label - Variable in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
label
label - Variable in enum org.tweetyproject.logics.pl.parser.PlParserFactory.Format
label
label - Variable in enum org.tweetyproject.web.services.aba.AbaReasonerCalleeFactory.Command
Label for the command
label - Variable in enum org.tweetyproject.web.services.aba.GeneralAbaReasonerFactory.Semantics
The label of the semantics
label - Variable in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics
label
label - Variable in enum org.tweetyproject.web.services.dung.DungReasonerCalleeFactory.Command
Label of the command
Labeling - Class in org.tweetyproject.arg.dung.semantics
This class models a labeling of an abstract argumentation framework, i.e.
Labeling() - Constructor for class org.tweetyproject.arg.dung.semantics.Labeling
Creates a new labeling.
Labeling(ArgumentationFramework<Argument>, Extension<? extends ArgumentationFramework<Argument>>) - Constructor for class org.tweetyproject.arg.dung.semantics.Labeling
Creates a new labeling from the given extension wrt.
LagrangeSolver - Class in org.tweetyproject.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 org.tweetyproject.math.opt.solver.LagrangeSolver
Creates a new Lagrange solver for the given optimization problem
LagrangeSolver(Set<Map<Variable, Term>>) - Constructor for class org.tweetyproject.math.opt.solver.LagrangeSolver
Creates a new Lagrange solver for the given optimization problem
LagrangeSolverEx - Class in org.tweetyproject.math.examples
This class implements an example for the Lagrange Solver.
LagrangeSolverEx() - Constructor for class org.tweetyproject.math.examples.LagrangeSolverEx
Constructor
LagrangeSolverEx2 - Class in org.tweetyproject.math.examples
This class implements an example for a problem solved by the lagrange solver.
LagrangeSolverEx2() - Constructor for class org.tweetyproject.math.examples.LagrangeSolverEx2
Constructor
Lane - Class in org.tweetyproject.logics.bpm.syntax
A class to represent lanes in a BPMN Model
Lane() - Constructor for class org.tweetyproject.logics.bpm.syntax.Lane
Create a new instance
LaneParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Parse lanes in a BPMN model
LaneParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.LaneParser
Create a new instance
LaneSetParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Parse a set of lanes in a BPMN model
LaneSetParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.LaneSetParser
Create a new instance
LanguageException - Exception Class in org.tweetyproject.logics.commons.error
A LanguageException is thrown when an illegal operation is attempted in a language, such as setting the arity of a propositional predicate to a value greater than zero.
LanguageException() - Constructor for exception class org.tweetyproject.logics.commons.error.LanguageException
Constructs a LanguageException with a default error message.
LanguageException(String, LanguageException.LanguageExceptionReason) - Constructor for exception class org.tweetyproject.logics.commons.error.LanguageException
Constructs a LanguageException with a specified language and reason.
LanguageException(String, LanguageException.LanguageExceptionReason, String) - Constructor for exception class org.tweetyproject.logics.commons.error.LanguageException
Constructs a LanguageException with a specified language, reason, and additional information.
LanguageException.LanguageExceptionReason - Enum in org.tweetyproject.logics.commons.error
Enumeration representing specific reasons why a LanguageException might be thrown.
LargerInterpretationSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings
Fixes the two valued assignments and tries to find a two valued assignment for at least one of the undecided ones.
LargerInterpretationSatEncoding(PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.LargerInterpretationSatEncoding
 
lastIndexOf(Object) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
lastIndexOf(Object) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
 
lastIndexOf(Object) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
lastIndexOf(Object) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
lastIndexOf(Object) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
lastIndexOf(Object) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
lastIndexOf(Object) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
LastLinkOrder<T> - Class in org.tweetyproject.arg.aspic.order
 
LastLinkOrder(Comparator<InferenceRule<T>>, Comparator<InferenceRule<T>>, boolean) - Constructor for class org.tweetyproject.arg.aspic.order.LastLinkOrder
Constructs a new last link ordering
LatticePartialOrder<T,R> - Class in org.tweetyproject.comparator
This class models comparable element ranking by representing the acceptability of comparable elements in a graph-based structure.
LatticePartialOrder(Collection<T>) - Constructor for class org.tweetyproject.comparator.LatticePartialOrder
Creates a new argument ranking with the given comparable elements which are initially all incomparable.
lazy(LinkStrategy) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
Return lazy builder instance
LazyMap<K,V> - Class in org.tweetyproject.arg.adf.util
Lazily computes missing values.
LazyMap(Function<K, V>) - Constructor for class org.tweetyproject.arg.adf.util.LazyMap
 
LBRA - Static variable in interface org.tweetyproject.preferences.io.POParserConstants
RegularExpression Id.
LBRA - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants
RegularExpression Id.
LdoArgument - Class in org.tweetyproject.arg.dung.ldo.syntax
This class represents an argument in ldo.
LdoArgument() - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
Default-Ctor for dynamic instantiation
LdoArgument(String) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
Creates a new proposition of the given name.
LdoArgument(LdoArgument) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
 
LdoArgumentationLottery - Class in org.tweetyproject.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 org.tweetyproject.arg.prob.lotteries.LdoArgumentationLottery
Creates a new lottery for the given set of formulas using the given probability function and semantics.
LdoAssociativeFormula - Class in org.tweetyproject.arg.dung.ldo.syntax
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
LdoAssociativeFormula() - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
Creates a new (empty) associative formula.
LdoAssociativeFormula(Collection<? extends LdoFormula>) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
Creates a new associative formula with the given inner formulas.
LdoAssociativeFormula(LdoFormula, LdoFormula) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
Creates a new associative formula with the two given formulae
LdoBoxModality - Class in org.tweetyproject.arg.dung.ldo.syntax
Represents the box modality in the logic of dialectical outcomes (LDO).
LdoBoxModality(LdoFormula) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoBoxModality
 
LdoConjunction - Class in org.tweetyproject.arg.dung.ldo.syntax
This class represents a conjunction in ldo logic.
LdoConjunction() - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoConjunction
Creates a new (empty) conjunction.
LdoConjunction(Collection<? extends LdoFormula>) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoConjunction
Creates a new conjunction with the given inner formulas.
LdoConjunction(LdoFormula, LdoFormula) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoConjunction
Creates a new conjunction with the two given formulae
LdoDiamondModality - Class in org.tweetyproject.arg.dung.ldo.syntax
Represents the diamond modality in the logic of dialectical outcomes (LDO).
LdoDiamondModality(LdoFormula) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoDiamondModality
 
LdoDisjunction - Class in org.tweetyproject.arg.dung.ldo.syntax
This class represents a disjunction in ldo logic.
LdoDisjunction() - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
Creates a new (empty) disjunction.
LdoDisjunction(Collection<? extends LdoFormula>) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
Creates a new disjunction with the given inner formulas.
LdoDisjunction(LdoFormula, LdoFormula) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction
Creates a new disjunction with the two given formulae
LdoFormula - Class in org.tweetyproject.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 org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
 
LdoGraphBoxModality - Class in org.tweetyproject.arg.dung.ldo.syntax
Represents the graph box modality in the logic of dialectical outcomes (LDO).
LdoGraphBoxModality(LdoFormula, Set<LdoArgument>, Set<LdoArgument>) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoGraphBoxModality
 
LdoGraphDiamondModality - Class in org.tweetyproject.arg.dung.ldo.syntax
Represents the graph diamond modality in the logic of dialectical outcomes (LDO).
LdoGraphDiamondModality(LdoFormula, Set<LdoArgument>, Set<LdoArgument>) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoGraphDiamondModality
 
LdoInterpretation - Class in org.tweetyproject.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 org.tweetyproject.arg.dung.ldo.semantics.LdoInterpretation
Creates a new interpretation
LdoInterpretation(DungTheory, Semantics) - Constructor for class org.tweetyproject.arg.dung.ldo.semantics.LdoInterpretation
Creates a new interpretation
LdoNegation - Class in org.tweetyproject.arg.dung.ldo.syntax
This class models classical negation of ldo logic.
LdoNegation(LdoFormula) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
Creates a new negation with the given formula.
LdoRelation - Class in org.tweetyproject.arg.dung.ldo.syntax
Creates a relational formula, i.e.
LdoRelation(LdoFormula, LdoFormula) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
 
LdoUtilityFunction - Class in org.tweetyproject.arg.prob.lotteries
A utility function that maps LDO formulas to utilities
LdoUtilityFunction() - Constructor for class org.tweetyproject.arg.prob.lotteries.LdoUtilityFunction
Creates a new utility function.
learnExamples(Map<Extension<DungTheory>, Integer>, Map<Extension<DungTheory>, Integer>) - Method in class org.tweetyproject.arg.dung.learning.NiskanenTheorySynthesizer
learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examples
learnExamples(Map<Labeling, Integer>, Map<Labeling, Integer>) - Method in class org.tweetyproject.arg.dung.learning.TheoryLearner
learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examples
LearningExample - Class in org.tweetyproject.arg.dung.examples
Argumentation Framework Learning from Labelings example.
LearningExample() - Constructor for class org.tweetyproject.arg.dung.examples.LearningExample
 
learnLabeling(Input) - Method in interface org.tweetyproject.arg.dung.learning.AFLearner
learn a single input labeling and store in internal acceptance conditions
learnLabeling(Input) - Method in class org.tweetyproject.arg.dung.learning.OptimizedParallelAFLearner
learn a single labeling i.e.
learnLabeling(Input) - Method in class org.tweetyproject.arg.dung.learning.SimpleAFLearner
learn a single labeling i.e.
learnLabelings(ArrayList<Labeling>) - Method in class org.tweetyproject.arg.dung.learning.ImprovedRiveretTheoryLearner
learn theory without pruning discarded attacks
learnLabelings(ArrayList<Labeling>) - Method in class org.tweetyproject.arg.dung.learning.RiveretTheoryLearner
learn theory without pruning discarded attacks
learnLabelings(ArrayList<Labeling>, boolean, int) - Method in class org.tweetyproject.arg.dung.learning.ImprovedRiveretTheoryLearner
learn random labelings from the given List until no undecided attacks are left in the theory
learnLabelings(ArrayList<Labeling>, boolean, int) - Method in class org.tweetyproject.arg.dung.learning.RiveretTheoryLearner
learn random labelings from the given List until no undecided attacks are left in the theory
learnLabelings(Collection<Input>) - Method in class org.tweetyproject.arg.dung.learning.OptimizedParallelAFLearner
 
learnParameters(TrainingSet<S, T>) - Method in class org.tweetyproject.machinelearning.GridSearchParameterLearner
 
learnParameters(TrainingSet<S, T>) - Method in class org.tweetyproject.machinelearning.ParameterTrainer
Learns the best parameters of the given trainer for the training set.
LEQ - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator
Represents the "less than or equal to operator
LER_ASSOCIATIVE_NOT_SUPPORTED - Enum constant in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
Associative formulas are not supported by the language.
LER_CONJUNCTIONS_NOT_SUPPORTED - Enum constant in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
Conjunctions are not supported by the language.
LER_DISJUNCTIONS_NOT_SUPPORTED - Enum constant in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
Disjunctions are not supported by the language.
LER_ILLEGAL_ACCESSS - Enum constant in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
Illegal access occurred.
LER_ILLEGAL_PREDICATE - Enum constant in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
Tried to generate an illegal predicate.
LER_INSTANTIATION - Enum constant in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
Dynamic instantiation did not work.
LER_QUANTIFICATION_NOT_SUPPORTED - Enum constant in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
Quantified formulas are not supported by the language.
LER_RULES_NOT_SUPPORTED - Enum constant in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
Rules are not supported by the language.
LER_TERM_TYPE_NOT_SUPPORTED - Enum constant in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason
Tried to instantiate an unsupported term.
LESS - Enum constant in enum org.tweetyproject.preferences.Relation
Indicates that one element is strictly less preferred than another.
LESS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
LESS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
LESS - Static variable in class org.tweetyproject.math.equation.Inequation
less
LESS_EQUAL - Enum constant in enum org.tweetyproject.preferences.Relation
Indicates that one element is less than or equally preferred to another.
LESS_EQUAL - Static variable in class org.tweetyproject.math.equation.Inequation
less or equal
LESS_OR_EQ - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
LESS_OR_EQ - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
level - Variable in class org.tweetyproject.lp.asp.semantics.AnswerSet
level
levelAsInt() - Method in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel
Returns the log level as integer
levelAsString() - Method in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel
Returns the log level as string
LevelingFunction<T> - Class in org.tweetyproject.preferences.ranking
This class is meant to provide leveling functions to given preference orders and vice versa.
LevelingFunction() - Constructor for class org.tweetyproject.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 org.tweetyproject.preferences.ranking.LevelingFunction
this constructor creates a leveling function using a given preference order
LeviBaseRevisionOperator<T> - Class in org.tweetyproject.beliefdynamics
This class implements the Levi identity for revision, ie.
LeviBaseRevisionOperator(BaseContractionOperator<T>, BaseExpansionOperator<T>) - Constructor for class org.tweetyproject.beliefdynamics.LeviBaseRevisionOperator
Creates a new Levi base revision with the given contraction and expansion operators.
LeviMultipleBaseRevisionOperator<T> - Class in org.tweetyproject.beliefdynamics
This class implements the Levi identity for multiple revision, ie.
LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T>, MultipleBaseExpansionOperator<T>) - Constructor for class org.tweetyproject.beliefdynamics.LeviMultipleBaseRevisionOperator
Creates a new Levi base revision with the given contraction and expansion operators.
LEXICOGRAPHIC - Enum constant in enum org.tweetyproject.comparator.NumericalPartialOrder.SortingType
the first ranking value when sorted lexicographically is ranked first
LexicographicDoubleTupleComparator - Class in org.tweetyproject.arg.rankings.util
This comparator compares two vectors of double values according to the lexicographic ordering.
LexicographicDoubleTupleComparator() - Constructor for class org.tweetyproject.arg.rankings.util.LexicographicDoubleTupleComparator
Default Constructor
LexicographicIntTupleComparator - Class in org.tweetyproject.arg.rankings.util
This comparator compares tuples of integers according to the lexicographic ordering as described in [Cayrol, Lagasquie-Schiex.
LexicographicIntTupleComparator() - Constructor for class org.tweetyproject.arg.rankings.util.LexicographicIntTupleComparator
Default Constructor
LexicographicNumericalRankingTest() - Method in class org.tweetyproject.arg.rankings.RankingsTest
 
lexStateNames - Static variable in class org.tweetyproject.arg.delp.parser.DelpParserTokenManager
Lexer state names.
lexStateNames - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
Lexer state names.
lexStateNames - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
Lexer state names.
lexStateNames - Static variable in class org.tweetyproject.lp.asp.parser.ASPParserTokenManager
Lexer state names.
lexStateNames - Static variable in class org.tweetyproject.preferences.io.POParserTokenManager
Lexer state names.
lexStateNames - Static variable in class org.tweetyproject.preferences.io.UPParserTokenManager
Lexer state names.
LiExactPEAFInducer - Class in org.tweetyproject.arg.bipolar.inducers
Deprecated.
LiExactPEAFInducer(PEAFTheory) - Constructor for class org.tweetyproject.arg.bipolar.inducers.LiExactPEAFInducer
Deprecated.
LIFTED_INFERENCE - Static variable in class org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner
Integer constant for lifted inference.
linearCombination(double, double, ProbabilityDistribution<T>) - Method in class org.tweetyproject.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 org.tweetyproject.math.probability.ProbabilityFunction
Makes a linear combination of this distribution "p1" and the given distribution "other" and the given parameters, i.e.
LingelingSatSolver - Class in org.tweetyproject.sat.lingeling
This class provides an implementation of the `SatSolver` interface using the Lingeling SAT solver.
LingelingSatSolver() - Constructor for class org.tweetyproject.sat.lingeling.LingelingSatSolver
Initializes a new instance of the Lingeling SAT solver.
LingelingTest - Class in org.tweetyproject.sat.test
 
LingelingTest() - Constructor for class org.tweetyproject.sat.test.LingelingTest
 
link(Argument, Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Computes and returns the link between the given parent and child arguments.
Link - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType
Link
Link - Interface in org.tweetyproject.arg.adf.semantics.link
Link interface
links() - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Returns an unmodifiable set of all the links in this AbstractDialecticalFramework.
linksFrom(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Returns a set of links originating from the specified parent argument.
linksStream() - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Returns a stream of the links in this AbstractDialecticalFramework.
linksTo(Argument) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Returns a set of links directed towards the specified child argument.
LinkStrategy - Interface in org.tweetyproject.arg.adf.semantics.link
Interface representing a strategy for determining the type of link between arguments in a structured argumentation framework.
LinkType - Enum in org.tweetyproject.arg.adf.semantics.link
Enum representing different types of links in a framework.
LinkTypeTest - Class in org.tweetyproject.arg.adf.semantics.test
 
LinkTypeTest() - Constructor for class org.tweetyproject.arg.adf.semantics.test.LinkTypeTest
 
listIterator() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
listIterator() - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
 
listIterator() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
listIterator() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
listIterator() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
listIterator() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
listIterator() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
listIterator(int) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
 
listIterator(int) - Method in class org.tweetyproject.arg.dung.serialisability.semantics.SerialisationSequence
 
listIterator(int) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
 
listIterator(int) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
 
listIterator(int) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
 
listIterator(int) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
 
listIterator(int) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
 
Literal - Interface in org.tweetyproject.arg.adf.syntax.pl
The Literal interface represents a logical literal, which can be either a positive or negative proposition.
Literal(DefeasibleLogicProgram, FolSignature) - Method in class org.tweetyproject.arg.delp.parser.DelpParser
Parses a literal, which could be an atom or its negation.
LiteralReasoner - Class in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.asp.parser.ASPParserTest
literal test
LiThesisPage21EAFExample - Class in org.tweetyproject.arg.bipolar.examples
LiThesisPage21EAFExample class
LiThesisPage21EAFExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.LiThesisPage21EAFExample
 
load(File) - Method in interface org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter.FileHandler
Loads a collection of formulas from the given file.
load(File) - Method in interface org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.FileHandler
Return the reader
loadLibsvmTrainingFile(File) - Static method in class org.tweetyproject.machinelearning.TrainingSet
Loads a training file in LIBSVM syntax
log(String, String) - Static method in class org.tweetyproject.web.TweetyServer
Writes the given message to the log of this server.
Logarithm - Class in org.tweetyproject.math.term
Instances of this class represent application of the logarithm function on some term.
Logarithm(Term) - Constructor for class org.tweetyproject.math.term.Logarithm
Creates a new logarithm term for the give inner term.
logger - Static variable in class org.tweetyproject.web.services.LoggerUtil
logger
LoggerUtil - Class in org.tweetyproject.web.services
Utility class for configuring a logger with console and file handlers.
LoggerUtil() - Constructor for class org.tweetyproject.web.services.LoggerUtil
 
LogicalSymbols - Class in org.tweetyproject.logics.commons
This class provides some String constants for logical symbols and allows to modify them at runtime.
LogicalSymbols() - Constructor for class org.tweetyproject.logics.commons.LogicalSymbols
 
LogicProgram<C,P,T> - Interface in org.tweetyproject.logics.commons.syntax.interfaces
An interface for a logic program, which is a set of rules.
LogicStructure - Class in org.tweetyproject.logics.fol.syntax
This abstract class captures the common functionalities of both formulas and terms.
LogicStructure - Interface in org.tweetyproject.logics.commons.syntax.interfaces
This interface captures the common functionalities of formulas, sorts and terms.
LogicStructure() - Constructor for class org.tweetyproject.logics.fol.syntax.LogicStructure
Constructor
longValue() - Method in class org.tweetyproject.math.ComplexNumber
 
longValue() - Method in class org.tweetyproject.math.probability.Probability
 
LotteryArgumentationEnvironment - Class in org.tweetyproject.agents.dialogues
This class models the environment for agents in argumentation games with lotteries.
LotteryArgumentationEnvironment(DungTheory) - Constructor for class org.tweetyproject.agents.dialogues.LotteryArgumentationEnvironment
Creates a new grounded environment.
LotteryDialogueTest - Class in org.tweetyproject.agents.dialogues.examples
Shows how a simulation of a multi-agent system can be set up.
LotteryDialogueTest() - Constructor for class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest
Default Constructor
LotteryDialogueTest2 - Class in org.tweetyproject.agents.dialogues.examples
Main class for empirical evaluation in [Hunter, Thimm.
LotteryDialogueTest2() - Constructor for class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest2
Default Constructor
LotteryExample - Class in org.tweetyproject.arg.prob.examples
Example code for working with lotteries in probabilistic abstract argumentation.
LotteryExample() - Constructor for class org.tweetyproject.arg.prob.examples.LotteryExample
Deafult
LotteryGameGenerator - Class in org.tweetyproject.agents.dialogues.lotteries.sim
Generates lottery games.
LotteryGameGenerator(DungTheoryGenerator, Semantics) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
Creates a new game generator.
LotteryGameGenerator(DungTheoryGenerator, Semantics, boolean) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.LotteryGameGenerator
Creates a new game generator.
LotteryGameSystem - Class in org.tweetyproject.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 org.tweetyproject.agents.dialogues.lotteries.LotteryGameSystem
Creates a new grounded game system.
LOWER_BOUND - Static variable in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution
lower bound
LowerApproxDistanceMinimizationInconsistencyMeasure - Class in org.tweetyproject.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(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.LowerApproxDistanceMinimizationInconsistencyMeasure
Constructor
LpSolve - Class in org.tweetyproject.math.opt.solver
This class implements a wrapper to the lpsolve binary for mixed integer linear programming.
LpSolve() - Constructor for class org.tweetyproject.math.opt.solver.LpSolve
Constructor
LpSolverEx - Class in org.tweetyproject.math.examples
This class implements an example for the Genetic LpSolver.
LpSolverEx() - Constructor for class org.tweetyproject.math.examples.LpSolverEx
Constructor
LT - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator
Represents the "less than" operator
LukasiewiczNorm - Class in org.tweetyproject.math.func.fuzzy
Represents the Lukasiewicz-norm in fuzzy logic, i.e., T(x,y)=max(x+y-1,0)
LukasiewiczNorm() - Constructor for class org.tweetyproject.math.func.fuzzy.LukasiewiczNorm
Constructor
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