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

M

main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.GroundedTest
 
main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.GroundedTest2
 
main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
 
main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest2
Main method for evaluation.
main(String[]) - Static method in class net.sf.tweety.arg.aba.examples.AbaExample
 
main(String[]) - Static method in class net.sf.tweety.arg.adf.cli.CommandLineInterface
 
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicExample
 
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicExample2
 
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicExampleFol
 
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample
 
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample2
 
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample3
 
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.DirectionalReasonerTest
 
main(String[]) - Static method in class net.sf.tweety.arg.bipolar.examples.DeductiveArgumentation
 
main(String[]) - Static method in class net.sf.tweety.arg.bipolar.examples.EvidentialAcceptability
 
main(String[]) - Static method in class net.sf.tweety.arg.bipolar.examples.EvidentialArgumentation
 
main(String[]) - Static method in class net.sf.tweety.arg.bipolar.examples.EvidentialArgumentation2
 
main(String[]) - Static method in class net.sf.tweety.arg.bipolar.examples.NecessityArgumentation
 
main(String[]) - Static method in class net.sf.tweety.arg.deductive.examples.DeductiveExample
 
main(String[]) - Static method in class net.sf.tweety.arg.deductive.examples.SimplePlLogicExample
 
main(String[]) - Static method in class net.sf.tweety.arg.delp.examples.DeLPExample
 
main(String[]) - Static method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
Parsing DeLP from given file and performing given query against it.
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.AcceptabilityReasonerExample
 
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.CF2Example
 
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.DivisionExample
 
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.DungTheoryGeneratorExample
 
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.LearningExample
 
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.OrderingExample
 
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.QualifiedExample
 
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.StratifiedLabelingExample
 
main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.LotteryExample
 
main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.PAInconsistencyMeasureExample
 
main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.SubgraphProbExample
 
main(String[]) - Static method in class net.sf.tweety.arg.rankings.examples.IteratedGradedDefenseReasonerExample
 
main(String[]) - Static method in class net.sf.tweety.arg.rankings.examples.ProbabilisticRankingReasonerExample
 
main(String[]) - Static method in class net.sf.tweety.arg.rankings.examples.RankingSemanticsExample
 
main(String[]) - Static method in class net.sf.tweety.arg.rankings.examples.RankingSemanticsExample2
 
main(String[]) - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample
 
main(String[]) - Static method in class net.sf.tweety.arg.social.examples.SafExample
 
main(String[]) - Static method in class net.sf.tweety.beliefdynamics.examples.AbstractArgumentationExample
 
main(String[]) - Static method in class net.sf.tweety.beliefdynamics.examples.CrMasExample
 
main(String[]) - Static method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
Functional Test method: Only shows the view in a JFrame to test resize behavior.
main(String[]) - Static method in class net.sf.tweety.cli.plugins.CliMain
 
main(String[]) - Static method in class net.sf.tweety.cli.TweetyCli
Program entry.

Current program call:
- java -jar TweetyCLI.jar --input RPCLKBFILE --parser rpclme --output RPCLPROBFILE --writer X --options [rpcl.semantics=Y,rpcl.inference=Z]
* - java -jar TweetyCLI.jar --input RPCLKBFILE RPCLPROBFILE --parser rpclme X --query=SOMEQUERY --options [rpcl.semantics=Y,rpcl.inference=Z] with X\in{rpclmeProb, rpclmeCondProb}, Y\in {averaging,aggregating}, Z\in{standard,lifted}
main(String[]) - Static method in class net.sf.tweety.commons.examples.SubsetIteratorExample
 
main(String[]) - Static method in class net.sf.tweety.graphs.examples.GraphExample
 
main(String[]) - Static method in class net.sf.tweety.graphs.examples.GraphExample2
 
main(String[]) - Static method in class net.sf.tweety.logics.cl.examples.CReasonerExample
 
main(String[]) - Static method in class net.sf.tweety.logics.cl.examples.ReasonerExample
 
main(String[]) - Static method in class net.sf.tweety.logics.dl.examples.DlExample
 
main(String[]) - Static method in class net.sf.tweety.logics.fol.examples.FolExample
 
main(String[]) - Static method in class net.sf.tweety.logics.fol.examples.StandardFolWriterExample
 
