M-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 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