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 and Interfaces|All Packages|Constant Field Values|Serialized Form

M

main() - Method in class SafExample
main(String[]) - Static method in class org.tweetyproject.agents.dialogues.examples.GroundedTest
main(String[]) - Static method in class org.tweetyproject.agents.dialogues.examples.GroundedTest2
main(String[]) - Static method in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest
main(String[]) - Static method in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest2: Main method for evaluation.
main(String[]) - Static method in class org.tweetyproject.arg.aba.examples.AbaExample
main(String[]) - Static method in class org.tweetyproject.arg.adf.cli.CommandLineInterface
main(String[]) - Static method in class org.tweetyproject.arg.adf.examples.ADFExample
main(String[]) - Static method in class org.tweetyproject.arg.aspic.examples.AspicExample
main(String[]) - Static method in class org.tweetyproject.arg.aspic.examples.AspicExample2
main(String[]) - Static method in class org.tweetyproject.arg.aspic.examples.AspicExampleFol
main(String[]) - Static method in class org.tweetyproject.arg.aspic.examples.AspicGeneratorExample
main(String[]) - Static method in class org.tweetyproject.arg.aspic.examples.AspicGeneratorExample2
main(String[]) - Static method in class org.tweetyproject.arg.aspic.examples.AspicGeneratorExample3
main(String[]) - Static method in class org.tweetyproject.arg.aspic.examples.DirectionalReasonerTest
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.admissibleExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.AllPEAFInducerExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.ApproximateJustificationAnalysisExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.CheckIfSelfSupportingExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.DeductiveArgumentation
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EAFExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EasyPEAFExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EvidentialAcceptability
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation2
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.ExpandMCExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.JustificationAnalysisExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.LiThesisPage21EAFExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.MeetingPEAFExample
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.NecessityArgumentation
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.OrenEtAl2010Figure2Example
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.SomePEAFInducerExample
main(String[]) - Static method in class org.tweetyproject.arg.deductive.examples.DeductiveExample
main(String[]) - Static method in class org.tweetyproject.arg.deductive.examples.SimplePlLogicExample
main(String[]) - Static method in class org.tweetyproject.arg.delp.examples.DeLPExample
main(String[]) - Static method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram: Parsing DeLP from given file and performing given query against it.
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.AcceptabilityReasonerExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.AFLearnerExample: main method
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.CF2Example
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.ClaimBasedReasonersTest: main method
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.DivisionExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.DungTheoryGeneratorExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.ExampleFinderExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.ExtendedExampleFinderExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.ExtensionRankingExample: Shows extension ranks of a theory for the respective semantic
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.IncompleteReasonerExample: main method
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.IndependenceExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.KwtGeneratorExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.LearningExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.NiskanenExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.PrincipleExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.QualifiedExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.ResolutionbasedSolverTest
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.StratifiedLabelingExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.StrongAdmissibleExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.StrongEquivalenceExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.VacuousReductReasonerExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.WeakSemanticsExample
main(String[]) - Static method in class org.tweetyproject.arg.prob.examples.LotteryExample
main(String[]) - Static method in class org.tweetyproject.arg.prob.examples.PAInconsistencyMeasureExample
main(String[]) - Static method in class org.tweetyproject.arg.prob.examples.SubgraphProbExample
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.CounterTransitivityReasonerExample
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.IteratedGradedDefenseReasonerExample
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.ProbabilisticRankingReasonerExample
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.RankingSemanticsExample
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.RankingSemanticsExample2
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.SerialisableRankingReasonerExample
main(String[]) - Static method in class org.tweetyproject.arg.setaf.examples.SetAfTheoryTest
main(String[]) - Static method in class org.tweetyproject.arg.social.examples.SafExample
main(String[]) - Static method in class org.tweetyproject.beliefdynamics.examples.AbstractArgumentationExample
main(String[]) - Static method in class org.tweetyproject.beliefdynamics.examples.CrMasExample
main(String[]) - Static method in class org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter: Functional Test method: Only shows the view in a JFrame to test resize behavior.
main(String[]) - Static method in class org.tweetyproject.cli.plugins.CliMain
main(String[]) - Static method in class org.tweetyproject.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 org.tweetyproject.commons.util.ExamplesHTMLGenerator
main(String[]) - Static method in class org.tweetyproject.graphs.examples.GraphExample: main
main(String[]) - Static method in class org.tweetyproject.graphs.examples.GraphExample2: main
main(String[]) - Static method in class org.tweetyproject.graphs.examples.HyperGraphExample: main
main(String[]) - Static method in class org.tweetyproject.logics.bpm.examples.Example: Specify BPMN models for which the functionalities of inconsistency analysis are to be visualized
main(String[]) - Static method in class org.tweetyproject.logics.cl.examples.CReasonerExample
main(String[]) - Static method in class org.tweetyproject.logics.cl.examples.ReasonerExample
main(String[]) - Static method in class org.tweetyproject.logics.dl.examples.DlExample
main(String[]) - Static method in class org.tweetyproject.logics.fol.examples.FolExample
main(String[]) - Static method in class org.tweetyproject.logics.fol.examples.StandardFolWriterExample
main(String[]) - Static method in class org.tweetyproject.logics.fol.examples.TPTPParserExample
main(String[]) - Static method in class org.tweetyproject.logics.ml.examples.MlExample
main(String[]) - Static method in class org.tweetyproject.logics.ml.examples.MlExample2
main(String[]) - Static method in class org.tweetyproject.logics.mln.examples.AlchemyExample
main(String[]) - Static method in class org.tweetyproject.logics.mln.examples.ApproximationExample
main(String[]) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample
main(String[]) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample2
main(String[]) - Static method in class org.tweetyproject.logics.pcl.analysis.MaximumEntropyMachineShop
main(String[]) - Static method in class org.tweetyproject.logics.pcl.examples.AnalysisExample
main(String[]) - Static method in class org.tweetyproject.logics.pcl.examples.MaxEntExample
main(String[]) - Static method in class org.tweetyproject.logics.pcl.examples.RepairExample
main(String[]) - Static method in class org.tweetyproject.logics.pcl.util.MatlabUtils: Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.A_sebi
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.ContensionExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.DfInconsistencyMeasureExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.DSumMeasureExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.FuzzyMeasureExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.IcebergInconsistencyExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.ImPostulateEvaluationExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.InconsistencyMeasureEvaluationExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.MaMeasureExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.MaxSatExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.McscInconsistencyMeasureExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.MinimalInconsistentSubsetExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.MusExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.PlExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.PmMeasureExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.PrimeImplicantTest
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.SatSolverExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.SimplePlInterpolantEnumeratorExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.SyntacticEnumeratingPlBeliefSetSamplerExample: main
main(String[]) - Static method in class org.tweetyproject.logics.pl.examples.SyntacticRandomPlBeliefSetSamplerExample: main
main(String[]) - Static method in class org.tweetyproject.logics.qbf.examples.QbfExample
main(String[]) - Static method in class org.tweetyproject.logics.qbf.examples.QbfReasonersExample
main(String[]) - Static method in class org.tweetyproject.logics.rcl.examples.RclExample
main(String[]) - Static method in class org.tweetyproject.logics.rdl.examples.RdlExample
main(String[]) - Static method in class org.tweetyproject.logics.rpcl.examples.RpclMeReasonerExample
main(String[]) - Static method in class org.tweetyproject.logics.rpcl.examples.RpclMeReasonerExample2
main(String[]) - Static method in class org.tweetyproject.logics.translators.adfcl.CompareInference: Compare inference behavior of an ADF with that of an OCF induced by translation function Theta
main(String[]) - Static method in class org.tweetyproject.logics.translators.adfconditional.CADFSemantics: Input an ADF, calculate all possible 4-valued interpretations, apply the gamma operator Check whether the interpretations are admissible, complete, grounded, preferred or 2-valued
main(String[]) - Static method in class org.tweetyproject.logics.translators.adfconditional.EvaluateWorld4V
main(String[]) - Static method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilisticGammaOperator: Implements the Gamma Operator: Input: Old Possibility Distribution and ADF Output: New Possibility Distribution
main(String[]) - Static method in class org.tweetyproject.logics.translators.adfpossibilistic.RunPossibilityDistribution
main(String[]) - Static method in class org.tweetyproject.logics.translators.adfrevision.PreferredRevisionerADF: Revise an ADF with a Propositional Formula information-modular preorders
main(String[]) - Static method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets: Simple test case taken from [1]
main(String[]) - Static method in class org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision
main(String[]) - Static method in class org.tweetyproject.lp.asp.beliefdynamics.revision.PreferenceHandling
main(String[]) - Static method in class org.tweetyproject.lp.asp.beliefdynamics.revision.RevisionTest
main(String[]) - Static method in class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ArgumentativeSelectiveRevisionTest
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.AggregateExample
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.ASPExample
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.ASPParserExample
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.GrounderExample
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.OptimizeExample
main(String[]) - Static method in class org.tweetyproject.machinelearning.examples.FpGrowthExample
main(String[]) - Static method in class org.tweetyproject.machinelearning.examples.MdpExample
main(String[]) - Static method in class org.tweetyproject.machinelearning.examples.SvmExample
main(String[]) - Static method in class org.tweetyproject.machinelearning.test.SVMTest
main(String[]) - Static method in class org.tweetyproject.math.examples.ApacheCommonsCMAESOptimizerEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.ApacheCommonsNonLinearConjugateGradientOptimizerEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.ApacheCommonsSimplexEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.ApacheCommonsSimplexEx2: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.BfgsSolverEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.GlpkSolverEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.GradientDescentSolverEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.GurobiTest: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.HessianGradientSolverEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.IteratedLocalSearchOnConstrProbEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.KnapSack_solvedWithGeneticOpt: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.KnapSack_solvedWithIteratedLocalSearch2: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.KnapSack_solvedWithSimAn: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.Knapsack_solvedWithStochasticLocalSearch: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.KnapSack_solvedWithTabuSearch: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.LagrangeSolverEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.LagrangeSolverEx2: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.LpSolverEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.OctaveSqpSolverEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.SimpleGeneticOptimizationSolverEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.SimulatedAnnealingOnConstrProbEx2: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.StochasticLocalSearchOnConstrProbEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.TabuSearchOnConstrProbEx: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.TestToQuadraticForm: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.TravelingSalesman_solvedWithAntOpt: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.TravelingSalesman_solvedWithGeneticOpt: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.TravelingSalesman_solvedWithIteratedLocalSearch: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.TravelingSalesman_solvedWithSimAn: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.TravelingSalesman_solvedWithStochasticLocalSearch: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.TravelingSalesman_solvedWithTabuSearch: main method
main(String[]) - Static method in class org.tweetyproject.math.examples.TravelingSalesmanEx2: main method
main(String[]) - Static method in class org.tweetyproject.preferences.io.POParser
main(String[]) - Static method in class org.tweetyproject.preferences.io.UPParser
main(String[]) - Static method in class org.tweetyproject.preferences.PreferencesIntegerBugExample
main(String[]) - Static method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest: Launch the test.
main(String[]) - Static method in class org.tweetyproject.web.TweetyServer: Main server method.
main(String[]) - Method in class RpclMeReasonerExample
MaInconsistencyMeasure<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis: This class models the I_M inconsistency measure from e.g.
MaInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.MaInconsistencyMeasure: Creates a new inconsistency measure.
MaMeasureExample - Class in org.tweetyproject.logics.pl.examples: Example code illustrating the Ma inconsistency measure.
MaMeasureExample() - Constructor for class org.tweetyproject.logics.pl.examples.MaMeasureExample
MANHATTAN - Static variable in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner
manhattanDistance(double[], double[]) - Static method in class org.tweetyproject.commons.util.VectorTools: Computes the Manhattan distance between the two given vectors.
manhattanDistance(List<Double>, List<Double>) - Static method in class org.tweetyproject.commons.util.VectorTools: Computes the Manhattan distance between the two given lists.
manhattanDistanceToZero(double[]) - Static method in class org.tweetyproject.commons.util.VectorTools: Computes the Manhattan distance of the given value vector to zero
manhattanDistanceToZero(List<Double>) - Static method in class org.tweetyproject.commons.util.VectorTools: Computes the Manhattan distance of the given value vector to zero
ManhattanNorm - Class in org.tweetyproject.math.norm: The Manhattan norm.
ManhattanNorm() - Constructor for class org.tweetyproject.math.norm.ManhattanNorm
Manual - Enum constant in enum org.tweetyproject.logics.bpm.syntax.TaskType: Manual
ManualTest() - Method in class org.tweetyproject.arg.aspic.AspicTest
MapTools<E,F> - Class in org.tweetyproject.commons.util: This class provides some utility functions for maps.
MapTools() - Constructor for class org.tweetyproject.commons.util.MapTools
MarcoMusEnumerator - Class in org.tweetyproject.logics.pl.sat: Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/).
MarcoMusEnumerator(String) - Constructor for class org.tweetyproject.logics.pl.sat.MarcoMusEnumerator: Creates a new MUs enumerator.
Marking - Class in org.tweetyproject.logics.petri.syntax.reachability_graph: A class to describe markings (i.e.
Marking() - Constructor for class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking: Create a new instance
Marking(List<Place>) - Constructor for class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking: Create a new instance
MarkingEdge - Class in org.tweetyproject.logics.petri.syntax.reachability_graph: A class to describe markings of a Petri net.
MarkingEdge(Marking, Marking, Transition) - Constructor for class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge: Create a new instance
MarkovDecisionProcess<S extends State,A extends Action> - Class in org.tweetyproject.machinelearning.rl.mdp: This class models a Markov Decision Process (MDP, for fixed starting and terminal states), which can be used to represent reinforcement learning scenarios.
MarkovDecisionProcess(Collection<S>, S, Collection<S>, Collection<A>) - Constructor for class org.tweetyproject.machinelearning.rl.mdp.MarkovDecisionProcess: Creates a new Markov Decision Process with the given states and actions
MarkovLogicNetwork - Class in org.tweetyproject.logics.mln.syntax: Instances of this class represent Markov Logic Networks [Domingos et.
MarkovLogicNetwork() - Constructor for class org.tweetyproject.logics.mln.syntax.MarkovLogicNetwork: Creates a new (empty) MLN.
MarkovLogicNetwork(Collection<? extends MlnFormula>) - Constructor for class org.tweetyproject.logics.mln.syntax.MarkovLogicNetwork: Creates a new conditional MLN with the given collection of MLN formulas.
MarkovWalk - Class in org.tweetyproject.logics.petri.syntax.reachability_graph: A class to perform a stochastic walk on a reachability graph based on a probability function on that graph
MarkovWalk(ReachabilityGraph) - Constructor for class org.tweetyproject.logics.petri.syntax.reachability_graph.MarkovWalk: Create a new instance
MathTools - Class in org.tweetyproject.commons.util: This class contains some useful math tools.
MathTools() - Constructor for class org.tweetyproject.commons.util.MathTools
MatlabUtils - Class in org.tweetyproject.logics.pcl.util
MatlabUtils() - Constructor for class org.tweetyproject.logics.pcl.util.MatlabUtils
Matrix - Class in org.tweetyproject.math.matrix: This class models a matrix of terms.
Matrix(int, int) - Constructor for class org.tweetyproject.math.matrix.Matrix: Creates a new matrix of the given dimension.
MAX - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction
MAX_FIX_ITERATIONS - Static variable in class org.tweetyproject.math.opt.rootFinder.NewtonRootFinder: The maximum number of fixing iterations.
MAX_ITERATIONS - Static variable in class org.tweetyproject.logics.pcl.analysis.AbstractCreepingMachineShop: The maximum number of steps in the line search.
MaxAggregator - Class in org.tweetyproject.math.func: This aggregation function models the maximum function.
MaxAggregator() - Constructor for class org.tweetyproject.math.func.MaxAggregator
MaxEntExample - Class in org.tweetyproject.logics.pcl.examples: Implementation of example Grippe (flu) from lecture Commonsense Reasoning in summer term 2020, chapter 4, slide 204
MaxEntExample() - Constructor for class org.tweetyproject.logics.pcl.examples.MaxEntExample
MaxFunction - Class in org.tweetyproject.math.func: The maximum function.
MaxFunction() - Constructor for class org.tweetyproject.math.func.MaxFunction
maximalConsistentSubsets(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
maximalConsistentSubsets(Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator: This method returns the maximal consistent subsets of the given set of formulas
maximize - Variable in class org.tweetyproject.lp.asp.parser.ASTOpt
maximize - Variable in class org.tweetyproject.lp.asp.parser.ASTOptFunc
maximize(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTOpt
maximize(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTOptFunc
MAXIMIZE - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction
MAXIMIZE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
MAXIMIZE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
MAXIMIZE - Static variable in class org.tweetyproject.math.opt.problem.CombinatoricsProblem: Static constant for the type "maximization"
MAXIMIZE - Static variable in class org.tweetyproject.math.opt.problem.OptimizationProblem: Static constant for the type "maximization"
Maximum - Class in org.tweetyproject.math.term: This class models the maximum of two terms.
Maximum(List<Term>) - Constructor for class org.tweetyproject.math.term.Maximum: Creates a new maximum with the given list of terms.
Maximum(Term, Term) - Constructor for class org.tweetyproject.math.term.Maximum: Creates a new maximum with the given terms.
MAXIMUM - Static variable in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner
MaximumCoNorm - Class in org.tweetyproject.math.func.fuzzy: Represents the maximum-conorm in fuzzy logic, i.e., S(x,y)=max(x,y)
MaximumCoNorm() - Constructor for class org.tweetyproject.math.func.fuzzy.MaximumCoNorm
MaximumEntropyMachineShop - Class in org.tweetyproject.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 org.tweetyproject.logics.pcl.analysis.MaximumEntropyMachineShop
MaximumNorm - Class in org.tweetyproject.math.norm: The Maximum norm.
MaximumNorm() - Constructor for class org.tweetyproject.math.norm.MaximumNorm
MAXITERATIONS - Variable in class org.tweetyproject.math.opt.solver.ApacheCommonsSimplex: The maximum number of iterations of the simplex algorithm.
maxRecursionDepth - Variable in class org.tweetyproject.agents.dialogues.oppmodels.sim.BeliefStateConfiguration: The maximal depth of the recursive model.
maxRecursionWidth - Variable in class org.tweetyproject.agents.dialogues.oppmodels.sim.T2Configuration: The maximal number of sub-models in the probability distribution of a model
MaxSatExample - Class in org.tweetyproject.logics.pl.examples: Illustrates the use of MaxSAT solvers.
MaxSatExample() - Constructor for class org.tweetyproject.logics.pl.examples.MaxSatExample
MaxSatSolver - Class in org.tweetyproject.logics.pl.sat: Provides a generic class for implementing MaxSAT solvers, i.e.
MaxSatSolver() - Constructor for class org.tweetyproject.logics.pl.sat.MaxSatSolver
MC - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: MC
MCSC - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: MCSC
McscInconsistencyMeasure<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis: This class implements the approach of [Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha.
McscInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.McscInconsistencyMeasure: Creates a new inconsistency measure.
McscInconsistencyMeasureExample - Class in org.tweetyproject.logics.pl.examples: Example code illustrating the MCSC inconsistency measure.
McscInconsistencyMeasureExample() - Constructor for class org.tweetyproject.logics.pl.examples.McscInconsistencyMeasureExample
MdpExample - Class in org.tweetyproject.machinelearning.examples: Illustrates the use of Markov Decision Processes using a vacuum cleaner example.
MdpExample() - Constructor for class org.tweetyproject.machinelearning.examples.MdpExample
MeanDistanceCulpabilityMeasure - Class in org.tweetyproject.logics.pcl.analysis: This class implements the mean distance culpability measure, see [PhD thesis, Thimm].
MeanDistanceCulpabilityMeasure(OptimizationRootFinder, boolean) - Constructor for class org.tweetyproject.logics.pcl.analysis.MeanDistanceCulpabilityMeasure: Creates a new measure.
MEASURE_TOLERANCE - Static variable in interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure: Tolerance.
MeetingPEAFExample - Class in org.tweetyproject.arg.bipolar.examples
MeetingPEAFExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.MeetingPEAFExample
merge() - Method in class org.tweetyproject.plugin.OutputField
merge(HashSet<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.IncompleteTheory: merges DungTheories to one incomplete theory
mergeFields() - Method in class org.tweetyproject.plugin.PluginOutput
Message - Class in org.tweetyproject.logics.bpm.syntax: A class to represent message objects in a BPMN Model
Message - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType: Message
Message() - Constructor for class org.tweetyproject.logics.bpm.syntax.Message
MessageFlow - Class in org.tweetyproject.logics.bpm.syntax: A class to represent edges of the message flow in a BPMN Model
MessageFlow(BpmnNode, BpmnNode) - Constructor for class org.tweetyproject.logics.bpm.syntax.MessageFlow: Create a new edge
MessageFlow(BpmnNode, BpmnNode, String) - Constructor for class org.tweetyproject.logics.bpm.syntax.MessageFlow: Create a new labeled edge
MessageFlowParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn: Parse an edge of the message flow in a BPMN model
MessageFlowParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.MessageFlowParser: Create a new instance
META_CONST - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
META_MAXINT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
META_OTHER - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
MetaStatement() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
MI - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: MI
MIC - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: MIC
MicInconsistencyMeasure<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis: This class models the MI^C inconsistency measure.
MicInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.MicInconsistencyMeasure: Creates a new drastic inconsistency measure.
midPoint(double[], double[]) - Static method in class org.tweetyproject.commons.util.VectorTools: Computes the midpoint of the two given vectors.
MiInconsistencyMeasure<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis: This class models the MI inconsistency measure.
MiInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.MiInconsistencyMeasure: Creates a new inconsistency measure.
MimusMusEnumerator - Class in org.tweetyproject.logics.pl.sat: Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html).
MimusMusEnumerator(String) - Constructor for class org.tweetyproject.logics.pl.sat.MimusMusEnumerator: Creates a new MUs enumerator.
min(Term) - Method in class org.tweetyproject.math.term.Term: Returns the minimum of this and the given term.
MIN - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction
MIN_STEP_LENGTH - Static variable in class org.tweetyproject.logics.pcl.analysis.PenalizingCreepingMachineShop: The minimal step length for line search.
MinAggregator - Class in org.tweetyproject.math.func: This aggregation function models the minimum function.
MinAggregator() - Constructor for class org.tweetyproject.math.func.MinAggregator
mineFrequentSets(Collection<Collection<T>>) - Method in class org.tweetyproject.machinelearning.assoc.AprioriMiner
mineFrequentSets(Collection<Collection<T>>) - Method in class org.tweetyproject.machinelearning.assoc.FpGrowthMiner
mineFrequentSets(Collection<Collection<T>>) - Method in interface org.tweetyproject.machinelearning.assoc.FrequentPatternMiner: Extracts all frequent sets of items from the database
mineFrequentSets(Collection<Collection<T>>, int) - Method in class org.tweetyproject.machinelearning.assoc.AprioriMiner
mineFrequentSets(Collection<Collection<T>>, int) - Method in class org.tweetyproject.machinelearning.assoc.FpGrowthMiner
mineFrequentSets(Collection<Collection<T>>, int) - Method in interface org.tweetyproject.machinelearning.assoc.FrequentPatternMiner: Extracts all frequent sets of items from the database.
mineRules(Collection<Collection<T>>) - Method in class org.tweetyproject.machinelearning.assoc.AbstractAssociationRuleMiner
mineRules(Collection<Collection<T>>) - Method in interface org.tweetyproject.machinelearning.assoc.AssociationRuleMiner: Mines a set of association rules from the given database.
mineRules(Collection<Collection<T>>, int) - Method in class org.tweetyproject.machinelearning.assoc.AbstractAssociationRuleMiner
mineRules(Collection<Collection<T>>, int) - Method in interface org.tweetyproject.machinelearning.assoc.AssociationRuleMiner: Mines a set of association rules from the given database.
mineRules(Collection<Collection<T>>, int, int) - Method in class org.tweetyproject.machinelearning.assoc.AprioriMiner
mineRules(Collection<Collection<T>>, int, int) - Method in interface org.tweetyproject.machinelearning.assoc.AssociationRuleMiner: Mines a set of association rules from the given database.
minimalCorrectionSubsets(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
minimalCorrectionSubsets(Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator: This method returns the minimal correction subsets of the given set of formulas (i.e.
MinimalInconsistentSubsetExample - Class in org.tweetyproject.logics.pl.examples: Example code illustrating the use of MUS enumerators.
MinimalInconsistentSubsetExample() - Constructor for class org.tweetyproject.logics.pl.examples.MinimalInconsistentSubsetExample
minimalInconsistentSubsets(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.MarcoMusEnumerator
minimalInconsistentSubsets(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.MimusMusEnumerator
minimalInconsistentSubsets(Collection<PlFormula>) - Method in class org.tweetyproject.logics.pl.sat.PlMusEnumerator
minimalInconsistentSubsets(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
minimalInconsistentSubsets(Collection<S>) - Method in interface org.tweetyproject.logics.commons.analysis.MusEnumerator: This method returns the minimal inconsistent subsets of the given set of formulas.
minimalInconsistentSubsets(Collection<S>) - Method in class org.tweetyproject.logics.commons.analysis.NaiveMusEnumerator
MinimalModelProvider<A extends Formula,B extends BeliefBase,C extends Formula> - Interface in org.tweetyproject.logics.pl.analysis
MinimalViolation2InconsistencyMeasure - Class in org.tweetyproject.logics.pcl.analysis: This class models the minimal violation inconsistency measure for the 2-norm.
MinimalViolation2InconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
MinimalViolationEuclideanMachineShop - Class in org.tweetyproject.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 org.tweetyproject.logics.pcl.analysis.MinimalViolationEuclideanMachineShop
MinimalViolationEuclideanMachineShopOjAlgoExpression - Class in org.tweetyproject.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 org.tweetyproject.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoExpression
MinimalViolationEuclideanMachineShopOjAlgoMatrix - Class in org.tweetyproject.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 org.tweetyproject.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoMatrix
MinimalViolationInconsistencyMeasure - Class in org.tweetyproject.logics.pcl.analysis: This class provides a general implementation for the minimal violation inconsistency measure, cf.
MinimalViolationInconsistencyMeasure(RealVectorNorm, Solver) - Constructor for class org.tweetyproject.logics.pcl.analysis.MinimalViolationInconsistencyMeasure: Creates a new measure the given norm
MinimalViolationInconsistencyMeasureLPSolveTest - Class in org.tweetyproject.logics.pcl.test
MinimalViolationInconsistencyMeasureLPSolveTest() - Constructor for class org.tweetyproject.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
MINIMIZE - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction
MINIMIZE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
MINIMIZE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
MINIMIZE - Static variable in class org.tweetyproject.math.opt.problem.CombinatoricsProblem: Static constant for the type "minimization"
MINIMIZE - Static variable in class org.tweetyproject.math.opt.problem.OptimizationProblem: Static constant for the type "minimization"
Minimum - Class in org.tweetyproject.math.term: This class models the minimum of two terms.
Minimum(List<Term>) - Constructor for class org.tweetyproject.math.term.Minimum: Creates a new minimum with the given list of terms.
Minimum(Term, Term) - Constructor for class org.tweetyproject.math.term.Minimum: Creates a new minimum with the given terms.
MinimumAggregatedDistanceMachineShop - Class in org.tweetyproject.logics.pcl.analysis: This approach to consistency restoration follows the approach proposed in [Thimm, DKB, 2011].
MinimumAggregatedDistanceMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop
MinimumNorm - Class in org.tweetyproject.math.func.fuzzy: Represents the minimum-norm in fuzzy logic, i.e., T(x,y)=min(x,y)
MinimumNorm() - Constructor for class org.tweetyproject.math.func.fuzzy.MinimumNorm
MinimumViolationMachineShop - Class in org.tweetyproject.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 org.tweetyproject.logics.pcl.analysis.MinimumViolationMachineShop: Creates a new machine shop for the norm
MinisatSatSolver - Class in org.tweetyproject.sat.minisat
MinisatSatSolver() - Constructor for class org.tweetyproject.sat.minisat.MinisatSatSolver
MinisatTest - Class in org.tweetyproject.sat.test
MinisatTest() - Constructor for class org.tweetyproject.sat.test.MinisatTest
minModelProvider - Variable in class org.tweetyproject.logics.pl.analysis.SimplePrimeImplicantEnumerator: minimal model provider
MINORMALIZATION - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate: The MINORMALIZATION postulate
minus(Matrix) - Method in class org.tweetyproject.math.matrix.Matrix: Makes a subtraction of the given matrix from this one and returns the result.
minus(Term) - Method in class org.tweetyproject.math.term.Term: Returns the sum of this and (-1) * the given term.
MINUS - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator
MINUS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
MINUS - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
MinusSetView<E> - Class in org.tweetyproject.arg.adf.util
MinusSetView(Set<E>, Set<E>) - Constructor for class org.tweetyproject.arg.adf.util.MinusSetView: Constructs a view of the result of superset - subset.
MiSampler - Class in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.pl.postulates.ImPostulate: The MISEPARABILITY postulate
MissingCharacterTest() - Method in class org.tweetyproject.logics.ml.MlParserTest
missingEndQuote() - Method in class org.tweetyproject.arg.delp.TestKBParsing
MlBeliefSet - Class in org.tweetyproject.logics.ml.syntax: This class models a modal knowledge base, i.e.
MlBeliefSet() - Constructor for class org.tweetyproject.logics.ml.syntax.MlBeliefSet: Creates a new empty modal knowledge base.
MlBeliefSet(Set<RelationalFormula>) - Constructor for class org.tweetyproject.logics.ml.syntax.MlBeliefSet: Creates a new modal knowledge base with the given set of formulas.
MleanCoPReasoner - Class in org.tweetyproject.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 org.tweetyproject.logics.ml.reasoner.MleanCoPReasoner: Constructs a new instance pointing to a specific MleanCoProver.
MleanCoPReasoner(String, Shell) - Constructor for class org.tweetyproject.logics.ml.reasoner.MleanCoPReasoner: Constructs a new instance pointing to a specific MleanCoProver.
MleanCoPTest - Class in org.tweetyproject.logics.ml: JUnit Test class for the MleanCoP reasoner.
MleanCoPTest() - Constructor for class org.tweetyproject.logics.ml.MleanCoPTest
MleanCoPWriter - Class in org.tweetyproject.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 org.tweetyproject.logics.ml.writer.MleanCoPWriter: Creates a new MleanCoPWriter.
MleanCoPWriter(Writer) - Constructor for class org.tweetyproject.logics.ml.writer.MleanCoPWriter: Creates a new MleanCoPWriter.
MlExample - Class in org.tweetyproject.logics.ml.examples: Some examples for testing ModalParser and NaiveModalReasoner.
MlExample() - Constructor for class org.tweetyproject.logics.ml.examples.MlExample
MlExample2 - Class in org.tweetyproject.logics.ml.examples: More examples for testing ModalParser and ModalReasoner.
MlExample2() - Constructor for class org.tweetyproject.logics.ml.examples.MlExample2
MlFormula - Class in org.tweetyproject.logics.ml.syntax: This class models a modal formula, i.e.
MlFormula(RelationalFormula) - Constructor for class org.tweetyproject.logics.ml.syntax.MlFormula: Creates a new modal formula with the given inner formula.
MlHerbrandBase - Class in org.tweetyproject.logics.ml.semantics: Modified version of HerbrandBase that allows for modal formulas.
MlHerbrandBase(FolSignature) - Constructor for class org.tweetyproject.logics.ml.semantics.MlHerbrandBase: Creates a new Herbrand base for the given signature.
MlHerbrandInterpretation - Class in org.tweetyproject.logics.ml.semantics: Modified version of HerbrandInterpretation that allows for modal formulas.
MlHerbrandInterpretation() - Constructor for class org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation: Creates a new empty Herbrand interpretation
MlHerbrandInterpretation(Collection<? extends FolAtom>) - Constructor for class org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation: Creates a new Herbrand interpretation with the given set of atoms
MlnExample - Class in org.tweetyproject.logics.mln.examples: Shows how MLNs can be constructed programmatically and shows how coherence measures can be used.
MlnExample() - Constructor for class org.tweetyproject.logics.mln.examples.MlnExample
MlnExample2 - Class in org.tweetyproject.logics.mln.examples: Gives further examples on how MLNs can be constructed programmatically and how coherence measures can be used.
MlnExample2() - Constructor for class org.tweetyproject.logics.mln.examples.MlnExample2
MlnFormula - Class in org.tweetyproject.logics.mln.syntax: Instances of this class represent first-order formulas with a weight.
MlnFormula(FolFormula) - Constructor for class org.tweetyproject.logics.mln.syntax.MlnFormula: Creates a new strict MLN formula with the given formula.
MlnFormula(FolFormula, Double) - Constructor for class org.tweetyproject.logics.mln.syntax.MlnFormula: Creates a new MLN formula with the given formula and weight.
MlnFormula(FolFormula, Probability) - Constructor for class org.tweetyproject.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 org.tweetyproject.logics.ml.parser: This class implements a parser for modal logic.
MlParser() - Constructor for class org.tweetyproject.logics.ml.parser.MlParser
MlParserTest - Class in org.tweetyproject.logics.ml: JUnit Test class for ModalParser.
MlParserTest() - Constructor for class org.tweetyproject.logics.ml.MlParserTest
MlReasonerTest - Class in org.tweetyproject.logics.ml: JUnit Test class for NaiveModalReasoner.
MlReasonerTest() - Constructor for class org.tweetyproject.logics.ml.MlReasonerTest
MlWriter - Class in org.tweetyproject.logics.ml.writer
MlWriter(RelationalFormula) - Constructor for class org.tweetyproject.logics.ml.writer.MlWriter
MlWriter(MlBeliefSet) - Constructor for class org.tweetyproject.logics.ml.writer.MlWriter
model() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep
model(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
ModelComputation - Class in org.tweetyproject.arg.dung.learning.util: Helper class providing methods for more efficient computation of models for specific formulae
ModelComputation() - Constructor for class org.tweetyproject.arg.dung.learning.util.ModelComputation
ModelGenerator - Class in org.tweetyproject.arg.adf.reasoner.sat.generator
modelIterator(AbstractDialecticalFramework) - Method in class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner: Deprecated.
modelProvider - Variable in class org.tweetyproject.logics.pl.analysis.SimpleMinimalModelProvider: model provider
ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> - Interface in org.tweetyproject.commons: Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
ModelReasoner - Class in org.tweetyproject.arg.adf.reasoner: Deprecated, for removal: This API element is subject to removal in a future version.
ModelReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.ModelReasoner: Deprecated.
MODULAR_CLASSICAL_CONSEQUENCE - Enum constant in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation: modular classical consequence
MODULARIZATION - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The modularization principle
ModularizationPrinciple - Class in org.tweetyproject.arg.dung.principles: Modularization Principle A semantics s satisfies modularization iff for every AF F we have: if E1 is a s-extension of F and E2 is a s-extension of the E1-reduct of F, then (E1 u E2) is a s-extension of F see: Baumann et.
ModularizationPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.ModularizationPrinciple
ModuleBasedAspicReasoner<T extends Invertable> - Class in org.tweetyproject.arg.aspic.reasoner: Slightly optimised reasoner for ASPIC.
ModuleBasedAspicReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.aspic.reasoner.ModuleBasedAspicReasoner: Creates a new instance
MODULO - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator
MODULO - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
MODUS_PONENS - Enum constant in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation: modus ponens
MonotoneGlobalMaxichoiceSelectionFunction - Class in org.tweetyproject.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 org.tweetyproject.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
MONOTONY - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate: The MONOTONY postulate
MonteCarloPafReasoner - Class in org.tweetyproject.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 org.tweetyproject.arg.prob.reasoner.MonteCarloPafReasoner: Creates a new reasoner.
moreQuoted() - Method in class org.tweetyproject.arg.delp.TestQueries
MostBipolarParentsDecomposer - Class in org.tweetyproject.arg.adf.reasoner.sat.decomposer: Takes the arguments with the most bipolar parents.
MostBipolarParentsDecomposer(AbstractDialecticalFramework) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.decomposer.MostBipolarParentsDecomposer
MostComplexAcceptanceConditionDecomposer - Class in org.tweetyproject.arg.adf.reasoner.sat.decomposer: Returns the arguments with the most complex acceptance condition, according to their logical complexity.
MostComplexAcceptanceConditionDecomposer(AbstractDialecticalFramework) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.decomposer.MostComplexAcceptanceConditionDecomposer
move(ArgumentationEnvironment) - Method in class org.tweetyproject.agents.dialogues.oppmodels.BeliefState: Gives the next best move according to the belief state and the given trace.
moveBeliefbase(Collection<?>, int) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel: Moves the given belief base in the given direction.
mpm - Static variable in class org.tweetyproject.lp.asp.analysis.AspInconsistencyMeasureTest: inconsistency measurer
msd - Static variable in class org.tweetyproject.lp.asp.analysis.AspInconsistencyMeasureTest: inconsistency measurer
mult(double) - Method in class org.tweetyproject.math.matrix.Matrix: Multiply this matrix with the given scalar (every entry is multiplied)
mult(Double) - Method in class org.tweetyproject.math.probability.Probability: Computes the product of this probability and the given number.
mult(Integer) - Method in class org.tweetyproject.math.probability.Probability: Computes the product of this probability and the given number.
mult(Matrix) - Method in class org.tweetyproject.math.matrix.Matrix: Multiply this matrix with the given one.
mult(Probability) - Method in class org.tweetyproject.math.probability.Probability: Computes the product of this probability and the given probability.
mult(Term) - Method in class org.tweetyproject.math.matrix.Matrix: Multiply this matrix with the given scalar (every entry is multiplied)
mult(Term) - Method in class org.tweetyproject.math.term.Term: Returns the product of this and the given term.
MULTI_LINE_COMMENT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
MULTI_LINE_COMMENT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
MultiAgentSystem<T extends Agent> - Class in org.tweetyproject.agents: A multi-agent system is a collection of agents with some environment.
MultiAgentSystem(Environment) - Constructor for class org.tweetyproject.agents.MultiAgentSystem: Creates a new empty multi-agent system with the given environment.
MultiAgentSystem(Environment, Collection<? extends T>) - Constructor for class org.tweetyproject.agents.MultiAgentSystem: Creates a new multi-agent system with the given collection of agents.
MultiAgentSystemGenerator<T extends Agent,S extends MultiAgentSystem<T>> - Interface in org.tweetyproject.agents.sim
MultiClassRbfTrainer - Class in org.tweetyproject.machinelearning.svm: Trains a standard multi-class RBF support vector machine.
MultiClassRbfTrainer() - Constructor for class org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer: Initializes the trainer with the default parameters.
MultiClassRbfTrainer(double, double) - Constructor for class org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer: Initializes the trainer with the given parameters.
multiFile() - Method in class org.tweetyproject.arg.delp.TestDeLP
Multiple - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType: Multiple
MultipleBaseContractionOperator<T extends Formula> - Class in org.tweetyproject.beliefdynamics: This is the interface for a classic multiple belief base contraction operator, ie.
MultipleBaseContractionOperator() - Constructor for class org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator
MultipleBaseExpansionOperator<T extends Formula> - Class in org.tweetyproject.beliefdynamics: This is the interface for a classic multiple belief base expansion operator, ie.
MultipleBaseExpansionOperator() - Constructor for class org.tweetyproject.beliefdynamics.MultipleBaseExpansionOperator
MultipleBaseRevisionOperator<T extends Formula> - Class in org.tweetyproject.beliefdynamics: This is the interface for a classic multiple belief base revision operator, ie.
MultipleBaseRevisionOperator() - Constructor for class org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator
MultipleIndicatorUtilityFunction - Class in org.tweetyproject.agents.dialogues.structured: This class represents a multiple indicator utility function, i.e.
MultipleIndicatorUtilityFunction(Collection<? extends Proposition>) - Constructor for class org.tweetyproject.agents.dialogues.structured.MultipleIndicatorUtilityFunction: Creates a new multiple indicator utility function for the given focal set.
MultipleSelectiveRevisionOperator<T extends Formula> - Class in org.tweetyproject.beliefdynamics.selectiverevision: This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].
MultipleSelectiveRevisionOperator(MultipleTransformationFunction<T>, MultipleBaseRevisionOperator<T>) - Constructor for class org.tweetyproject.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator: Creates a new multiple selective revision operator for the given transformation function and inner revision.
MultipleTransformationFunction<T extends Formula> - Interface in org.tweetyproject.beliefdynamics.selectiverevision: This interface represents a multiple transformation function for selective revision [Kruempelmann:2011,Ferme:1999].
MULTIPLICATOR - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
musEnumerator - Static variable in class org.tweetyproject.web.services.InconsistencyMeasurementService: The MUS enumerator configured for this service.
MusEnumerator<S extends Formula> - Interface in org.tweetyproject.logics.commons.analysis: Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).
MusExample - Class in org.tweetyproject.logics.pl.examples: Example code illustrating the use of MUS enumerators.
MusExample() - Constructor for class org.tweetyproject.logics.pl.examples.MusExample
MusVarInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis: This class implements the "MUS-variable based inconsistency measure" proposed in [Xiao,Ma.
MusVarInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.MusVarInconsistencyMeasure
MV - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: MV

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