main(String[]) - Static method in class net.sf.tweety.logics.fol.examples.TPTPParserExample
 
main(String[]) - Static method in class net.sf.tweety.logics.ml.examples.MlExample
 
main(String[]) - Static method in class net.sf.tweety.logics.ml.examples.MlExample2
 
main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.AlchemyExample
 
main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.ApproximationExample
 
main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample
 
main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample2
 
main(String[]) - Static method in class net.sf.tweety.logics.pcl.analysis.MaximumEntropyMachineShop
 
main(String[]) - Static method in class net.sf.tweety.logics.pcl.examples.AnalysisExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pcl.examples.RepairExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pcl.util.MatlabUtils
Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.ContensionExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.DfInconsistencyMeasureExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.DSumMeasureExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.FuzzyMeasureExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.IcebergInconsistencyExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.ImPostulateEvaluationExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.LingelingExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MaMeasureExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MaxSatExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.McscInconsistencyMeasureExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MinimalInconsistentSubsetExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MusExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.PlExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.PmMeasureExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.SimplePlInterpolantEnumeratorExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.SyntacticEnumeratingPlBeliefSetSamplerExample
 
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.SyntacticRandomPlBeliefSetSamplerExample
 
main(String[]) - Static method in class net.sf.tweety.logics.qbf.examples.QbfExample
 
main(String[]) - Static method in class net.sf.tweety.logics.qbf.examples.QbfReasonersExample
 
main(String[]) - Static method in class net.sf.tweety.logics.rcl.examples.RclExample
 
main(String[]) - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample
 
main(String[]) - Static method in class net.sf.tweety.logics.rpcl.examples.RpclMeReasonerExample
 
main(String[]) - Static method in class net.sf.tweety.logics.rpcl.examples.RpclMeReasonerExample2
 
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
Simple test case taken from [1]
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
Functional Test method: Only shows the view in a JFrame to test resize behavior.
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
 
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
 
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.RevisionTest
 
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ArgumentativeSelectiveRevisionTest
 
main(String[]) - Static method in class net.sf.tweety.lp.asp.examples.ASPCore2ParserExample
 
main(String[]) - Static method in class net.sf.tweety.machinelearning.examples.SvmExample
 
main(String[]) - Static method in class net.sf.tweety.machinelearning.test.SVMTest
 
main(String[]) - Static method in class net.sf.tweety.math.examples.ApacheCommonsCMAESOptimizerEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.ApacheCommonsNonLinearConjugateGradientOptimizerEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.ApacheCommonsSimplexEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.ApacheCommonsSimplexEx2
 
main(String[]) - Static method in class net.sf.tweety.math.examples.BfgsSolverEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.GlpkSolverEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.GradientDescentSolverEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.HessianGradientSolverEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.KnapSacktester
 
main(String[]) - Static method in class net.sf.tweety.math.examples.LagrangeSolverEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.LagrangeSolverEx2
 
main(String[]) - Static method in class net.sf.tweety.math.examples.LpSolverEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.OctaveSqpSolverEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.SimpleGeneticOptimizationSolverEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.SimulatedAnnealingOnConstrProbEx2
 
main(String[]) - Static method in class net.sf.tweety.math.examples.TabuSearchOnConstrProbEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.TravelingSalesmanEx
 
main(String[]) - Static method in class net.sf.tweety.math.examples.TravelingSalesmanEx2
 
main(String[]) - Static method in class net.sf.tweety.preferences.io.POParser
 
main(String[]) - Static method in class net.sf.tweety.preferences.io.UPParser
 
main(String[]) - Static method in class net.sf.tweety.preferences.PreferencesIntegerBugExample
 
main(String[]) - Static method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
Launch the test.
main(String[]) - Static method in class net.sf.tweety.web.TweetyServer
Main server method.
MaInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class models the I_M inconsistency measure from e.g.
MaInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.MaInconsistencyMeasure
Creates a new inconsistency measure.
MaMeasureExample - Class in net.sf.tweety.logics.pl.examples
 
MaMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.MaMeasureExample
 
MANHATTAN - Static variable in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner
 
