A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes All Packages
All Classes All Packages
All Classes All Packages
N
- NAF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- NAF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- NAFLiteral() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- NAFLiterals() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- nafneg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTNAFLiteral
- NAIVE - net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
- NaiveDlReasoner - Class in net.sf.tweety.logics.dl.reasoner
-
Naive reasoner for the description logic ALC (as represented by this library).
- NaiveDlReasoner() - Constructor for class net.sf.tweety.logics.dl.reasoner.NaiveDlReasoner
- NaiveLiteralTransformationFunction - Class in net.sf.tweety.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 net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
-
Creates a new naive transformation function for literals.
- NaiveLiteralTransformationFunctionTest - Class in net.sf.tweety.lp.asp.beliefdynamics
- NaiveLiteralTransformationFunctionTest() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
- NaiveMusEnumerator<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.
- NaiveMusEnumerator(BeliefSetConsistencyTester<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.NaiveMusEnumerator
-
Creates a new naive MusEnumerator that uses the given consistency tester.
- NaiveQbfReasoner - Class in net.sf.tweety.logics.qbf.reasoner
-
Naive classical inference for quantified boolean formulas (checks all interpretations for satisfiability).
- NaiveQbfReasoner() - Constructor for class net.sf.tweety.logics.qbf.reasoner.NaiveQbfReasoner
- NaiveReasoner - Class in net.sf.tweety.arg.adf.reasoner
- NaiveReasoner - Class in net.sf.tweety.arg.dung.reasoner
-
Reasoner for naive extensions.
- NaiveReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.NaiveReasoner
- NaiveReasoner(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.NaiveReasoner
- naiveUpdate(Extension) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
-
Updates this probability function with the given extension, i.e.
- name - Variable in class net.sf.tweety.lp.asp.parser.ASTLiteral
- name - Variable in class net.sf.tweety.lp.asp.parser.ASTString
- name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTID
- name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTLiteral
- name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTString
- name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTVar
- NAME - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants
-
RegularExpression Id.
- NativeLingelingSolver - Class in net.sf.tweety.arg.adf.sat
-
Experimental lingeling binding
- NativeLingelingSolver() - Constructor for class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
- NativeMinisatSolver - Class in net.sf.tweety.arg.adf.sat
- NativeMinisatSolver() - Constructor for class net.sf.tweety.arg.adf.sat.NativeMinisatSolver
- NativePicosatSolver - Class in net.sf.tweety.arg.adf.sat
- NativePicosatSolver() - Constructor for class net.sf.tweety.arg.adf.sat.NativePicosatSolver
- NativeShell - Class in net.sf.tweety.commons.util
-
Default shell
- NC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
- NConsInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.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 net.sf.tweety.logics.commons.analysis.NConsInconsistencyMeasure
-
Creates a new inconsistency measure.
- NecessarilyQuery - Class in net.sf.tweety.action.query.syntax
-
This class represents a necessarily query in the action query language S.
- NecessarilyQuery(FolFormula) - Constructor for class net.sf.tweety.action.query.syntax.NecessarilyQuery
-
Creates a new necessarily query with an empty action sequence.
- NecessarilyQuery(FolFormula, List<FolAction>) - Constructor for class net.sf.tweety.action.query.syntax.NecessarilyQuery
-
Creates a new necessarily query with the given inner formula and list of actions.
- NecessarilyQuery(FolFormula, FolAction) - Constructor for class net.sf.tweety.action.query.syntax.NecessarilyQuery
-
Creates a new necessarily query with the given inner formula and a single action.
- Necessity - Class in net.sf.tweety.logics.ml.syntax
-
This class models the necessity modality.
- Necessity(RelationalFormula) - Constructor for class net.sf.tweety.logics.ml.syntax.Necessity
-
Creates a new necessity formula with the given inner formula
- NECESSITY() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
- NecessityArgumentation - Class in net.sf.tweety.arg.bipolar.examples
- NecessityArgumentation() - Constructor for class net.sf.tweety.arg.bipolar.examples.NecessityArgumentation
- NecessityArgumentationFramework - Class in net.sf.tweety.arg.bipolar.syntax
-
This class implements a bipolar abstract argumentation framework with necessities.
- NecessityArgumentationFramework() - Constructor for class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
-
Default constructor; initializes empty sets of arguments, attacks and supports
- NecessityArgumentationFramework(DeductiveArgumentationFramework) - Constructor for class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
-
creates a necessity argumentation framework from the given deductive argumentation framework
- NecessityArgumentationFramework(EvidentialArgumentationFramework) - Constructor for class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
-
creates a necessity argumentation framework from the given evidential argumentation framework
- NecessityArgumentationTest - Class in net.sf.tweety.arg.bipolar
- NecessityArgumentationTest() - Constructor for class net.sf.tweety.arg.bipolar.NecessityArgumentationTest
- necessityToEvidential() - Method in class net.sf.tweety.arg.bipolar.TranslationTest
- necessityToEvidentialToNecessity() - Method in class net.sf.tweety.arg.bipolar.TranslationTest
- neg() - Method in class net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition.Builder
- neg() - Method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
- neg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTLiteral
- neg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTTerm
- neg(Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
- neg(L) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
-
The NEG-operation on L in this framework
- negates(T, T) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
-
Checks whether the given two formulas are negations of each other
- Negation<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax
- Negation - Class in net.sf.tweety.logics.fol.syntax
-
The classical negation of first-order logic.
- Negation - Class in net.sf.tweety.logics.pl.syntax
-
This class models classical negation of propositional logic.
- Negation(RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.Negation
- Negation(PlFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.Negation
-
Creates a new negation with the given formula.
- Negation(T, T) - Constructor for class net.sf.tweety.arg.aba.syntax.Negation
-
Creates a new Negation
- NegationAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax.acc
- NegationAcceptanceCondition(AcceptanceCondition) - Constructor for class net.sf.tweety.arg.adf.syntax.acc.NegationAcceptanceCondition
- NegationTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- NEQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
- NestedFormulaTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- NestedLogicProgramException - Exception in net.sf.tweety.lp.nlp.error
-
NestedLogicProramException encapsulates those LanugageException that occur in nested logic programs.
- NestedLogicProgramException(LanguageException.LanguageExceptionReason) - Constructor for exception net.sf.tweety.lp.nlp.error.NestedLogicProgramException
- NestedLogicProgramException(LanguageException.LanguageExceptionReason, String) - Constructor for exception net.sf.tweety.lp.nlp.error.NestedLogicProgramException
- NestedModalFormulaTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
- NestedQuantifiedFormulaTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
- net.sf.tweety.action.description.analysis - package net.sf.tweety.action.description.analysis
- net.sf.tweety.action.description.parser - package net.sf.tweety.action.description.parser
- net.sf.tweety.action.description.reasoner - package net.sf.tweety.action.description.reasoner
- net.sf.tweety.action.description.syntax - package net.sf.tweety.action.description.syntax
- net.sf.tweety.action.grounding - package net.sf.tweety.action.grounding
- net.sf.tweety.action.grounding.parser - package net.sf.tweety.action.grounding.parser
- net.sf.tweety.action.query.analysis - package net.sf.tweety.action.query.analysis
- net.sf.tweety.action.query.parser - package net.sf.tweety.action.query.parser
- net.sf.tweety.action.query.syntax - package net.sf.tweety.action.query.syntax
- net.sf.tweety.action.signature - package net.sf.tweety.action.signature
- net.sf.tweety.action.signature.parser - package net.sf.tweety.action.signature.parser
- net.sf.tweety.action.transitionsystem - package net.sf.tweety.action.transitionsystem
- net.sf.tweety.agents.dialogues - package net.sf.tweety.agents.dialogues
- net.sf.tweety.agents.dialogues.examples - package net.sf.tweety.agents.dialogues.examples
- net.sf.tweety.agents.dialogues.lotteries - package net.sf.tweety.agents.dialogues.lotteries
- net.sf.tweety.agents.dialogues.lotteries.sim - package net.sf.tweety.agents.dialogues.lotteries.sim
- net.sf.tweety.agents.dialogues.oppmodels - package net.sf.tweety.agents.dialogues.oppmodels
- net.sf.tweety.agents.dialogues.oppmodels.sim - package net.sf.tweety.agents.dialogues.oppmodels.sim
- net.sf.tweety.agents.dialogues.structured - package net.sf.tweety.agents.dialogues.structured
- net.sf.tweety.agents.sim - package net.sf.tweety.agents.sim
- net.sf.tweety.arg.aba.examples - package net.sf.tweety.arg.aba.examples
- net.sf.tweety.arg.aba.parser - package net.sf.tweety.arg.aba.parser
- net.sf.tweety.arg.aba.reasoner - package net.sf.tweety.arg.aba.reasoner
- net.sf.tweety.arg.aba.semantics - package net.sf.tweety.arg.aba.semantics
- net.sf.tweety.arg.aba.syntax - package net.sf.tweety.arg.aba.syntax
- net.sf.tweety.arg.adf.cli - package net.sf.tweety.arg.adf.cli
- net.sf.tweety.arg.adf.parser.test - package net.sf.tweety.arg.adf.parser.test
- net.sf.tweety.arg.adf.reasoner - package net.sf.tweety.arg.adf.reasoner
- net.sf.tweety.arg.adf.reasoner.ordering - package net.sf.tweety.arg.adf.reasoner.ordering
- net.sf.tweety.arg.adf.reasoner.sat - package net.sf.tweety.arg.adf.reasoner.sat
- net.sf.tweety.arg.adf.reasoner.sat.encodings - package net.sf.tweety.arg.adf.reasoner.sat.encodings
- net.sf.tweety.arg.adf.reasoner.sat.generator - package net.sf.tweety.arg.adf.reasoner.sat.generator
- net.sf.tweety.arg.adf.reasoner.sat.processor - package net.sf.tweety.arg.adf.reasoner.sat.processor
- net.sf.tweety.arg.adf.reasoner.sat.verifier - package net.sf.tweety.arg.adf.reasoner.sat.verifier
- net.sf.tweety.arg.adf.sat - package net.sf.tweety.arg.adf.sat
- net.sf.tweety.arg.adf.semantics.interpretation - package net.sf.tweety.arg.adf.semantics.interpretation
- net.sf.tweety.arg.adf.semantics.link - package net.sf.tweety.arg.adf.semantics.link
- net.sf.tweety.arg.adf.semantics.test - package net.sf.tweety.arg.adf.semantics.test
- net.sf.tweety.arg.adf.syntax.acc - package net.sf.tweety.arg.adf.syntax.acc
- net.sf.tweety.arg.adf.syntax.adf - package net.sf.tweety.arg.adf.syntax.adf
- net.sf.tweety.arg.adf.syntax.test - package net.sf.tweety.arg.adf.syntax.test
- net.sf.tweety.arg.adf.transform - package net.sf.tweety.arg.adf.transform
- net.sf.tweety.arg.adf.transform.processor - package net.sf.tweety.arg.adf.transform.processor
- net.sf.tweety.arg.adf.util.test - package net.sf.tweety.arg.adf.util.test
- net.sf.tweety.arg.aspic.examples - package net.sf.tweety.arg.aspic.examples
- net.sf.tweety.arg.aspic.order - package net.sf.tweety.arg.aspic.order
- net.sf.tweety.arg.aspic.parser - package net.sf.tweety.arg.aspic.parser
- net.sf.tweety.arg.aspic.reasoner - package net.sf.tweety.arg.aspic.reasoner
- net.sf.tweety.arg.aspic.ruleformulagenerator - package net.sf.tweety.arg.aspic.ruleformulagenerator
- net.sf.tweety.arg.aspic.semantics - package net.sf.tweety.arg.aspic.semantics
- net.sf.tweety.arg.aspic.syntax - package net.sf.tweety.arg.aspic.syntax
- net.sf.tweety.arg.aspic.util - package net.sf.tweety.arg.aspic.util
- net.sf.tweety.arg.aspic.writer - package net.sf.tweety.arg.aspic.writer
- net.sf.tweety.arg.bipolar.examples - package net.sf.tweety.arg.bipolar.examples
- net.sf.tweety.arg.bipolar.reasoner.deductive - package net.sf.tweety.arg.bipolar.reasoner.deductive
- net.sf.tweety.arg.bipolar.reasoner.evidential - package net.sf.tweety.arg.bipolar.reasoner.evidential
- net.sf.tweety.arg.bipolar.reasoner.necessity - package net.sf.tweety.arg.bipolar.reasoner.necessity
- net.sf.tweety.arg.bipolar.syntax - package net.sf.tweety.arg.bipolar.syntax
- net.sf.tweety.arg.deductive.accumulator - package net.sf.tweety.arg.deductive.accumulator
- net.sf.tweety.arg.deductive.categorizer - package net.sf.tweety.arg.deductive.categorizer
- net.sf.tweety.arg.deductive.examples - package net.sf.tweety.arg.deductive.examples
- net.sf.tweety.arg.deductive.parser - package net.sf.tweety.arg.deductive.parser
- net.sf.tweety.arg.deductive.reasoner - package net.sf.tweety.arg.deductive.reasoner
- net.sf.tweety.arg.deductive.semantics - package net.sf.tweety.arg.deductive.semantics
- net.sf.tweety.arg.deductive.semantics.attacks - package net.sf.tweety.arg.deductive.semantics.attacks
- net.sf.tweety.arg.deductive.syntax - package net.sf.tweety.arg.deductive.syntax
- net.sf.tweety.arg.delp.examples - package net.sf.tweety.arg.delp.examples
- net.sf.tweety.arg.delp.parser - package net.sf.tweety.arg.delp.parser
- net.sf.tweety.arg.delp.reasoner - package net.sf.tweety.arg.delp.reasoner
- net.sf.tweety.arg.delp.semantics - package net.sf.tweety.arg.delp.semantics
- net.sf.tweety.arg.delp.syntax - package net.sf.tweety.arg.delp.syntax
- net.sf.tweety.arg.dung.analysis - package net.sf.tweety.arg.dung.analysis
- net.sf.tweety.arg.dung.divisions - package net.sf.tweety.arg.dung.divisions
- net.sf.tweety.arg.dung.examples - package net.sf.tweety.arg.dung.examples
- net.sf.tweety.arg.dung.ldo.semantics - package net.sf.tweety.arg.dung.ldo.semantics
- net.sf.tweety.arg.dung.ldo.syntax - package net.sf.tweety.arg.dung.ldo.syntax
- net.sf.tweety.arg.dung.learning - package net.sf.tweety.arg.dung.learning
- net.sf.tweety.arg.dung.parser - package net.sf.tweety.arg.dung.parser
- net.sf.tweety.arg.dung.reasoner - package net.sf.tweety.arg.dung.reasoner
- net.sf.tweety.arg.dung.semantics - package net.sf.tweety.arg.dung.semantics
- net.sf.tweety.arg.dung.syntax - package net.sf.tweety.arg.dung.syntax
- net.sf.tweety.arg.dung.util - package net.sf.tweety.arg.dung.util
- net.sf.tweety.arg.dung.writer - package net.sf.tweety.arg.dung.writer
- net.sf.tweety.arg.lp.reasoner - package net.sf.tweety.arg.lp.reasoner
- net.sf.tweety.arg.lp.semantics - package net.sf.tweety.arg.lp.semantics
- net.sf.tweety.arg.lp.semantics.attack - package net.sf.tweety.arg.lp.semantics.attack
- net.sf.tweety.arg.lp.syntax - package net.sf.tweety.arg.lp.syntax
- net.sf.tweety.arg.prob.analysis - package net.sf.tweety.arg.prob.analysis
- net.sf.tweety.arg.prob.dynamics - package net.sf.tweety.arg.prob.dynamics
- net.sf.tweety.arg.prob.examples - package net.sf.tweety.arg.prob.examples
- net.sf.tweety.arg.prob.lotteries - package net.sf.tweety.arg.prob.lotteries
- net.sf.tweety.arg.prob.reasoner - package net.sf.tweety.arg.prob.reasoner
- net.sf.tweety.arg.prob.semantics - package net.sf.tweety.arg.prob.semantics
- net.sf.tweety.arg.prob.syntax - package net.sf.tweety.arg.prob.syntax
- net.sf.tweety.arg.rankings.examples - package net.sf.tweety.arg.rankings.examples
- net.sf.tweety.arg.rankings.postulates - package net.sf.tweety.arg.rankings.postulates
- net.sf.tweety.arg.rankings.reasoner - package net.sf.tweety.arg.rankings.reasoner
- net.sf.tweety.arg.rankings.semantics - package net.sf.tweety.arg.rankings.semantics
- net.sf.tweety.arg.rankings.util - package net.sf.tweety.arg.rankings.util
- net.sf.tweety.arg.saf.reasoner - package net.sf.tweety.arg.saf.reasoner
- net.sf.tweety.arg.saf.syntax - package net.sf.tweety.arg.saf.syntax
- net.sf.tweety.arg.saf.util - package net.sf.tweety.arg.saf.util
- net.sf.tweety.arg.social.examples - package net.sf.tweety.arg.social.examples
- net.sf.tweety.arg.social.reasoner - package net.sf.tweety.arg.social.reasoner
- net.sf.tweety.arg.social.semantics - package net.sf.tweety.arg.social.semantics
- net.sf.tweety.arg.social.syntax - package net.sf.tweety.arg.social.syntax
- net.sf.tweety.argumentation.parameterisedhierarchy - package net.sf.tweety.argumentation.parameterisedhierarchy
- net.sf.tweety.beliefdynamics - package net.sf.tweety.beliefdynamics
- net.sf.tweety.beliefdynamics.examples - package net.sf.tweety.beliefdynamics.examples
- net.sf.tweety.beliefdynamics.gui - package net.sf.tweety.beliefdynamics.gui
- net.sf.tweety.beliefdynamics.kernels - package net.sf.tweety.beliefdynamics.kernels
- net.sf.tweety.beliefdynamics.mas - package net.sf.tweety.beliefdynamics.mas
- net.sf.tweety.beliefdynamics.operators - package net.sf.tweety.beliefdynamics.operators
- net.sf.tweety.beliefdynamics.selectiverevision - package net.sf.tweety.beliefdynamics.selectiverevision
- net.sf.tweety.beliefdynamics.selectiverevision.argumentative - package net.sf.tweety.beliefdynamics.selectiverevision.argumentative
- net.sf.tweety.cli - package net.sf.tweety.cli
- net.sf.tweety.cli.plugins - package net.sf.tweety.cli.plugins
- net.sf.tweety.commons - package net.sf.tweety.commons
- net.sf.tweety.commons.analysis - package net.sf.tweety.commons.analysis
- net.sf.tweety.commons.examples - package net.sf.tweety.commons.examples
- net.sf.tweety.commons.postulates - package net.sf.tweety.commons.postulates
- net.sf.tweety.commons.streams - package net.sf.tweety.commons.streams
- net.sf.tweety.commons.util - package net.sf.tweety.commons.util
- net.sf.tweety.commons.util.rules - package net.sf.tweety.commons.util.rules
- net.sf.tweety.graphs.examples - package net.sf.tweety.graphs.examples
- net.sf.tweety.graphs.orders - package net.sf.tweety.graphs.orders
- net.sf.tweety.graphs.util - package net.sf.tweety.graphs.util
- net.sf.tweety.logics.bpm.syntax - package net.sf.tweety.logics.bpm.syntax
- net.sf.tweety.logics.cl.examples - package net.sf.tweety.logics.cl.examples
- net.sf.tweety.logics.cl.kappa - package net.sf.tweety.logics.cl.kappa
- net.sf.tweety.logics.cl.parser - package net.sf.tweety.logics.cl.parser
- net.sf.tweety.logics.cl.reasoner - package net.sf.tweety.logics.cl.reasoner
- net.sf.tweety.logics.cl.rules - package net.sf.tweety.logics.cl.rules
- net.sf.tweety.logics.cl.semantics - package net.sf.tweety.logics.cl.semantics
- net.sf.tweety.logics.cl.syntax - package net.sf.tweety.logics.cl.syntax
- net.sf.tweety.logics.cl.test - package net.sf.tweety.logics.cl.test
- net.sf.tweety.logics.commons.analysis - package net.sf.tweety.logics.commons.analysis
- net.sf.tweety.logics.commons.analysis.streams - package net.sf.tweety.logics.commons.analysis.streams
- net.sf.tweety.logics.commons.error - package net.sf.tweety.logics.commons.error
- net.sf.tweety.logics.commons.syntax - package net.sf.tweety.logics.commons.syntax
- net.sf.tweety.logics.commons.syntax.interfaces - package net.sf.tweety.logics.commons.syntax.interfaces
- net.sf.tweety.logics.commons.test - package net.sf.tweety.logics.commons.test
- net.sf.tweety.logics.dl.examples - package net.sf.tweety.logics.dl.examples
- net.sf.tweety.logics.dl.parser - package net.sf.tweety.logics.dl.parser
- net.sf.tweety.logics.dl.reasoner - package net.sf.tweety.logics.dl.reasoner
- net.sf.tweety.logics.dl.semantics - package net.sf.tweety.logics.dl.semantics
- net.sf.tweety.logics.dl.syntax - package net.sf.tweety.logics.dl.syntax
- net.sf.tweety.logics.dl.test - package net.sf.tweety.logics.dl.test
- net.sf.tweety.logics.fol.examples - package net.sf.tweety.logics.fol.examples
- net.sf.tweety.logics.fol.parser - package net.sf.tweety.logics.fol.parser
- net.sf.tweety.logics.fol.plugin - package net.sf.tweety.logics.fol.plugin
- net.sf.tweety.logics.fol.reasoner - package net.sf.tweety.logics.fol.reasoner
- net.sf.tweety.logics.fol.semantics - package net.sf.tweety.logics.fol.semantics
- net.sf.tweety.logics.fol.syntax - package net.sf.tweety.logics.fol.syntax
- net.sf.tweety.logics.fol.test - package net.sf.tweety.logics.fol.test
- net.sf.tweety.logics.fol.writer - package net.sf.tweety.logics.fol.writer
- net.sf.tweety.logics.ml.examples - package net.sf.tweety.logics.ml.examples
- net.sf.tweety.logics.ml.parser - package net.sf.tweety.logics.ml.parser
- net.sf.tweety.logics.ml.reasoner - package net.sf.tweety.logics.ml.reasoner
- net.sf.tweety.logics.ml.semantics - package net.sf.tweety.logics.ml.semantics
- net.sf.tweety.logics.ml.syntax - package net.sf.tweety.logics.ml.syntax
- net.sf.tweety.logics.ml.writer - package net.sf.tweety.logics.ml.writer
- net.sf.tweety.logics.mln.analysis - package net.sf.tweety.logics.mln.analysis
- net.sf.tweety.logics.mln.examples - package net.sf.tweety.logics.mln.examples
- net.sf.tweety.logics.mln.reasoner - package net.sf.tweety.logics.mln.reasoner
- net.sf.tweety.logics.mln.syntax - package net.sf.tweety.logics.mln.syntax
- net.sf.tweety.logics.pcl.analysis - package net.sf.tweety.logics.pcl.analysis
- net.sf.tweety.logics.pcl.examples - package net.sf.tweety.logics.pcl.examples
- net.sf.tweety.logics.pcl.parser - package net.sf.tweety.logics.pcl.parser
- net.sf.tweety.logics.pcl.reasoner - package net.sf.tweety.logics.pcl.reasoner
- net.sf.tweety.logics.pcl.semantics - package net.sf.tweety.logics.pcl.semantics
- net.sf.tweety.logics.pcl.syntax - package net.sf.tweety.logics.pcl.syntax
- net.sf.tweety.logics.pcl.test - package net.sf.tweety.logics.pcl.test
- net.sf.tweety.logics.pcl.util - package net.sf.tweety.logics.pcl.util
- net.sf.tweety.logics.pl.analysis - package net.sf.tweety.logics.pl.analysis
- net.sf.tweety.logics.pl.error - package net.sf.tweety.logics.pl.error
- net.sf.tweety.logics.pl.examples - package net.sf.tweety.logics.pl.examples
- net.sf.tweety.logics.pl.parser - package net.sf.tweety.logics.pl.parser
- net.sf.tweety.logics.pl.plugin - package net.sf.tweety.logics.pl.plugin
- net.sf.tweety.logics.pl.postulates - package net.sf.tweety.logics.pl.postulates
- net.sf.tweety.logics.pl.reasoner - package net.sf.tweety.logics.pl.reasoner
- net.sf.tweety.logics.pl.sat - package net.sf.tweety.logics.pl.sat
- net.sf.tweety.logics.pl.semantics - package net.sf.tweety.logics.pl.semantics
- net.sf.tweety.logics.pl.syntax - package net.sf.tweety.logics.pl.syntax
- net.sf.tweety.logics.pl.util - package net.sf.tweety.logics.pl.util
- net.sf.tweety.logics.pl.writer - package net.sf.tweety.logics.pl.writer
- net.sf.tweety.logics.qbf.examples - package net.sf.tweety.logics.qbf.examples
- net.sf.tweety.logics.qbf.parser - package net.sf.tweety.logics.qbf.parser
- net.sf.tweety.logics.qbf.reasoner - package net.sf.tweety.logics.qbf.reasoner
- net.sf.tweety.logics.qbf.semantics - package net.sf.tweety.logics.qbf.semantics
- net.sf.tweety.logics.qbf.syntax - package net.sf.tweety.logics.qbf.syntax
- net.sf.tweety.logics.qbf.test - package net.sf.tweety.logics.qbf.test
- net.sf.tweety.logics.qbf.writer - package net.sf.tweety.logics.qbf.writer
- net.sf.tweety.logics.rcl.examples - package net.sf.tweety.logics.rcl.examples
- net.sf.tweety.logics.rcl.parser - package net.sf.tweety.logics.rcl.parser
- net.sf.tweety.logics.rcl.reasoner - package net.sf.tweety.logics.rcl.reasoner
- net.sf.tweety.logics.rcl.semantics - package net.sf.tweety.logics.rcl.semantics
- net.sf.tweety.logics.rcl.syntax - package net.sf.tweety.logics.rcl.syntax
- net.sf.tweety.logics.rdl.examples - package net.sf.tweety.logics.rdl.examples
- net.sf.tweety.logics.rdl.parser - package net.sf.tweety.logics.rdl.parser
- net.sf.tweety.logics.rdl.reasoner - package net.sf.tweety.logics.rdl.reasoner
- net.sf.tweety.logics.rdl.semantics - package net.sf.tweety.logics.rdl.semantics
- net.sf.tweety.logics.rdl.syntax - package net.sf.tweety.logics.rdl.syntax
- net.sf.tweety.logics.rpcl.examples - package net.sf.tweety.logics.rpcl.examples
- net.sf.tweety.logics.rpcl.parser - package net.sf.tweety.logics.rpcl.parser
- net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser - package net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
- net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser - package net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
- net.sf.tweety.logics.rpcl.plugin - package net.sf.tweety.logics.rpcl.plugin
- net.sf.tweety.logics.rpcl.reasoner - package net.sf.tweety.logics.rpcl.reasoner
- net.sf.tweety.logics.rpcl.semantics - package net.sf.tweety.logics.rpcl.semantics
- net.sf.tweety.logics.rpcl.syntax - package net.sf.tweety.logics.rpcl.syntax
- net.sf.tweety.logics.rpcl.writers - package net.sf.tweety.logics.rpcl.writers
- net.sf.tweety.logics.translators.aspfol - package net.sf.tweety.logics.translators.aspfol
- net.sf.tweety.logics.translators.aspnlp - package net.sf.tweety.logics.translators.aspnlp
- net.sf.tweety.logics.translators.clnlp - package net.sf.tweety.logics.translators.clnlp
- net.sf.tweety.logics.translators.folprop - package net.sf.tweety.logics.translators.folprop
- net.sf.tweety.lp.asp.analysis - package net.sf.tweety.lp.asp.analysis
- net.sf.tweety.lp.asp.beliefdynamics.baserevision - package net.sf.tweety.lp.asp.beliefdynamics.baserevision
- net.sf.tweety.lp.asp.beliefdynamics.gui - package net.sf.tweety.lp.asp.beliefdynamics.gui
- net.sf.tweety.lp.asp.beliefdynamics.revision - package net.sf.tweety.lp.asp.beliefdynamics.revision
- net.sf.tweety.lp.asp.beliefdynamics.selectiverevision - package net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
- net.sf.tweety.lp.asp.examples - package net.sf.tweety.lp.asp.examples
- net.sf.tweety.lp.asp.parser - package net.sf.tweety.lp.asp.parser
- net.sf.tweety.lp.asp.reasoner - package net.sf.tweety.lp.asp.reasoner
- net.sf.tweety.lp.asp.semantics - package net.sf.tweety.lp.asp.semantics
- net.sf.tweety.lp.asp.syntax - package net.sf.tweety.lp.asp.syntax
- net.sf.tweety.lp.asp.writer - package net.sf.tweety.lp.asp.writer
- net.sf.tweety.lp.nlp.error - package net.sf.tweety.lp.nlp.error
- net.sf.tweety.lp.nlp.syntax - package net.sf.tweety.lp.nlp.syntax
- net.sf.tweety.machinelearning.assoc - package net.sf.tweety.machinelearning.assoc
- net.sf.tweety.machinelearning.examples - package net.sf.tweety.machinelearning.examples
- net.sf.tweety.machinelearning.svm - package net.sf.tweety.machinelearning.svm
- net.sf.tweety.machinelearning.test - package net.sf.tweety.machinelearning.test
- net.sf.tweety.math.equation - package net.sf.tweety.math.equation
- net.sf.tweety.math.examples - package net.sf.tweety.math.examples
- net.sf.tweety.math.func - package net.sf.tweety.math.func
- net.sf.tweety.math.func.fuzzy - package net.sf.tweety.math.func.fuzzy
- net.sf.tweety.math.matrix - package net.sf.tweety.math.matrix
- net.sf.tweety.math.norm - package net.sf.tweety.math.norm
- net.sf.tweety.math.opt - package net.sf.tweety.math.opt
- net.sf.tweety.math.opt.problem - package net.sf.tweety.math.opt.problem
- net.sf.tweety.math.opt.rootFinder - package net.sf.tweety.math.opt.rootFinder
- net.sf.tweety.math.opt.solver - package net.sf.tweety.math.opt.solver
- net.sf.tweety.math.probability - package net.sf.tweety.math.probability
- net.sf.tweety.math.term - package net.sf.tweety.math.term
- net.sf.tweety.math.test - package net.sf.tweety.math.test
- net.sf.tweety.math.util - package net.sf.tweety.math.util
- net.sf.tweety.plugin - package net.sf.tweety.plugin
- net.sf.tweety.plugin.parameter - package net.sf.tweety.plugin.parameter
- net.sf.tweety.preferences.aggregation - package net.sf.tweety.preferences.aggregation
- net.sf.tweety.preferences.events - package net.sf.tweety.preferences.events
- net.sf.tweety.preferences.io - package net.sf.tweety.preferences.io
- net.sf.tweety.preferences.plugin - package net.sf.tweety.preferences.plugin
- net.sf.tweety.preferences.ranking - package net.sf.tweety.preferences.ranking
- net.sf.tweety.preferences.test - package net.sf.tweety.preferences.test
- net.sf.tweety.preferences.update - package net.sf.tweety.preferences.update
- net.sf.tweety.web - package net.sf.tweety.web
- net.sf.tweety.web.services - package net.sf.tweety.web.services
- NeutralPASemantics - Class in net.sf.tweety.arg.prob.semantics
-
P is neutral wrt.
- NeutralPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.NeutralPASemantics
- newToken(int) - Static method in class net.sf.tweety.arg.delp.parser.Token
- newToken(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
- newToken(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
- newToken(int) - Static method in class net.sf.tweety.lp.asp.parser.Token
- newToken(int) - Static method in class net.sf.tweety.preferences.io.Token
- newToken(int, String) - Static method in class net.sf.tweety.arg.delp.parser.Token
- newToken(int, String) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
- newToken(int, String) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
- newToken(int, String) - Static method in class net.sf.tweety.lp.asp.parser.Token
- newToken(int, String) - Static method in class net.sf.tweety.preferences.io.Token
- NewtonRootFinder - Class in net.sf.tweety.math.opt.rootFinder
-
This class implements the Newton method for finding zeros of a function.
- NewtonRootFinder() - Constructor for class net.sf.tweety.math.opt.rootFinder.NewtonRootFinder
-
Creates a new Newton root finder for the given starting point and the given function
- next - Variable in class net.sf.tweety.arg.delp.parser.Token
-
A reference to the next regular (non-special) token from the input stream.
- next - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
-
A reference to the next regular (non-special) token from the input stream.
- next - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
-
A reference to the next regular (non-special) token from the input stream.
- next - Variable in class net.sf.tweety.lp.asp.parser.Token
-
A reference to the next regular (non-special) token from the input stream.
- next - Variable in class net.sf.tweety.preferences.io.Token
-
A reference to the next regular (non-special) token from the input stream.
- next() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.InterpretationIterator
- next() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.TwoValuedInterpretationIterator
- next() - Method in class net.sf.tweety.arg.adf.util.ExcludeSubinterpretationsIterator
- next() - Method in class net.sf.tweety.arg.adf.util.ExcludeTwoValuedSubinterpretationsIterator
- next() - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
- next() - Method in interface net.sf.tweety.arg.dung.util.DungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.saf.util.SimpleSafSampler
- next() - Method in interface net.sf.tweety.commons.BeliefSetIterator
- next() - Method in class net.sf.tweety.commons.BeliefSetSampler
- next() - Method in interface net.sf.tweety.commons.InterpretationIterator
- next() - Method in class net.sf.tweety.commons.streams.DefaultFormulaStream
- next() - Method in interface net.sf.tweety.commons.streams.FormulaStream
- next() - Method in class net.sf.tweety.commons.util.DefaultSubsetIterator
- next() - Method in class net.sf.tweety.commons.util.IncreasingSubsetIterator
- next() - Method in class net.sf.tweety.commons.util.RandomSubsetIterator
- next() - Method in class net.sf.tweety.commons.util.SubsetIterator
- next() - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator
- next() - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator
- next() - Method in class net.sf.tweety.logics.pl.util.CnfSampler
- next() - Method in class net.sf.tweety.logics.pl.util.ContensionSampler
- next() - Method in class net.sf.tweety.logics.pl.util.EnumeratingIterator
- next() - Method in class net.sf.tweety.logics.pl.util.HsSampler
- next() - Method in class net.sf.tweety.logics.pl.util.MiSampler
- next() - Method in class net.sf.tweety.logics.pl.util.RandomSampler
- next() - Method in class net.sf.tweety.logics.pl.util.RandomSatSampler
- next() - Method in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator
- next() - Method in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
-
Returns the next belief set
- next() - Method in class net.sf.tweety.logics.pl.util.TextfileIterator
- next() - Method in class net.sf.tweety.preferences.update.UpdateStream
- next(int, int, int, double) - Static method in class net.sf.tweety.arg.aspic.util.RandomAspicArgumentationTheoryGenerator
-
Generates a random ASPIC argumentation theory with
numPropositions
andnumFormulas
formulas (inference rules). - next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.Agent
-
Determines the next action of this agent wrt.
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.DummyLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.RandomLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.UtilityBasedLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.ArguingAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.structured.CautiousArgumentationAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.structured.SasAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.structured.TruthfulArgumentationAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.DummyAgent
- next(Argument) - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
- next(Argument) - Method in interface net.sf.tweety.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 net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
- next(Argument) - Method in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
- next(Argument) - Method in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
- next(Argument) - Method in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
- nextIndex() - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator
-
Returns the index of the next element.
- NicePossibleWorld - Class in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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.
- nixon() - Method in class net.sf.tweety.arg.delp.TestQueries
- Nixon1() - Static method in class net.sf.tweety.logics.mln.examples.MlnExample2
- Nixon2() - Static method in class net.sf.tweety.logics.mln.examples.MlnExample2
- Nixon3() - Static method in class net.sf.tweety.logics.mln.examples.MlnExample2
- NLPNot - Class in net.sf.tweety.lp.nlp.syntax
-
A default negation of a first order formula, nested logic programs only allow not quantified formulas.
- NLPNot(FolFormula) - Constructor for class net.sf.tweety.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 net.sf.tweety.lp.nlp.syntax
-
A nested logic program
- NLPProgram() - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPProgram
- NLPRule - Class in net.sf.tweety.lp.nlp.syntax
-
A rule of a nested logic program.
- NLPRule() - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRule(FolFormula) - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRule(FolFormula, Collection<FolFormula>) - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRule(FolFormula, FolFormula) - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRule(NLPRule) - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRuleTest - Class in net.sf.tweety.lp.nlp.syntax
- NLPRuleTest() - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRuleTest
- NO - net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
- NO_OPERATION - Static variable in interface net.sf.tweety.agents.Executable
-
This constant represents the default null operation.
- noArgs() - Method in class net.sf.tweety.arg.delp.TestDeLP
- noBatch() - Method in class net.sf.tweety.arg.delp.TestDeLP
- Node - Interface in net.sf.tweety.graphs
- Node - Interface in net.sf.tweety.lp.asp.parser
- nodeArity() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- nodeCreated() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- noFiles() - Method in class net.sf.tweety.arg.delp.TestDeLP
- NONATTACKEDEQUIVALENCE - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
-
The NONATTACKEDEQUIVALENCE postulate
- NonDifferentiableException - Exception in net.sf.tweety.math
-
This exception is thrown when a non-differentiable term is attempted to be differentiated.
- NonDifferentiableException() - Constructor for exception net.sf.tweety.math.NonDifferentiableException
-
Creates a new NonDifferentiableException.
- NonDifferentiableException(String) - Constructor for exception net.sf.tweety.math.NonDifferentiableException
-
Creates a new NonDifferentiableException.
- None - net.sf.tweety.logics.bpm.syntax.EventType
- nonGroundedCountInconsistencyMeasure() - Method in class net.sf.tweety.arg.dung.ExtensionInconsistencyMeasure
- NonGroundedCountInconsistencyMeasure<T extends DungTheory> - Class in net.sf.tweety.arg.dung.analysis
- NonGroundedCountInconsistencyMeasure() - Constructor for class net.sf.tweety.arg.dung.analysis.NonGroundedCountInconsistencyMeasure
- noQuery() - Method in class net.sf.tweety.arg.delp.TestDeLP
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.AggregatingNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.EntropyNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.ManhattanNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.MaximumNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.PNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
- norm(ProbabilityFunction<T>) - Method in class net.sf.tweety.math.norm.EntropyNorm
- norm(T) - Method in interface net.sf.tweety.math.norm.Norm
-
Returns the norm of the given object
- Norm<T> - Interface in net.sf.tweety.math.norm
-
A norm for vector spaces.
- NORMALIZATION - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
-
The NORMALIZATION postulate
- normalize() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
-
Normalizes this OCF, i.e.
- normalize() - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
-
Normalizes this OCF, i.e.
- normalize() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
-
Normalizes this probability function to have mass 1.
- normalize(double[], double) - Static method in class net.sf.tweety.commons.util.VectorTools
-
Normalizes the given vector such that the sum of the elements equals "sum"
- normalize(List<Double>) - Static method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
-
Normalizes the given list of probabilities, i.e.
- NormalizedDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
-
This class models the normalized distance minimization inconsistency measure, see [PhD thesis, Thimm].
- NormalizedDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure
- NormalizedDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder, int) - Constructor for class net.sf.tweety.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure
- NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.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 net.sf.tweety.logics.pcl.analysis.NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure
- NormalizedMicInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].
- NormalizedMicInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.NormalizedMicInconsistencyMeasure
-
Creates a new inconsistency measure with the given consistency tester
- NormalizedMiInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class models the normalized MI inconsistency measure, see [PhD thesis, Thimm].
- NormalizedMiInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.NormalizedMiInconsistencyMeasure
-
Creates a new inconsistency measure with the given consistency tester
- NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.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 net.sf.tweety.logics.pcl.analysis.NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.AggregatingNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.EntropyNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.ManhattanNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.MaximumNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.PNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
- normTerm(Vector<Term>) - Method in interface net.sf.tweety.math.norm.RealVectorNorm
-
Returns the norm as a term of the given terms
- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm
- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.AggregatingNorm
- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.EntropyNorm
- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
- normTerm(Term[]) - Method in interface net.sf.tweety.math.norm.RealVectorNorm
-
Returns the norm as a term of the given terms
- NOT_COMPARABLE - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Result
- number(String) - Method in class net.sf.tweety.lp.asp.parser.ASTNumber
- Number() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- NUMBER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- NUMBER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- NUMBER_OF_ITERATIONS - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
- NUMBER_OF_ITERATIONS - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
- NUMBER_OF_TRIALS - Static variable in class net.sf.tweety.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)
- numberOfArguments - Variable in class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters
-
The number of arguments to be created in a theory.
- numberOfConstants() - Method in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment
-
Returns the number of constants assigned by this assignment, i.e.
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Implication
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Negation
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
-
Returns the number of occurrences of the given proposition within this formula
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
- numberOfRunsEach - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest
- numberOfRunsEach - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest2
- numberOfRunsEach - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
- NumberSet<S extends java.lang.Number> - Interface in net.sf.tweety.math
-
This empty interface is only for the Interval- and IntervalSet-classes
- NumberTerm - Class in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax.NumberTerm
-
Ctor: Creates a new NumberTerm, the sort "Thing" is used.
- NumberTerm(int, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.NumberTerm
-
Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
- NumberTerm(String) - Constructor for class net.sf.tweety.logics.commons.syntax.NumberTerm
-
Ctor: Creates a new NumberTerm, the sort "Thing" is used.
- NumberTerm(String, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.NumberTerm
-
Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
- NumberTerm(NumberTerm) - Constructor for class net.sf.tweety.logics.commons.syntax.NumberTerm
-
Copy-Ctor: Creates a deep copy of the given NumberTerm
- numDecided() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation
- numDecided() - Method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation
-
Returns the number of decided arguments, i.e.
- numDecided() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation
- NumericalArgumentRanking - Class in net.sf.tweety.arg.rankings.semantics
-
This class provides a acceptability interpretation of arguments by assigning them real values where larger values indicate more acceptability.
- NumericalArgumentRanking() - Constructor for class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
-
Creates a new empty argument ranking
- NumericalArgumentRanking(Collection<Argument>, double) - Constructor for class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
-
Creates a new argument ranking.
- NumericalArgumentRanking.SortingType - Enum in net.sf.tweety.arg.rankings.semantics
-
Possible sorting types for the numerical values.
- numFalsifiedInstances(HerbrandInterpretation, RelationalConditional) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
-
Returns the number of instances of "rc" that are falsified by the given interpretation.
- numVerifiedInstances(HerbrandInterpretation, RelationalConditional) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
-
Returns the number of instances of "rc" that are verified by the given interpretation.
All Classes All Packages