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: Grounded test method
main(String[]) - Static method in class org.tweetyproject.agents.dialogues.examples.GroundedTest2: The main method of the simulation.
main(String[]) - Static method in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest: LotteryDialogue test main method
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 method that demonstrates parsing and reasoning with Assumption-Based Argumentation (ABA) using both propositional logic and first-order logic.
main(String[]) - Static method in class org.tweetyproject.arg.adf.cli.CommandLineInterface: The main method serves as the entry point for the command-line interface.
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 method to run the example.
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.AllPEAFInducerExample: Main method to run the example.
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.ApproximateJustificationAnalysisExample: Example
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.CheckIfSelfSupportingExample: The entry point of the example program that sets up an EAFTheory instance, adds arguments, defines supports and attacks, and checks whether various sets of arguments are self-supporting.
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.DeductiveArgumentation: The entry point of the example program.
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EAFExample: The entry point of the example program.
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EasyPEAFExample: The entry point of the example program.
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EvidentialAcceptability: The entry point of the example program.
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation: Example
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.EvidentialArgumentation2: Example
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.ExpandMCExample: The entry point of the example program.
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.JustificationAnalysisExample: Example
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.LiThesisPage21EAFExample: Example
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.MeetingPEAFExample: Example
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.NecessityArgumentation: Example
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.OrenEtAl2010Figure2Example: Example
main(String[]) - Static method in class org.tweetyproject.arg.bipolar.examples.SomePEAFInducerExample: Example
main(String[]) - Static method in class org.tweetyproject.arg.deductive.examples.DeductiveExample: This class demonstrates the use of a deductive knowledge base in combination with a SAT solver to perform reasoning using propositional logic formulas.
main(String[]) - Static method in class org.tweetyproject.arg.deductive.examples.SimplePlLogicExample: This class demonstrates the parsing of a simple propositional logic belief base, the generation of a deductive knowledge base, and the construction of an argumentation framework.
main(String[]) - Static method in class org.tweetyproject.arg.delp.examples.DeLPExample: The entry point of the application that parses a defeasible logic program from a file, creates a reasoner with a specific criterion, and performs queries on the logic program.
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: The main method that demonstrates the usage of various acceptability reasoners.
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.DungTheoryPlotterExample: Main method to visualize the examples of Dung theories created in this class.
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.EquivalenceExample: Example
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.OptimisationExample: Illustrates the use of reasoner.KOptimisationReasoner
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.PrincipleExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.QualifiedSemanticsReasonerExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.ResolutionbasedSolverTest: Main method to run the resolution-based solver test.
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.SerialisableExtensionReasonerExample
main(String[]) - Static method in class org.tweetyproject.arg.dung.examples.StratifiedLabelingExample
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.extended.examples.ExtendedTheoryExample: Example theory
main(String[]) - Static method in class org.tweetyproject.arg.extended.examples.RecursiveExtendedTheoryExample: The main method demonstrating how to construct a Recursive Extended Theory, add arguments, standard attacks, and extended attacks, and compute the complete extensions.
main(String[]) - Static method in class org.tweetyproject.arg.prob.examples.LotteryExample: Demonstrates the construction and analysis of a Dung argumentation framework (AAF) using the TweetyProject libraries.
main(String[]) - Static method in class org.tweetyproject.arg.prob.examples.PAInconsistencyMeasureExample: This method demonstrates how to calculate an inconsistency measure for argumentation theory with a partial probability assignment and apply a change operator to update the probability assignment based on argumentation semantics and entropy.
main(String[]) - Static method in class org.tweetyproject.arg.prob.examples.SubgraphProbExample: This method demonstrates the use of a Dung argumentation framework (AAF) and a subgraph probability function.
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.CounterTransitivityReasonerExample: The main method that sets up an argumentation framework, applies various ranking strategies, and prints the results.
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.IteratedGradedDefenseReasonerExample: Main method to show example
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.ProbabilisticRankingReasonerExample: Example
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample: Main method that initializes the postulates and runs the different ranking reasoner examples.
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.RankingSemanticsExample: Example
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.RankingSemanticsExample2: Example
main(String[]) - Static method in class org.tweetyproject.arg.rankings.examples.SerialisableRankingReasonerExample: The main method that constructs the argumentation framework and invokes the SerialisableRankingReasoner to compute the ranking of the arguments.
main(String[]) - Static method in class org.tweetyproject.arg.setaf.examples.SetAfTheoryTest: Demonstrates the construction and reasoning within a SetAf (Set Attack Framework) argumentation framework.
main(String[]) - Static method in class org.tweetyproject.arg.social.examples.SafExample: Demonstrates the use of a social abstract argumentation framework (SAF) and reasoning over it using social semantics.
main(String[]) - Static method in class org.tweetyproject.arg.weighted.examples.WeightedDungTheoryGeneratorExample: Example
main(String[]) - Static method in class org.tweetyproject.arg.weighted.examples.WeightedReasonerExample: Example main method
main(String[]) - Static method in class org.tweetyproject.beliefdynamics.examples.AbstractArgumentationExample: Main method that demonstrates the usage of argumentation frameworks and belief revision techniques.
main(String[]) - Static method in class org.tweetyproject.beliefdynamics.examples.CrMasExample: Example method
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: Example
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: Print Examples to test file
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: The main method that runs the hypergraph example.
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: The main method where the example is executed.
main(String[]) - Static method in class org.tweetyproject.logics.cl.examples.ReasonerExample: Example
main(String[]) - Static method in class org.tweetyproject.logics.dl.examples.DlExample: Main method demonstrating the creation of a description logic knowledge base, parsing a knowledge base from a file, and using a naive DL reasoner.
main(String[]) - Static method in class org.tweetyproject.logics.fol.examples.FolExample: Main method fpr examples
main(String[]) - Static method in class org.tweetyproject.logics.fol.examples.StandardFolWriterExample: Example
main(String[]) - Static method in class org.tweetyproject.logics.fol.examples.TPTPParserExample: Example
main(String[]) - Static method in class org.tweetyproject.logics.ml.examples.MlExample: Demonstrates the parsing and reasoning capabilities of the `MlParser` and `SimpleMlReasoner` classes.
main(String[]) - Static method in class org.tweetyproject.logics.ml.examples.MlExample2: Demonstrates the creation and reasoning over a modal logic belief set using the `MlParser` and `AbstractMlReasoner` classes.
main(String[]) - Static method in class org.tweetyproject.logics.mln.examples.AlchemyExample: The main method to run the Alchemy reasoner example.
main(String[]) - Static method in class org.tweetyproject.logics.mln.examples.ApproximationExample: The main method to run the approximation example.
main(String[]) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample: Main method to demonstrate the usage of coherence measures on different MLN examples.
main(String[]) - Static method in class org.tweetyproject.logics.mln.examples.MlnExample2: Main method to demonstrate the usage of coherence measures on different Nixon MLN examples.
main(String[]) - Static method in class org.tweetyproject.logics.pcl.analysis.MaximumEntropyMachineShop: Example
main(String[]) - Static method in class org.tweetyproject.logics.pcl.examples.AnalysisExample: Main method illustrating how to compute the inconsistency measure, culpability, and repair a probabilistic belief set.
main(String[]) - Static method in class org.tweetyproject.logics.pcl.examples.MaxEntExample: Main method that demonstrates MaxEnt reasoning on a probabilistic conditional logic belief set.
main(String[]) - Static method in class org.tweetyproject.logics.pcl.examples.RepairExample: Main method demonstrating the repair of an inconsistent probabilistic conditional logic belief set.
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.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: Test method
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: Demonstrates the use of the TweetyProject library for working with various types of belief sets and parsers, including propositional logic, QBF (Quantified Boolean Formulas), QDIMACS, and QCir formats.
main(String[]) - Static method in class org.tweetyproject.logics.qbf.examples.QbfReasonersExample: Demonstrates the use of various Quantified Boolean Formula (QBF) reasoners and solvers with the TweetyProject library.
main(String[]) - Static method in class org.tweetyproject.logics.rcl.examples.RclExample: The main method serves as the entry point for the example application.
main(String[]) - Static method in class org.tweetyproject.logics.rdl.examples.RdlExample: Testing methods
main(String[]) - Static method in class org.tweetyproject.logics.rpcl.examples.RpclMeReasonerExample: Example
main(String[]) - Static method in class org.tweetyproject.logics.rpcl.examples.RpclMeReasonerExample2: Example
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: Test method
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 method
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: Test method
main(String[]) - Static method in class org.tweetyproject.lp.asp.beliefdynamics.revision.PreferenceHandling: Temporary functional test method.
main(String[]) - Static method in class org.tweetyproject.lp.asp.beliefdynamics.revision.RevisionTest: Test method
main(String[]) - Static method in class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ArgumentativeSelectiveRevisionTest: Main method
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.AggregateExample: Example method
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.ASPExample: Example
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.ASPParserExample
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.GrounderExample: Example
main(String[]) - Static method in class org.tweetyproject.lp.asp.examples.OptimizeExample
main(String[]) - Static method in class org.tweetyproject.machinelearning.examples.FpGrowthExample: The main method demonstrates the FP-Growth algorithm and the Apriori algorithm for mining frequent itemsets from a transaction dataset.
main(String[]) - Static method in class org.tweetyproject.machinelearning.examples.MdpExample: An example for illistrating the use of Markoc Devision Processes
main(String[]) - Static method in class org.tweetyproject.machinelearning.examples.SvmExample: Illustrates the use of support vector machine learning.
main(String[]) - Static method in class org.tweetyproject.machinelearning.test.SVMTest: Tests SVM.
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: Test
main(String[]) - Static method in class org.tweetyproject.preferences.io.UPParser: Example
main(String[]) - Static method in class org.tweetyproject.preferences.PreferencesIntegerBugExample: Example
main(String[]) - Static method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest: Launch the test.
main(String[]) - Static method in class org.tweetyproject.web.services.RestServiceCorsApplication: Main method that starts the Spring Boot application and logs the allowed origins.
main(String[]) - Static method in class org.tweetyproject.web.TweetyServer: Main server method.
main(String[]) - Method in class RpclMeReasonerExample
MaInconsistencyMeasure<S> - 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: Default Constructor
MANHATTAN - Static variable in class org.tweetyproject.logics.pcl.reasoner.GeneralizedMeReasoner: Manhattan Distance id
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: Constructor
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: Constructor
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,A> - 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: Constructor
MatlabUtils - Class in org.tweetyproject.logics.pcl.util: MatlabUtils class
MatlabUtils() - Constructor for class org.tweetyproject.logics.pcl.util.MatlabUtils: Default Constructor
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: Finds the maximum value among the elements.
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: Constructor
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: Default Constructor
MaxFunction - Class in org.tweetyproject.math.func: The maximum function.
MaxFunction() - Constructor for class org.tweetyproject.math.func.MaxFunction: Constructor
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: Indicates whether the optimization is for maximizing.
maximize - Variable in class org.tweetyproject.lp.asp.parser.ASTOptFunc: Indicates whether the optimization function is set to maximize.
maximize(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTOpt: Sets the optimization directive to either maximize or minimize.
maximize(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTOptFunc: Sets whether the optimization function is to maximize or minimize.
MAXIMIZE - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction: Represents the maximization function.
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: Maximum Distance id
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: Constructor
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: Constructor
MaximumNorm - Class in org.tweetyproject.math.norm: The Maximum norm.
MaximumNorm() - Constructor for class org.tweetyproject.math.norm.MaximumNorm: Constructor
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: Default Constructor
MaxSatKStableAstReasoner - Class in org.tweetyproject.arg.dung.reasoner: A MaxSAT-based implementation for solving the MaxStable* problem from [Thimm.
MaxSatKStableAstReasoner(MaxSatSolver) - Constructor for class org.tweetyproject.arg.dung.reasoner.MaxSatKStableAstReasoner
MaxSatKStableReasoner - Class in org.tweetyproject.arg.dung.reasoner: A MaxSAT-based implementation for solving the MaxStable problem from [Thimm.
MaxSatKStableReasoner(MaxSatSolver) - Constructor for class org.tweetyproject.arg.dung.reasoner.MaxSatKStableReasoner
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: Default Constructor
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> - 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: Default Constructor
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: Default Constructor
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(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Sets the measure key, which specifies the metric or parameter to be analyzed, and returns this instance for method chaining.
measure(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse: Sets the measure or metric related to the inconsistency and returns this response object to facilitate method chaining.
MEASURE_TOLERANCE - Static variable in interface org.tweetyproject.logics.commons.analysis.InconsistencyMeasure: Tolerance.
measures(List<HashMap<String, String>>) - Method in class org.tweetyproject.web.services.aba.AbaGetSemanticsResponse: Method to set the semantics of this response and return the modified object.
measures(List<HashMap<String, String>>) - Method in class org.tweetyproject.web.services.incmes.InconsistencyGetMeasuresResponse: Method to set the measures and return the modified response object.
MeetingPEAFExample - Class in org.tweetyproject.arg.bipolar.examples: MeetingPEAFExample class
MeetingPEAFExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.MeetingPEAFExample
merge() - Method in class org.tweetyproject.plugin.OutputField: Merges the description and value into a single string representation.
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: Merges all fields into a single output string.
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: Default Constructor
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> - 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> - 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: Finds the minimum value among the elements.
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: Constructor
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: Default Constructor
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,B,C> - Interface in org.tweetyproject.logics.pl.analysis: MinimalModelProvider class
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: Default Constructor
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: Default Constructor
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: Default Constructor
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: Default Constructor
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: Represents the minimization function.
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"
minimizeReinstatementSet(Collection<Attack>, Argument, Argument, Collection<Argument>) - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory: Minimizes the given Reinstatement set for (a,b)
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: Constructor
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: Constructor
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: This class provides an implementation of the `SatSolver` interface using the MiniSat SAT solver.
MinisatSatSolver() - Constructor for class org.tweetyproject.sat.minisat.MinisatSatSolver: Initializes a new instance of the MiniSat SAT solver.
MinisatTest - Class in org.tweetyproject.sat.test
MinisatTest() - Constructor for class org.tweetyproject.sat.test.MinisatTest
MinMaxNumbering - Class in org.tweetyproject.arg.dung.semantics: Class representing Min-Max numberings for labelings of argumentation frameworks
MinMaxNumbering() - Constructor for class org.tweetyproject.arg.dung.semantics.MinMaxNumbering: Initializes a new empty Min-Max Numbering
MinMaxNumbering(ArgumentationFramework<Argument>, Extension<? extends ArgumentationFramework<Argument>>) - Constructor for class org.tweetyproject.arg.dung.semantics.MinMaxNumbering: Initializes a new Min-Max Numbering for the given theory and extension
MinMaxNumbering(ArgumentationFramework<Argument>, Labeling) - Constructor for class org.tweetyproject.arg.dung.semantics.MinMaxNumbering: Initialize a new Min-Max Numbering from the given theory and labeling
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: Represents the subtraction operator (-).
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: A view that represents the result of subtracting one set from another.
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: Default Constructor
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: Default constructor for the MlnExample class.
MlnExample2 - Class in org.tweetyproject.logics.mln.examples: Provides examples of constructing Markov Logic Networks (MLNs) programmatically and demonstrates how to use coherence measures.
MlnExample2() - Constructor for class org.tweetyproject.logics.mln.examples.MlnExample2: Default constructor for the MlnExample2 class.
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: Default constructor
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: The `MlWriter` class is responsible for writing formulas and belief sets to a specific format.
MlWriter(RelationalFormula) - Constructor for class org.tweetyproject.logics.ml.writer.MlWriter: Initializes a new `MlWriter` instance.
MlWriter(MlBeliefSet) - Constructor for class org.tweetyproject.logics.ml.writer.MlWriter: Initializes a new `MlWriter` instance for writing a belief set.
model() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep: Return model
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: The ModelGenerator is an abstract class responsible for generating two-valued model interpretations in the context of abstract dialectical frameworks (ADFs).
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,B,T> - 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.
since 1.19, for removal in future versions
ModelReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.ModelReasoner: Deprecated.

Constructs a ModelReasoner with the specified SAT solver.
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
ModularizationPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.ModularizationPrinciple
ModuleBasedAspicReasoner<T> - 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: Represents the modulus operator (%), which calculates the remainder of division.
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: Default Constructor
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> - 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,S> - Interface in org.tweetyproject.agents.sim: This interface defines a generator for multi-agent systems within a simulation framework.
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> - 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: Default
MultipleBaseExpansionOperator<T> - 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: Default
MultipleBaseRevisionOperator<T> - 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: Default
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> - 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> - 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: RegularExpression Id.
multiply(T, T) - Method in class org.tweetyproject.math.algebra.Semiring: Performs the multiplication operation on two elements.
MusEnumerator<S> - 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: Default Constructor
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: Default Constructor
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