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

N

NA - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: NA
NA - Enum constant in enum org.tweetyproject.web.services.dung.AbstractExtensionReasonerFactory.Semantics: Naive semantics
NAF - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
NAF - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
NAFLiteral() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
NAFLiterals() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
nafneg(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTBody: Set nafneg
nafneg(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTNAFLiteral: Sets whether this literal is negated using negation as failure (NAF).
naive() - Method in interface org.tweetyproject.arg.adf.reasoner.query.SemanticsStep: Return naive
naive(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
NAIVE - Enum constant in enum org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType: Represents a naive transformation type.
NAIVE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
NaiveDlReasoner - Class in org.tweetyproject.logics.dl.reasoner: Naive reasoner for the description logic ALC.
NaiveDlReasoner() - Constructor for class org.tweetyproject.logics.dl.reasoner.NaiveDlReasoner: Default
NaiveExample() - Static method in class org.tweetyproject.arg.dung.examples.PrincipleExample: NaiveExample
NaiveLiteralTransformationFunction - Class in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision: This class represents the naive transformation function for literals as introduced in [1].
NaiveLiteralTransformationFunction(Collection<ASPRule>, AttackStrategy, AttackStrategy) - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction: Creates a new naive transformation function for literals.
NaiveLiteralTransformationFunctionTest - Class in org.tweetyproject.lp.asp.beliefdynamics
NaiveLiteralTransformationFunctionTest() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
NaiveMusEnumerator<S> - Class in org.tweetyproject.logics.commons.analysis: A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.
NaiveMusEnumerator(BeliefSetConsistencyTester<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.NaiveMusEnumerator: Creates a new naive MusEnumerator that uses the given consistency tester.
NaiveQbfReasoner - Class in org.tweetyproject.logics.qbf.reasoner: Naive classical inference for quantified boolean formulas (checks all interpretations for satisfiability).
NaiveQbfReasoner() - Constructor for class org.tweetyproject.logics.qbf.reasoner.NaiveQbfReasoner: Default
NaiveReasoner - Class in org.tweetyproject.arg.adf.reasoner: Deprecated, for removal: This API element is subject to removal in a future version.
NaiveReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.NaiveReasoner: Deprecated.

Constructor
NAIVETY - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The naivety principle
NaivetyPrinciple - Class in org.tweetyproject.arg.dung.principles: Naivety Principle
NaivetyPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.NaivetyPrinciple
naiveUpdate(Extension) - Method in class org.tweetyproject.arg.prob.lotteries.SubgraphProbabilityFunction: Updates this probability function with the given extension, i.e.
NaiveVerifier - Class in org.tweetyproject.arg.adf.reasoner.sat.verifier: Verifies if a given interpretation is conflict-free and maximal, i.e.
NaiveVerifier(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.verifier.NaiveVerifier
name - Variable in class org.tweetyproject.lp.asp.parser.ASTLiteral: The name of the literal represented by this AST node.
name - Variable in class org.tweetyproject.lp.asp.parser.ASTString: The string value represented by this AST node.
name(String) - Method in class org.tweetyproject.lp.asp.parser.ASTClingoID: Sets the name or identifier represented by this AST node.
name(String) - Method in class org.tweetyproject.lp.asp.parser.ASTDlvArithmeticID: Sets the name or identifier represented by this AST node.
name(String) - Method in class org.tweetyproject.lp.asp.parser.ASTDlvID: Sets the name or identifier represented by this AST node.
name(String) - Method in class org.tweetyproject.lp.asp.parser.ASTID: Sets the name or identifier represented by this AST node.
name(String) - Method in class org.tweetyproject.lp.asp.parser.ASTLiteral: Sets the name of the literal represented by this AST node.
name(String) - Method in class org.tweetyproject.lp.asp.parser.ASTString: Sets the string value represented by this AST node.
name(String) - Method in class org.tweetyproject.lp.asp.parser.ASTVar: Sets the name of the variable represented by this AST node.
NAME - Static variable in interface org.tweetyproject.arg.delp.parser.DelpParserConstants: RegularExpression ID for a name token.
NamedAction - Class in org.tweetyproject.machinelearning.rl.mdp: An action in a Markov Decision Process that is solely characterized through its name.
NamedAction(String) - Constructor for class org.tweetyproject.machinelearning.rl.mdp.NamedAction: Creates a new NamedAction.
NamedPEAFTheory - Class in org.tweetyproject.arg.bipolar.syntax: This class inherits PEAFTheory to store additional information regarding the arguments inserted
NamedPEAFTheory() - Constructor for class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory
NamedState - Class in org.tweetyproject.machinelearning.rl.mdp: A state in a Markov Decision Process that is solely characterized through its name.
NamedState(String) - Constructor for class org.tweetyproject.machinelearning.rl.mdp.NamedState: Creates a new NamedState.
NativeLingelingSolver - Class in org.tweetyproject.arg.adf.sat.solver: Experimental lingeling binding
NativeLingelingSolver() - Constructor for class org.tweetyproject.arg.adf.sat.solver.NativeLingelingSolver: NativeLingelingSolver
NativeMinisatSolver - Class in org.tweetyproject.arg.adf.sat.solver: NativeMinisatSolver class
NativeMinisatSolver() - Constructor for class org.tweetyproject.arg.adf.sat.solver.NativeMinisatSolver: NativeMinisatSolver
NativePicosatSolver - Class in org.tweetyproject.arg.adf.sat.solver: NativePicosatSolver class
NativePicosatSolver() - Constructor for class org.tweetyproject.arg.adf.sat.solver.NativePicosatSolver: NativePicosatSolver
NativeShell - Class in org.tweetyproject.commons.util: Default shell
NC - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: NC
NConsInconsistencyMeasure<S> - Class in org.tweetyproject.logics.commons.analysis: This class implements an inconsistency measure based on "n-consistency" proposed in [Doder,Raskovic,Markovic,Ognjanovic.
NConsInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.NConsInconsistencyMeasure: Creates a new inconsistency measure.
NecessarilyQuery - Class in org.tweetyproject.action.query.syntax: This class represents a necessarily query in the action query language S.
NecessarilyQuery(FolFormula) - Constructor for class org.tweetyproject.action.query.syntax.NecessarilyQuery: Creates a new necessarily query with an empty action sequence.
NecessarilyQuery(FolFormula, List<FolAction>) - Constructor for class org.tweetyproject.action.query.syntax.NecessarilyQuery: Creates a new necessarily query with the given inner formula and list of actions.
NecessarilyQuery(FolFormula, FolAction) - Constructor for class org.tweetyproject.action.query.syntax.NecessarilyQuery: Creates a new necessarily query with the given inner formula and a single action.
Necessity - Class in org.tweetyproject.logics.ml.syntax: This class models the necessity modality.
Necessity(RelationalFormula) - Constructor for class org.tweetyproject.logics.ml.syntax.Necessity: Creates a new necessity formula with the given inner formula
NECESSITY() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols: Returns the symbol for necessity.
NecessityArgumentation - Class in org.tweetyproject.arg.bipolar.examples: Examples for necessity argumentation frameworks.
NecessityArgumentation() - Constructor for class org.tweetyproject.arg.bipolar.examples.NecessityArgumentation
NecessityArgumentationFramework - Class in org.tweetyproject.arg.bipolar.syntax: This class implements a bipolar abstract argumentation framework with necessities.
NecessityArgumentationFramework() - Constructor for class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework: Default constructor; initializes empty sets of arguments, attacks and supports
NecessityArgumentationFramework(DeductiveArgumentationFramework) - Constructor for class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework: creates a necessity argumentation framework from the given deductive argumentation framework
NecessityArgumentationFramework(EvidentialArgumentationFramework) - Constructor for class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework: creates a necessity argumentation framework from the given evidential argumentation framework
NecessityArgumentationTest - Class in org.tweetyproject.arg.bipolar
NecessityArgumentationTest() - Constructor for class org.tweetyproject.arg.bipolar.NecessityArgumentationTest
necessityToEvidential() - Method in class org.tweetyproject.arg.bipolar.TranslationTest
necessityToEvidentialToNecessity() - Method in class org.tweetyproject.arg.bipolar.TranslationTest
neg() - Method in class org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder
neg() - Method in interface org.tweetyproject.arg.adf.syntax.pl.Literal: Returns the negation of this literal.
neg() - Method in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue: Return negation
neg() - Method in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue: Return a Truthvalue
neg(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTLiteral: Sets whether this literal is negated.
neg(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTTerm: Sets whether this term is negated.
neg(Double) - Method in class org.tweetyproject.arg.social.semantics.SimpleProductSemantics
neg(L) - Method in class org.tweetyproject.arg.social.semantics.AbstractSocialSemantics: The NEG-operation on L in this framework
negates(T, T) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Checks whether the given two formulas are negations of each other
Negation<T> - Class in org.tweetyproject.arg.aba.syntax: This represents a negation relation of form
Negation - Class in org.tweetyproject.logics.fol.syntax: The classical negation of first-order logic.
Negation - Class in org.tweetyproject.logics.pl.syntax: This class models classical negation of propositional logic.
Negation(RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.Negation: Relational formula to be negated.
Negation(PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.Negation: Creates a new negation with the given formula.
Negation(T, T) - Constructor for class org.tweetyproject.arg.aba.syntax.Negation: Creates a new Negation
NegationAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc: NegationAcceptanceCondition class
NegationAcceptanceCondition(AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition
NegationTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
NEQ - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator: Represents the "not equal to" operator
NestedFormulaTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
NestedLogicProgramException - Exception Class in org.tweetyproject.lp.nlp.error: NestedLogicProramException encapsulates those LanugageException that occur in nested logic programs.
NestedLogicProgramException(LanguageException.LanguageExceptionReason) - Constructor for exception class org.tweetyproject.lp.nlp.error.NestedLogicProgramException: Constructs a new `NestedLogicProgramException` with the specified reason.
NestedLogicProgramException(LanguageException.LanguageExceptionReason, String) - Constructor for exception class org.tweetyproject.lp.nlp.error.NestedLogicProgramException: Constructs a new `NestedLogicProgramException` with the specified reason and additional information.
NestedModalFormulaTest() - Method in class org.tweetyproject.logics.ml.MlParserTest
NestedQuantifiedFormulaTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest
NeutralPASemantics - Class in org.tweetyproject.arg.prob.semantics: P is neutral wrt.
NeutralPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.NeutralPASemantics: Default
newArguments - Variable in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF: A subset of arguments from PEAF that can be used to create a new EAF (connected to InducibleEAF)
newEAFTheory(PEAFTheory) - Static method in class org.tweetyproject.arg.bipolar.syntax.EAFTheory: Creates a new EAFTheory from an PEAFTheory (the probabilities are eliminated)
newToken(int) - Static method in class org.tweetyproject.arg.delp.parser.Token: Return token
newToken(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token: Return new token
newToken(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token: Return new token
newToken(int) - Static method in class org.tweetyproject.lp.asp.parser.Token: Creates and returns a new Token object with the specified kind and a null image.
newToken(int) - Static method in class org.tweetyproject.preferences.io.Token: Returns a new Token object with the specified kind.
newToken(int, String) - Static method in class org.tweetyproject.arg.delp.parser.Token: Returns a new Token object, by default.
newToken(int, String) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token: Creates and returns a new Token object based on the specified token kind.
newToken(int, String) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token: Returns a new Token object, by default.
newToken(int, String) - Static method in class org.tweetyproject.lp.asp.parser.Token: Creates and returns a new Token object with the specified kind and image.
newToken(int, String) - Static method in class org.tweetyproject.preferences.io.Token: Returns a new Token object.
NewtonRootFinder - Class in org.tweetyproject.math.opt.rootFinder: This class implements the Newton method for finding zeros of a function.
NewtonRootFinder() - Constructor for class org.tweetyproject.math.opt.rootFinder.NewtonRootFinder: Creates a new Newton root finder for the given starting point and the given function
newVar() - Method in class org.tweetyproject.sat.lingeling.LingelingSatSolver: Creates and returns a new variable in the Lingeling solver.
newVar() - Method in class org.tweetyproject.sat.minisat.MinisatSatSolver
newVar() - Method in class org.tweetyproject.sat.picosat.PicosatSatSolver
newVar() - Method in interface org.tweetyproject.sat.SatSolver: Creates and returns the integer representation of a fresh propositional variable.
next - Variable in class org.tweetyproject.arg.delp.parser.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class org.tweetyproject.lp.asp.parser.Token: A reference to the next regular (non-special) token from the input stream.
next - Variable in class org.tweetyproject.preferences.io.Token: A reference to the next regular (non-special) token in the input stream.
next() - Method in class org.tweetyproject.arg.adf.semantics.interpretation.InterpretationIterator
next() - Method in class org.tweetyproject.arg.adf.semantics.interpretation.TwoValuedInterpretationIterator
next() - Method in class org.tweetyproject.arg.adf.util.ExcludeSubinterpretationsIterator
next() - Method in class org.tweetyproject.arg.adf.util.ExcludeTwoValuedSubinterpretationsIterator
next() - Method in class org.tweetyproject.arg.aspic.util.RandomAspicArgumentationTheoryGenerator: Returns an ASPIC argumentation theory
next() - Method in class org.tweetyproject.arg.deductive.util.RandomDeductiveKnowledgeBaseGenerator: Description missing
next() - Method in class org.tweetyproject.arg.dung.util.DefaultDungTheoryGenerator
next() - Method in interface org.tweetyproject.arg.dung.util.DungTheoryGenerator
next() - Method in class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator
next() - Method in class org.tweetyproject.arg.dung.util.FileDungTheoryGenerator
next() - Method in class org.tweetyproject.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
next() - Method in class org.tweetyproject.arg.dung.util.KwtDungTheoryGenerator
next() - Method in class org.tweetyproject.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
next() - Method in class org.tweetyproject.arg.saf.util.SimpleSafSampler
next() - Method in class org.tweetyproject.arg.weighted.util.WeightedSemiringDungTheoryGenerator: Generates the next WeightedArgumentationFramework using the associated DungTheoryGenerator and Semiring.
next() - Method in interface org.tweetyproject.commons.BeliefSetIterator
next() - Method in class org.tweetyproject.commons.BeliefSetSampler
next() - Method in interface org.tweetyproject.commons.InterpretationIterator
next() - Method in class org.tweetyproject.commons.streams.DefaultFormulaStream
next() - Method in interface org.tweetyproject.commons.streams.FormulaStream
next() - Method in class org.tweetyproject.commons.util.DefaultSubsetIterator
next() - Method in class org.tweetyproject.commons.util.IncreasingSubsetIterator
next() - Method in class org.tweetyproject.commons.util.RandomSubsetIterator
next() - Method in class org.tweetyproject.commons.util.SubsetIterator
next() - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorldIterator
next() - Method in class org.tweetyproject.logics.pl.util.CanonicalIterator
next() - Method in class org.tweetyproject.logics.pl.util.CnfSampler
next() - Method in class org.tweetyproject.logics.pl.util.ContensionSampler
next() - Method in class org.tweetyproject.logics.pl.util.EnumeratingIterator
next() - Method in class org.tweetyproject.logics.pl.util.HsSampler
next() - Method in class org.tweetyproject.logics.pl.util.MiSampler
next() - Method in class org.tweetyproject.logics.pl.util.RandomSampler
next() - Method in class org.tweetyproject.logics.pl.util.RandomSatSampler
next() - Method in class org.tweetyproject.logics.pl.util.SyntacticEnumeratingIterator
next() - Method in class org.tweetyproject.logics.pl.util.SyntacticRandomSampler: Returns the next belief set
next() - Method in class org.tweetyproject.logics.pl.util.TextfileIterator
next() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator
next() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator
next() - Method in class org.tweetyproject.preferences.update.UpdateStream: Retrieves and removes the first update in the stream.
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.Agent: Determines the next action of this agent wrt.
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.lotteries.AbstractLotteryAgent
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.lotteries.DummyLotteryAgent
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.lotteries.RandomLotteryAgent
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.lotteries.UtilityBasedLotteryAgent: Chooses the next action based on the utility of subgraphs in the agent's current theory.
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.ArguingAgent
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.structured.CautiousArgumentationAgent
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.structured.OvercautiousArgumentationAgent
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.structured.SasAgent
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.dialogues.structured.TruthfulArgumentationAgent
next(Collection<? extends Perceivable>) - Method in class org.tweetyproject.agents.DummyAgent
next(Argument) - Method in class org.tweetyproject.arg.dung.util.DefaultDungTheoryGenerator
next(Argument) - Method in interface org.tweetyproject.arg.dung.util.DungTheoryGenerator: Generates a new Dung theory where the given argument is enforced to be in the grounded extension
next(Argument) - Method in class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator
next(Argument) - Method in class org.tweetyproject.arg.dung.util.FileDungTheoryGenerator
next(Argument) - Method in class org.tweetyproject.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
next(Argument) - Method in class org.tweetyproject.arg.dung.util.KwtDungTheoryGenerator
next(Argument) - Method in class org.tweetyproject.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
nextIndex() - Method in class org.tweetyproject.logics.pl.util.CanonicalIterator: Returns the index of the next element.
NicePossibleWorld - Class in org.tweetyproject.logics.pl.semantics: Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.
NicePossibleWorld(Collection<Proposition>, Collection<Proposition>) - Constructor for class org.tweetyproject.logics.pl.semantics.NicePossibleWorld: Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.
NicePossibleWorld(Collection<Proposition>, Collection<Proposition>, Comparator<Pair<Proposition, Boolean>>) - Constructor for class org.tweetyproject.logics.pl.semantics.NicePossibleWorld: Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.
NiskanenTheorySynthesizer - Class in org.tweetyproject.arg.dung.learning: Implementation of the MaxSAT algorithm from: Niskanen, Andreas, Johannes Wallner, and Matti Järvisalo.
NiskanenTheorySynthesizer(Collection<Argument>, Semantics, String) - Constructor for class org.tweetyproject.arg.dung.learning.NiskanenTheorySynthesizer
nixon() - Method in class org.tweetyproject.arg.delp.TestQueries
Nixon1() - Static method in class org.tweetyproject.logics.mln.examples.MlnExample2: Constructs the Nixon1 MLN example, which represents a scenario with Quakers, Republicans, and Pacifists with certain probabilities.
Nixon2() - Static method in class org.tweetyproject.logics.mln.examples.MlnExample2: Constructs the Nixon2 MLN example, which represents Nixon being both a Quaker, Republican, and President.
Nixon3() - Static method in class org.tweetyproject.logics.mln.examples.MlnExample2: Constructs the Nixon3 MLN example, which represents Reagan as an actor and president, with certain probabilities on roles.
NLPNot - Class in org.tweetyproject.lp.nlp.syntax: A default negation of a first order formula, nested logic programs only allow not quantified formulas.
NLPNot(FolFormula) - Constructor for class org.tweetyproject.lp.nlp.syntax.NLPNot: Ctor: Creates a new default not for nested logic programs by using the given FOL formula as inner formula.
NLPProgram - Class in org.tweetyproject.lp.nlp.syntax: Represents a nested logic program (NLP) in the form of a set of rules.
NLPProgram() - Constructor for class org.tweetyproject.lp.nlp.syntax.NLPProgram
NLPRule - Class in org.tweetyproject.lp.nlp.syntax: A rule of a nested logic program.
NLPRule() - Constructor for class org.tweetyproject.lp.nlp.syntax.NLPRule: Default constructor that creates an empty `NLPRule`.
NLPRule(FolFormula) - Constructor for class org.tweetyproject.lp.nlp.syntax.NLPRule: Constructor that creates a `NLPRule` with a specified conclusion.
NLPRule(FolFormula, Collection<FolFormula>) - Constructor for class org.tweetyproject.lp.nlp.syntax.NLPRule: Constructor that creates a `NLPRule` with a specified conclusion and a collection of premises.
NLPRule(FolFormula, FolFormula) - Constructor for class org.tweetyproject.lp.nlp.syntax.NLPRule: Constructor that creates a `NLPRule` with a specified conclusion and a single premise.
NLPRule(NLPRule) - Constructor for class org.tweetyproject.lp.nlp.syntax.NLPRule: Copy constructor that creates a new `NLPRule` by copying an existing rule.
NLPRuleTest - Class in org.tweetyproject.lp.nlp.syntax
NLPRuleTest() - Constructor for class org.tweetyproject.lp.nlp.syntax.NLPRuleTest
NO - Enum constant in enum org.tweetyproject.arg.delp.semantics.DelpAnswer.Type: Represents a negative answer.
NO_OPERATION - Static variable in interface org.tweetyproject.agents.Executable: This constant represents the default null operation.
noArgs() - Method in class org.tweetyproject.arg.delp.TestDeLP
noBatch() - Method in class org.tweetyproject.arg.delp.TestDeLP
Node - Interface in org.tweetyproject.graphs: an interface for a general Node
Node - Interface in org.tweetyproject.lp.asp.parser: node interfdace
nodeArity() - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState: Returns the number of children on the stack in the current node scope.
nodeCreated() - Method in class org.tweetyproject.lp.asp.parser.JJTASPParserState: Determines whether the current node was actually closed and pushed onto the stack.
noFiles() - Method in class org.tweetyproject.arg.delp.TestDeLP
NON_INTERFERENCE - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The non-interference principle
NONATTACKEDEQUIVALENCE - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate: The NONATTACKEDEQUIVALENCE postulate
NonDifferentiableException - Exception Class in org.tweetyproject.math: This exception is thrown when a non-differentiable term is attempted to be differentiated.
NonDifferentiableException() - Constructor for exception class org.tweetyproject.math.NonDifferentiableException: Creates a new NonDifferentiableException.
NonDifferentiableException(String) - Constructor for exception class org.tweetyproject.math.NonDifferentiableException: Creates a new NonDifferentiableException.
None - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType: NONE
nonGroundedCountInconsistencyMeasure() - Method in class org.tweetyproject.arg.dung.ExtensionInconsistencyMeasure: Tests the non-grounded count inconsistency measure.
NonGroundedCountInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis: Calculates the non-grounded count inconsistency measure of the given argumentation framework.
NonGroundedCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.NonGroundedCountInconsistencyMeasure
NonInterferencePrinciple - Class in org.tweetyproject.arg.dung.principles: Non-Interference Principle
NonInterferencePrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.NonInterferencePrinciple
NonNumericSemiring - Class in org.tweetyproject.math.algebra: This class represents an example for a non numeric semiring.
NonNumericSemiring() - Constructor for class org.tweetyproject.math.algebra.NonNumericSemiring: Constructs a NonNumericSemiring with the specified total ordering, multiplication, and identity elements.
NonNumericSemiring.SemiringElement - Enum in org.tweetyproject.math.algebra: Enum representing the elements in the non-numeric semiring: BAD, FAIR, and GOOD.
noQuery() - Method in class org.tweetyproject.arg.delp.TestDeLP
norm(Vector<Double>) - Method in class org.tweetyproject.math.norm.AggregatingNorm
norm(Vector<Double>) - Method in class org.tweetyproject.math.norm.EntropyNorm
norm(Vector<Double>) - Method in class org.tweetyproject.math.norm.ManhattanNorm
norm(Vector<Double>) - Method in class org.tweetyproject.math.norm.MaximumNorm
norm(Vector<Double>) - Method in class org.tweetyproject.math.norm.PNorm
norm(Vector<Double>) - Method in class org.tweetyproject.math.norm.ProbabilisticAggregatingNorm
norm(Vector<Double>) - Method in class org.tweetyproject.math.norm.ProbabilisticPNorm
norm(ProbabilityFunction<T>) - Method in class org.tweetyproject.math.norm.EntropyNorm: norm
norm(T) - Method in interface org.tweetyproject.math.norm.Norm: Returns the norm of the given object
Norm<T> - Interface in org.tweetyproject.math.norm: A norm for vector spaces.
NORMALIZATION - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate: The NORMALIZATION postulate
normalize() - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction: Normalizes this OCF, i.e.
normalize() - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction: Normalizes this OCF, i.e.
normalize() - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued: Normalizes this OCF, i.e.
normalize() - Method in class org.tweetyproject.math.probability.ProbabilityFunction: Normalizes this probability function to have mass 1.
normalize(double[], double) - Static method in class org.tweetyproject.commons.util.VectorTools: Normalizes the given vector such that the sum of the elements equals "sum"
normalize(List<Double>) - Static method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution: Normalizes the given list of probabilities, i.e.
NormalizedDistanceMinimizationInconsistencyMeasure - Class in org.tweetyproject.logics.pcl.analysis: This class models the normalized distance minimization inconsistency measure, see [PhD thesis, Thimm].
NormalizedDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure: Constructor
NormalizedDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder, int) - Constructor for class org.tweetyproject.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure: Constructor
NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure - Class in org.tweetyproject.logics.pcl.analysis: This class models a normalized approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure: Constructor
NormalizedMicInconsistencyMeasure<S> - Class in org.tweetyproject.logics.commons.analysis: This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].
NormalizedMicInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.NormalizedMicInconsistencyMeasure: Creates a new inconsistency measure with the given consistency tester
NormalizedMiInconsistencyMeasure<S> - Class in org.tweetyproject.logics.commons.analysis: This class models the normalized MI inconsistency measure, see [PhD thesis, Thimm].
NormalizedMiInconsistencyMeasure(MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.NormalizedMiInconsistencyMeasure: Creates a new inconsistency measure with the given consistency tester
NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure - Class in org.tweetyproject.logics.pcl.analysis: This class models a normalized approximation from above to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure: Constructor
normTerm(Vector<Term>) - Method in class org.tweetyproject.math.norm.AbstractRealVectorNorm
normTerm(Vector<Term>) - Method in class org.tweetyproject.math.norm.AggregatingNorm
normTerm(Vector<Term>) - Method in class org.tweetyproject.math.norm.EntropyNorm
normTerm(Vector<Term>) - Method in class org.tweetyproject.math.norm.ManhattanNorm
normTerm(Vector<Term>) - Method in class org.tweetyproject.math.norm.MaximumNorm
normTerm(Vector<Term>) - Method in class org.tweetyproject.math.norm.PNorm
normTerm(Vector<Term>) - Method in class org.tweetyproject.math.norm.ProbabilisticAggregatingNorm
normTerm(Vector<Term>) - Method in class org.tweetyproject.math.norm.ProbabilisticPNorm
normTerm(Vector<Term>) - Method in interface org.tweetyproject.math.norm.RealVectorNorm: Returns the norm as a term of the given terms
normTerm(Term[]) - Method in class org.tweetyproject.math.norm.AbstractRealVectorNorm
normTerm(Term[]) - Method in class org.tweetyproject.math.norm.AggregatingNorm
normTerm(Term[]) - Method in class org.tweetyproject.math.norm.EntropyNorm
normTerm(Term[]) - Method in class org.tweetyproject.math.norm.ProbabilisticAggregatingNorm
normTerm(Term[]) - Method in class org.tweetyproject.math.norm.ProbabilisticPNorm
normTerm(Term[]) - Method in interface org.tweetyproject.math.norm.RealVectorNorm: Returns the norm as a term of the given terms
NOT_COMPARABLE - Enum constant in enum org.tweetyproject.arg.delp.semantics.ComparisonCriterion.Result: Indicates that the two items cannot be compared due to lack of a common basis or criterion.
NotAnArgumentException(String) - Constructor for exception class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.NotAnArgumentException: Default constructor
nr_of_arguments(int) - Method in class org.tweetyproject.web.services.dung.DungReasonerResponse: Sets the number of arguments in the Dung reasoner response.
number(String) - Method in class org.tweetyproject.lp.asp.parser.ASTNumber: Sets the numerical value for this AST node by parsing a string representation of the number.
Number() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
NUMBER - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
NUMBER - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
NUMBER_OF_ITERATIONS - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample: NUMBER OF ITERATIONS
NUMBER_OF_ITERATIONS - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2: NUMBER OF ITERATIONS
NUMBER_OF_TRIALS - Static variable in class org.tweetyproject.arg.rankings.reasoner.ProbabilisticRankingReasoner: Number of trials for the used monte carlo search (this is a factor multiplied with the number of arguments of the actual framework)
NumberOfAnts - Variable in class org.tweetyproject.math.opt.solver.AntColonyOptimization: configuration data
numberOfArguments - Variable in class org.tweetyproject.arg.dung.util.DungTheoryGenerationParameters: The number of arguments to be created in a theory.
numberOfConstants() - Method in class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment: Returns the number of constants assigned by this assignment, i.e.
NumberOfIterations - Variable in class org.tweetyproject.math.opt.solver.AntColonyOptimization: Number Of Iterations
numberOfNodes() - Method in class org.tweetyproject.commons.util.SetTrie: Returns the total number of nodes in the trie, which includes all intermediate nodes.
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.pl.syntax.Implication
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.pl.syntax.Negation
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.pl.syntax.PlFormula: Returns the number of occurrences of the given proposition within this formula
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.pl.syntax.Proposition
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.pl.syntax.SpecialFormula
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
numberOfOccurrences(Proposition) - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
numberOfRunsEach - Static variable in class GroundedTest
numberOfRunsEach - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest: The number of simulation runs to be executed for each experiment.
numberOfRunsEach - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest2: Number of simulation runs to be executed for each experiment.
numberOfRunsEach - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest: The number of simulation runs to be executed for each experiment.
NumberSet<S> - Interface in org.tweetyproject.math: This empty interface is only for the Interval- and IntervalSet-classes
NumberTerm - Class in org.tweetyproject.logics.commons.syntax: This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.
NumberTerm(int) - Constructor for class org.tweetyproject.logics.commons.syntax.NumberTerm: Ctor: Creates a new NumberTerm, the sort "Thing" is used.
NumberTerm(int, Sort) - Constructor for class org.tweetyproject.logics.commons.syntax.NumberTerm: Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
NumberTerm(String) - Constructor for class org.tweetyproject.logics.commons.syntax.NumberTerm: Ctor: Creates a new NumberTerm, the sort "Thing" is used.
NumberTerm(String, Sort) - Constructor for class org.tweetyproject.logics.commons.syntax.NumberTerm: Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
NumberTerm(NumberTerm) - Constructor for class org.tweetyproject.logics.commons.syntax.NumberTerm: Copy-Ctor: Creates a deep copy of the given NumberTerm
numDecided() - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation: Returns the number of decided arguments, i.e.
NumericalPartialOrder<T,R> - Class in org.tweetyproject.comparator: This class provides an acceptability interpretation of arguments by assigning them real values.
NumericalPartialOrder() - Constructor for class org.tweetyproject.comparator.NumericalPartialOrder: Creates a new empty numerical argument ranking.
NumericalPartialOrder(Collection<T>, double) - Constructor for class org.tweetyproject.comparator.NumericalPartialOrder: Creates a new ranking with the given set of arguments and the given initial ranking value.
NumericalPartialOrder.SortingType - Enum in org.tweetyproject.comparator: Possible sorting types for the numerical values.
numFalsifiedInstances(HerbrandInterpretation, RelationalConditional) - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction: Returns the number of instances of "rc" that are falsified by the given interpretation.
numVerifiedInstances(HerbrandInterpretation, RelationalConditional) - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction: Returns the number of instances of "rc" that are verified by the given interpretation.

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