manhattanDistance(double[], double[]) - Static method in class net.sf.tweety.commons.util.VectorTools
Computes the Manhattan distance between the two given vectors.
manhattanDistance(List<Double>, List<Double>) - Static method in class net.sf.tweety.commons.util.VectorTools
Computes the Manhattan distance between the two given lists.
manhattanDistanceToZero(double[]) - Static method in class net.sf.tweety.commons.util.VectorTools
Computes the Manhattan distance of the given value vector to zero
manhattanDistanceToZero(List<Double>) - Static method in class net.sf.tweety.commons.util.VectorTools
Computes the Manhattan distance of the given value vector to zero
ManhattanNorm - Class in net.sf.tweety.math.norm
The Manhattan norm.
ManhattanNorm() - Constructor for class net.sf.tweety.math.norm.ManhattanNorm
 
Manual - net.sf.tweety.logics.bpm.syntax.TaskType
 
ManualTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
 
MapTools<E,​F> - Class in net.sf.tweety.commons.util
This class provides some utility functions for maps.
MapTools() - Constructor for class net.sf.tweety.commons.util.MapTools
 
MarcoMusEnumerator - Class in net.sf.tweety.logics.pl.sat
Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/).
MarcoMusEnumerator(String) - Constructor for class net.sf.tweety.logics.pl.sat.MarcoMusEnumerator
Creates a new MUs enumerator.
MarkovLogicNetwork - Class in net.sf.tweety.logics.mln.syntax
Instances of this class represent Markov Logic Networks [Domingos et.
MarkovLogicNetwork() - Constructor for class net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork
Creates a new (empty) MLN.
MarkovLogicNetwork(Collection<? extends MlnFormula>) - Constructor for class net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork
Creates a new conditional MLN with the given collection of MLN formulas.
MathTools - Class in net.sf.tweety.commons.util
This class contains some useful math tools.
MathTools() - Constructor for class net.sf.tweety.commons.util.MathTools
 
MatlabUtils - Class in net.sf.tweety.logics.pcl.util
 
MatlabUtils() - Constructor for class net.sf.tweety.logics.pcl.util.MatlabUtils
 
Matrix - Class in net.sf.tweety.math.matrix
This class models a matrix of terms.
Matrix(int, int) - Constructor for class net.sf.tweety.math.matrix.Matrix
Creates a new matrix of the given dimension.
MAX - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
 
MAX_FIX_ITERATIONS - Static variable in class net.sf.tweety.math.opt.rootFinder.NewtonRootFinder
The maximum number of fixing iterations.
MAX_ITERATIONS - Static variable in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
The maximum number of steps in the line search.
MaxAggregator - Class in net.sf.tweety.math.func
This aggregation function models the maximum function.
MaxAggregator() - Constructor for class net.sf.tweety.math.func.MaxAggregator
 
MaxFunction - Class in net.sf.tweety.math.func
The maximum function.
MaxFunction() - Constructor for class net.sf.tweety.math.func.MaxFunction
 
maximalConsistentSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
 
maximalConsistentSubsets(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
This method returns the maximal consistent subsets of the given set of formulas
maximize - Variable in class net.sf.tweety.lp.asp.parser.ASTOpt
 
maximize - Variable in class net.sf.tweety.lp.asp.parser.ASTOptFunc
 
maximize(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTOpt
 
maximize(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTOptFunc
 
MAXIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
MAXIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.
MAXIMIZE - Static variable in class net.sf.tweety.math.opt.problem.CombinatoricsProblem
Static constant for the type "maximization"
MAXIMIZE - Static variable in class net.sf.tweety.math.opt.problem.OptimizationProblem
Static constant for the type "maximization"
MaximizeInterpretationProcessor - Class in net.sf.tweety.arg.adf.reasoner.sat.processor
Maximizes the given interpretation and afterwards restricts the search space from generating smaller ones.
MaximizeInterpretationProcessor() - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.processor.MaximizeInterpretationProcessor
 
MaximizeInterpretationProcessor(Verifier) - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.processor.MaximizeInterpretationProcessor
 
Maximum - Class in net.sf.tweety.math.term
This class models the maximum of two terms.
Maximum(List<Term>) - Constructor for class net.sf.tweety.math.term.Maximum
Creates a new maximum with the given list of terms.
Maximum(Term, Term) - Constructor for class net.sf.tweety.math.term.Maximum
Creates a new maximum with the given terms.
MAXIMUM - Static variable in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner
 
MaximumCoNorm - Class in net.sf.tweety.math.func.fuzzy
Represents the maximum-conorm in fuzzy logic, i.e., S(x,y)=max(x,y)
MaximumCoNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.MaximumCoNorm
 
MaximumEntropyMachineShop - Class in net.sf.tweety.logics.pcl.analysis
This consistency restorer uses the idea of the upper approximative distance minimization inconsistency measure to compute a ME-probability distribution and adjust the probabilities of the conditionals accordingly.
MaximumEntropyMachineShop(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.MaximumEntropyMachineShop
 
MaximumNorm - Class in net.sf.tweety.math.norm
The Maximum norm.
MaximumNorm() - Constructor for class net.sf.tweety.math.norm.MaximumNorm
 
MAXITERATIONS - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex
The maximum number of iterations of the simplex algorithm.
maxRecursionDepth - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
The maximal depth of the recursive model.
maxRecursionWidth - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.T2Configuration
The maximal number of sub-models in the probability distribution of a model
MaxSatExample - Class in net.sf.tweety.logics.pl.examples
Illustrates the use of MaxSAT solvers.
MaxSatExample() - Constructor for class net.sf.tweety.logics.pl.examples.MaxSatExample
 
MaxSatSolver - Class in net.sf.tweety.logics.pl.sat
Provides a generic class for implementing MaxSAT solvers, i.e.
MaxSatSolver() - Constructor for class net.sf.tweety.logics.pl.sat.MaxSatSolver
 
MC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
MCSC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
McscInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class implements the approach of [Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha.
McscInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.McscInconsistencyMeasure
Creates a new inconsistency measure.
McscInconsistencyMeasureExample - Class in net.sf.tweety.logics.pl.examples
 
McscInconsistencyMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.McscInconsistencyMeasureExample
 
MeanDistanceCulpabilityMeasure - Class in net.sf.tweety.logics.pcl.analysis
This class implements the mean distance culpability measure, see [PhD thesis, Thimm].
MeanDistanceCulpabilityMeasure(OptimizationRootFinder, boolean) - Constructor for class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
Creates a new measure.
MEASURE_TOLERANCE - Static variable in interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure
Tolerance.
merge() - Method in class net.sf.tweety.plugin.OutputField
 
mergeFields() - Method in class net.sf.tweety.plugin.PluginOutput
 
Message - Class in net.sf.tweety.logics.bpm.syntax
 
Message - net.sf.tweety.logics.bpm.syntax.EventType
 
Message() - Constructor for class net.sf.tweety.logics.bpm.syntax.Message
 
MessageFlow - Class in net.sf.tweety.logics.bpm.syntax
 
MessageFlow(BpmnNode, BpmnNode) - Constructor for class net.sf.tweety.logics.bpm.syntax.MessageFlow
 
MI - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
MIC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
MicInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class models the MI^C inconsistency measure.
MicInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.MicInconsistencyMeasure
Creates a new drastic inconsistency measure.
midPoint(double[], double[]) - Static method in class net.sf.tweety.commons.util.VectorTools
Computes the midpoint of the two given vectors.
MiInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class models the MI inconsistency measure.
MiInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.MiInconsistencyMeasure
Creates a new inconsistency measure.
MimusMusEnumerator - Class in net.sf.tweety.logics.pl.sat
Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html).
MimusMusEnumerator(String) - Constructor for class net.sf.tweety.logics.pl.sat.MimusMusEnumerator
Creates a new MUs enumerator.
min(Term) - Method in class net.sf.tweety.math.term.Term
Returns the minimum of this and the given term.
MIN - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
 
MIN_STEP_LENGTH - Static variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
The minimal step length for line search.
MinAggregator - Class in net.sf.tweety.math.func
This aggregation function models the minimum function.
MinAggregator() - Constructor for class net.sf.tweety.math.func.MinAggregator
 
mineRules(Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AbstractAssociationRuleMiner
 
mineRules(Collection<Collection<T>>) - Method in interface net.sf.tweety.machinelearning.assoc.AssociationRuleMiner
Mines a set of association rules from the given database.
mineRules(Collection<Collection<T>>, int) - Method in class net.sf.tweety.machinelearning.assoc.AbstractAssociationRuleMiner
 
mineRules(Collection<Collection<T>>, int) - Method in interface net.sf.tweety.machinelearning.assoc.AssociationRuleMiner
Mines a set of association rules from the given database.
mineRules(Collection<Collection<T>>, int, int) - Method in class net.sf.tweety.machinelearning.assoc.AprioriMiner
 
mineRules(Collection<Collection<T>>, int, int) - Method in interface net.sf.tweety.machinelearning.assoc.AssociationRuleMiner
Mines a set of association rules from the given database.
minimalCorrectionSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
 
minimalCorrectionSubsets(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
This method returns the minimal correction subsets of the given set of formulas (i.e.
MinimalInconsistentSubsetExample - Class in net.sf.tweety.logics.pl.examples
 
MinimalInconsistentSubsetExample() - Constructor for class net.sf.tweety.logics.pl.examples.MinimalInconsistentSubsetExample
 
minimalInconsistentSubsets(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.MarcoMusEnumerator
 
minimalInconsistentSubsets(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.MimusMusEnumerator
 
minimalInconsistentSubsets(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.PlMusEnumerator
 
minimalInconsistentSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
 
minimalInconsistentSubsets(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator
This method returns the minimal inconsistent subsets of the given set of formulas.
minimalInconsistentSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.NaiveMusEnumerator
 
MinimalViolation2InconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
This class models the minimal violation inconsistency measure for the 2-norm.
MinimalViolation2InconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
 
MinimalViolationEuclideanMachineShop - Class in net.sf.tweety.logics.pcl.analysis
Repairs a probabilistic belief base by taking the probabilities from the probability function that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.
MinimalViolationEuclideanMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShop
 
MinimalViolationEuclideanMachineShopOjAlgoExpression - Class in net.sf.tweety.logics.pcl.analysis
Repairs a probabilistic belief base by taking the probabilities from the probability function that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.
MinimalViolationEuclideanMachineShopOjAlgoExpression() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoExpression
 
MinimalViolationEuclideanMachineShopOjAlgoMatrix - Class in net.sf.tweety.logics.pcl.analysis
Repairs a probabilistic belief base by taking the probabilities from the probability function that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.
MinimalViolationEuclideanMachineShopOjAlgoMatrix() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoMatrix
 
MinimalViolationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
This class provides a general implementation for the minimal violation inconsistency measure, cf.
MinimalViolationInconsistencyMeasure(RealVectorNorm, Solver) - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure
Creates a new measure the given norm
MinimalViolationInconsistencyMeasureLPSolveTest - Class in net.sf.tweety.logics.pcl.test
 
MinimalViolationInconsistencyMeasureLPSolveTest() - Constructor for class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
 
MINIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
MINIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.
MINIMIZE - Static variable in class net.sf.tweety.math.opt.problem.CombinatoricsProblem
Static constant for the type "minimization"
MINIMIZE - Static variable in class net.sf.tweety.math.opt.problem.OptimizationProblem
Static constant for the type "minimization"
Minimum - Class in net.sf.tweety.math.term
This class models the minimum of two terms.
Minimum(List<Term>) - Constructor for class net.sf.tweety.math.term.Minimum
Creates a new minimum with the given list of terms.
Minimum(Term, Term) - Constructor for class net.sf.tweety.math.term.Minimum
Creates a new minimum with the given terms.
MinimumAggregatedDistanceMachineShop - Class in net.sf.tweety.logics.pcl.analysis
This approach to consistency restoration follows the approach proposed in [Thimm, DKB, 2011].
MinimumAggregatedDistanceMachineShop(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop
 
MinimumNorm - Class in net.sf.tweety.math.func.fuzzy
Represents the minimum-norm in fuzzy logic, i.e., T(x,y)=min(x,y)
MinimumNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.MinimumNorm
 
MinimumViolationMachineShop - Class in net.sf.tweety.logics.pcl.analysis
Repairs a probabilistic belief base by taking the probabilities from the probability function that minimizes the "minimum violation inconsistency measure".
MinimumViolationMachineShop(RealVectorNorm) - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimumViolationMachineShop
Creates a new machine shop for the norm
MINORMALIZATION - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
The MINORMALIZATION postulate
minus(Matrix) - Method in class net.sf.tweety.math.matrix.Matrix
Makes a subtraction of the given matrix from this one and returns the result.
minus(Term) - Method in class net.sf.tweety.math.term.Term
Returns the sum of this and (-1) * the given term.
MINUS - net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator
 
MINUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
MINUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.
MinusSetView<E> - Class in net.sf.tweety.arg.adf.util
 
MinusSetView(Set<E>, Set<E>) - Constructor for class net.sf.tweety.arg.adf.util.MinusSetView
Constructs a view of the result of superset - subset.
MiSampler - Class in net.sf.tweety.logics.pl.util
Generates random propositional belief base with a given inconsistency measure (for the MI inconsistency measure) and of a given size.
MiSampler(PlSignature, int) - Constructor for class net.sf.tweety.logics.pl.util.MiSampler
Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
MiSampler(PlSignature, int, int, int) - Constructor for class net.sf.tweety.logics.pl.util.MiSampler
Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
MISEPARABILITY - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
The MISEPARABILITY postulate
MissingCharacterTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
 
missingEndQuote() - Method in class net.sf.tweety.arg.delp.TestKBParsing
 
MlBeliefSet - Class in net.sf.tweety.logics.ml.syntax
This class models a modal knowledge base, i.e.
MlBeliefSet() - Constructor for class net.sf.tweety.logics.ml.syntax.MlBeliefSet
Creates a new empty modal knowledge base.
MlBeliefSet(Set<RelationalFormula>) - Constructor for class net.sf.tweety.logics.ml.syntax.MlBeliefSet
Creates a new modal knowledge base with the given set of formulas.
MleanCoPReasoner - Class in net.sf.tweety.logics.ml.reasoner
Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover for modal first-order logic based on the clausal connection calculus.
MleanCoPReasoner(String) - Constructor for class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner
Constructs a new instance pointing to a specific MleanCoProver.
MleanCoPReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner
Constructs a new instance pointing to a specific MleanCoProver.
MleanCoPTest - Class in net.sf.tweety.logics.ml
JUnit Test class for MleanCoP.
MleanCoPTest() - Constructor for class net.sf.tweety.logics.ml.MleanCoPTest
 
MleanCoPWriter - Class in net.sf.tweety.logics.ml.writer
Prints single FOL and modal formulas to the MleanCoP format:

Negation: '~'
Conjunction: ','
Disjunction: ';'
Implication: '=>'
Equivalence: '<=>'
Universal quantifier: 'all X:'
Existential quantifier: 'ex X:'
Modal box operator (Necessity): '#'
Modal diamond operator (Possibility): '*'
MleanCoPWriter() - Constructor for class net.sf.tweety.logics.ml.writer.MleanCoPWriter
Creates a new MleanCoPWriter.
MleanCoPWriter(Writer) - Constructor for class net.sf.tweety.logics.ml.writer.MleanCoPWriter
Creates a new MleanCoPWriter.
MlExample - Class in net.sf.tweety.logics.ml.examples
Some examples for testing ModalParser and NaiveModalReasoner
MlExample() - Constructor for class net.sf.tweety.logics.ml.examples.MlExample
 
MlExample2 - Class in net.sf.tweety.logics.ml.examples
More examples for testing ModalParser and ModalReasoner
MlExample2() - Constructor for class net.sf.tweety.logics.ml.examples.MlExample2
 
MlFormula - Class in net.sf.tweety.logics.ml.syntax
This class models a modal formula, i.e.
MlFormula(RelationalFormula) - Constructor for class net.sf.tweety.logics.ml.syntax.MlFormula
 
MlHerbrandBase - Class in net.sf.tweety.logics.ml.semantics
Modified version of HerbrandBase that allows for modal formulas.
MlHerbrandBase(FolSignature) - Constructor for class net.sf.tweety.logics.ml.semantics.MlHerbrandBase
Creates a new Herbrand base for the given signature.
MlHerbrandInterpretation - Class in net.sf.tweety.logics.ml.semantics
Modified version of HerbrandInterpretation that allows for modal formulas.
MlHerbrandInterpretation() - Constructor for class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation
Creates a new empty Herbrand interpretation
MlHerbrandInterpretation(Collection<? extends FolAtom>) - Constructor for class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation
Creates a new Herbrand interpretation with the given set of atoms
MlnExample - Class in net.sf.tweety.logics.mln.examples
Shows how MLNs can be constructed programmatically and shows how coherence measures can be used.
MlnExample() - Constructor for class net.sf.tweety.logics.mln.examples.MlnExample
 
MlnExample2 - Class in net.sf.tweety.logics.mln.examples
Gives further examples on how MLNs can be constructed programmatically and how coherence measures can be used.
MlnExample2() - Constructor for class net.sf.tweety.logics.mln.examples.MlnExample2
 
MlnFormula - Class in net.sf.tweety.logics.mln.syntax
Instances of this class represent first-order formulas with a weight.
MlnFormula(FolFormula) - Constructor for class net.sf.tweety.logics.mln.syntax.MlnFormula
Creates a new strict MLN formula with the given formula.
MlnFormula(FolFormula, Double) - Constructor for class net.sf.tweety.logics.mln.syntax.MlnFormula
Creates a new MLN formula with the given formula and weight.
MlnFormula(FolFormula, Probability) - Constructor for class net.sf.tweety.logics.mln.syntax.MlnFormula
Creates a new MLN formula and estimates its weight w by the given probability p using the formula w = log(p/(1-p)*f) where "f" is the ratio of the number of worlds not satisfying the formula and the worlds satisfying the formula.
MlParser - Class in net.sf.tweety.logics.ml.parser
This class implements a parser for modal logic.
MlParser() - Constructor for class net.sf.tweety.logics.ml.parser.MlParser
 
MlParserTest - Class in net.sf.tweety.logics.ml
JUnit Test class for ModalParser.
MlParserTest() - Constructor for class net.sf.tweety.logics.ml.MlParserTest
 
MlReasonerTest - Class in net.sf.tweety.logics.ml
JUnit Test class for NaiveModalReasoner.
MlReasonerTest() - Constructor for class net.sf.tweety.logics.ml.MlReasonerTest
 
MlWriter - Class in net.sf.tweety.logics.ml.writer
 
MlWriter(RelationalFormula) - Constructor for class net.sf.tweety.logics.ml.writer.MlWriter
 
MlWriter(MlBeliefSet) - Constructor for class net.sf.tweety.logics.ml.writer.MlWriter
 
ModelGenerator - Class in net.sf.tweety.arg.adf.reasoner.sat.generator
 
ModelGenerator() - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.generator.ModelGenerator
 
modelIterator(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
 
ModelProvider<S extends Formula,​B extends BeliefBase,​T extends Interpretation<B,​S>> - Interface in net.sf.tweety.commons
Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
ModelReasoner - Class in net.sf.tweety.arg.adf.reasoner
 
ModelReasoner(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.ModelReasoner
 
MODULAR_CLASSICAL_CONSEQUENCE - net.sf.tweety.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation
 
ModuleBasedAspicReasoner<T extends Invertable> - Class in net.sf.tweety.arg.aspic.reasoner
Slightly optimised reasoner for ASPIC.
ModuleBasedAspicReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.arg.aspic.reasoner.ModuleBasedAspicReasoner
Creates a new instance
MODUS_PONENS - net.sf.tweety.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation
 
MonotoneGlobalMaxichoiceSelectionFunction - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision
This class implements a monotone global maxichoise selection function for remainder sets of extended logic programs as introduced in [KKI12].
MonotoneGlobalMaxichoiceSelectionFunction() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
 
MONOTONY - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
The MONOTONY postulate
MonteCarloPafReasoner - Class in net.sf.tweety.arg.prob.reasoner
This class implements the Monte Carlo algorithm for estimating probabilities of extensions in probabilistic argumentation frameworks from [Li, Oren, Norman.
MonteCarloPafReasoner(Semantics, int) - Constructor for class net.sf.tweety.arg.prob.reasoner.MonteCarloPafReasoner
Creates a new reasoner.
moreQuoted() - Method in class net.sf.tweety.arg.delp.TestQueries
 
move(ArgumentationEnvironment) - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
Gives the next best move according to the belief state and the given trace.
moveBeliefbase(Collection<?>, int) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel
Moves the given belief base in the given direction.
mpm - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
 
msd - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
 
MTExample() - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample
 
MTRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner
This class implements the argument ranking approach of [Matt, Toni.
MTRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.MTRankingReasoner
 
mult(double) - Method in class net.sf.tweety.math.matrix.Matrix
Multiply this matrix with the given scalar (every entry is multiplied)
mult(Double) - Method in class net.sf.tweety.math.probability.Probability
Computes the product of this probability and the given number.
mult(Integer) - Method in class net.sf.tweety.math.probability.Probability
Computes the product of this probability and the given number.
mult(Matrix) - Method in class net.sf.tweety.math.matrix.Matrix
Multiply this matrix with the given one.
mult(Probability) - Method in class net.sf.tweety.math.probability.Probability
Computes the product of this probability and the given probability.
mult(Term) - Method in class net.sf.tweety.math.matrix.Matrix
Multiply this matrix with the given scalar (every entry is multiplied)
mult(Term) - Method in class net.sf.tweety.math.term.Term
Returns the product of this and the given term.
MULTI_LINE_COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
MULTI_LINE_COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.
MultiAgentSystem<T extends Agent> - Class in net.sf.tweety.agents
A multi-agent system is a collection of agents with some environment.
MultiAgentSystem(Environment) - Constructor for class net.sf.tweety.agents.MultiAgentSystem
Creates a new empty multi-agent system with the given environment.
MultiAgentSystem(Environment, Collection<? extends T>) - Constructor for class net.sf.tweety.agents.MultiAgentSystem
Creates a new multi-agent system with the given collection of agents.
MultiAgentSystemGenerator<T extends Agent,​S extends MultiAgentSystem<T>> - Interface in net.sf.tweety.agents.sim
 
MultiClassRbfTrainer - Class in net.sf.tweety.machinelearning.svm
Trains a standard multi-class RBF support vector machine.
MultiClassRbfTrainer() - Constructor for class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
Initializes the trainer with the default parameters.
MultiClassRbfTrainer(double, double) - Constructor for class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
Initializes the trainer with the given parameters.
multiFile() - Method in class net.sf.tweety.arg.delp.TestDeLP
 
Multiple - net.sf.tweety.logics.bpm.syntax.EventType
 
MultipleBaseContractionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
This is the interface for a classic multiple belief base contraction operator, ie.
MultipleBaseContractionOperator() - Constructor for class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
 
MultipleBaseExpansionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
This is the interface for a classic multiple belief base expansion operator, ie.
MultipleBaseExpansionOperator() - Constructor for class net.sf.tweety.beliefdynamics.MultipleBaseExpansionOperator
 
MultipleBaseRevisionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
This is the interface for a classic multiple belief base revision operator, ie.
MultipleBaseRevisionOperator() - Constructor for class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator
 
MultipleIndicatorUtilityFunction - Class in net.sf.tweety.agents.dialogues.structured
This class represents a multiple indicator utility function, i.e.
MultipleIndicatorUtilityFunction(Collection<? extends Proposition>) - Constructor for class net.sf.tweety.agents.dialogues.structured.MultipleIndicatorUtilityFunction
Creates a new multiple indicator utility function for the given focal set.
MultipleSelectiveRevisionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics.selectiverevision
This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].
MultipleSelectiveRevisionOperator(MultipleTransformationFunction<T>, MultipleBaseRevisionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator
Creates a new multiple selective revision operator for the given transformation function and inner revision.
MultipleTransformationFunction<T extends Formula> - Interface in net.sf.tweety.beliefdynamics.selectiverevision
This interface represents a multiple transformation function for selective revision [Kruempelmann:2011,Ferme:1999].
MULTIPLICATOR - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
 
musEnumerator - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService
The MUS enumerator configured for this service.
MusEnumerator<S extends Formula> - Interface in net.sf.tweety.logics.commons.analysis
Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).
MusExample - Class in net.sf.tweety.logics.pl.examples
 
MusExample() - Constructor for class net.sf.tweety.logics.pl.examples.MusExample
 
MusVarInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis
This class implements the "MUS-variable based inconsistency measure" proposed in [Xiao,Ma.
MusVarInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pl.analysis.MusVarInconsistencyMeasure
 
MV - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
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