A B C D E F G H I J K L M N O P Q R S T U V W X Z _

N

n - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

n_q - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

n_s - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

NaiveDefaultReasoner - Class in net.sf.tweety.logics.rdl

Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.

NaiveDefaultReasoner(BeliefBase) - Constructor for class net.sf.tweety.logics.rdl.NaiveDefaultReasoner

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<Rule>, 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

NaiveMlnReasoner - Class in net.sf.tweety.logics.ml

NaiveMlnReasoner(BeliefBase) - Constructor for class net.sf.tweety.logics.ml.NaiveMlnReasoner

Creates a new NaiveMlnReasoner for the given Markov logic network.

NaiveMlnReasoner(BeliefBase, FolSignature) - Constructor for class net.sf.tweety.logics.ml.NaiveMlnReasoner

Creates a new NaiveMlnReasoner for the given Markov logic network.

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.

NaiveProver - Class in net.sf.tweety.logics.fol.prover

Uses a naive brute force search procedure for theorem proving.

NaiveProver() - Constructor for class net.sf.tweety.logics.fol.prover.NaiveProver

NaiveReasoner - Class in net.sf.tweety.logics.pl

Naive classical inference (checks all interpretations for satisfiability).

NaiveReasoner(BeliefBase) - Constructor for class net.sf.tweety.logics.pl.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.agents.Agent

The name of the agent.

name - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.DummyAgentGenerator

The name of the agents generator by this generator.

name - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator

The name of the agents generator by this generator.

name - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator

The name of the agents generator by this generator.

name - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator

The name of the agents generator by this generator.

name - Variable in class net.sf.tweety.arg.aspic.syntax.InferenceRule

Identifying name.

NAME - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants

RegularExpression Id.

name - Variable in class net.sf.tweety.arg.dung.syntax.Argument

The name of the argument.

name - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockOperator

name - Variable in class net.sf.tweety.graphs.SimpleNode

The name of the node

name - Variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess

The name of this process.

name - Variable in enum net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason

name - Variable in class net.sf.tweety.logics.commons.syntax.Individual

name - Variable in class net.sf.tweety.logics.commons.syntax.Sort

The name of the sort

name - Variable in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

The name of this structure

name - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.MockOperator

name - Variable in class net.sf.tweety.lp.asp.parser.ASTIdentifier

name - Variable in class net.sf.tweety.machinelearning.TrainingParameter

The identifier of the parameter.

name - Variable in class net.sf.tweety.math.term.Variable

The name of the variable.

nat - Static variable in class net.sf.tweety.commons.util.Shell

NativeShell - Class in net.sf.tweety.commons.util

Default shell

NativeShell() - Constructor for class net.sf.tweety.commons.util.NativeShell

NBCLAUSES - Static variable in class net.sf.tweety.logics.pl.sat.Sat4jSolver

Default value for max number of expected clauses for a solver.

nbclauses - Variable in class net.sf.tweety.logics.pl.sat.Sat4jSolver

Max number of expected clauses for this solver.

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.

necessaryArguments() - Method in class net.sf.tweety.agents.dialogues.structured.CautiousArgumentationAgent

Computes the set of necessary arguments for this agent's focal element, i.e.

Necessity - Class in net.sf.tweety.logics.el.syntax

This class models the necessity modality.

Necessity(RelationalFormula) - Constructor for class net.sf.tweety.logics.el.syntax.Necessity

Creates a new necessity formula with the given inner formula

neg(L) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics

The NEG-operation on L in this framework

neg(Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics

neg() - Method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue

NEG - Static variable in class net.sf.tweety.logics.pl.util.SyntacticRandomPlBeliefSetSampler

NEG - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants

RegularExpression Id.

neg - Variable in class net.sf.tweety.lp.asp.parser.ASTAtom

neg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTAtom

neg_votes - Variable in class net.sf.tweety.arg.social.SocialAbstractArgumentationFramework

The number of negative votes of arguments

negates(T, T) - Method in class net.sf.tweety.arg.aba.ABATheory

Negation<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax

Negation(T, T) - Constructor for class net.sf.tweety.arg.aba.syntax.Negation

Creates a new Negation

negation - Variable in class net.sf.tweety.arg.aba.syntax.Negation

not =

Negation - Class in net.sf.tweety.logics.fol.syntax

The classical negation of first-order logic.

Negation(RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.Negation

Negation - Class in net.sf.tweety.logics.pl.syntax

This class models classical negation of propositional logic.

Negation(PropositionalFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.Negation

Creates a new negation with the given formula.

negations - Variable in class net.sf.tweety.arg.aba.ABATheory

The negation relation

negativeMinimum - Variable in class net.sf.tweety.logics.cl.kappa.KappaValue

This minimum contains those kappa sums of conditionals that are falsified in a world, that is also falsified by the Conditional of this kappa value.

negConstantPrefix - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision

a prefix used to mark constants which represent the id of negative literals.

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

net.sf.tweety.action - package net.sf.tweety.action

net.sf.tweety.action.description - package net.sf.tweety.action.description

net.sf.tweety.action.description.parser - package net.sf.tweety.action.description.parser

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 - package net.sf.tweety.action.query

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.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.dialogues.test - package net.sf.tweety.agents.dialogues.test

net.sf.tweety.agents.sim - package net.sf.tweety.agents.sim

net.sf.tweety.arg.aba - package net.sf.tweety.arg.aba

net.sf.tweety.arg.aba.parser - package net.sf.tweety.arg.aba.parser

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 - package net.sf.tweety.arg.adf

net.sf.tweety.arg.aspic - package net.sf.tweety.arg.aspic

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.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.deductive - package net.sf.tweety.arg.deductive

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.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.test - package net.sf.tweety.arg.deductive.test

net.sf.tweety.arg.delp - package net.sf.tweety.arg.delp

net.sf.tweety.arg.delp.parser - package net.sf.tweety.arg.delp.parser

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 - package net.sf.tweety.arg.dung

net.sf.tweety.arg.dung.divisions - package net.sf.tweety.arg.dung.divisions

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.parser - package net.sf.tweety.arg.dung.parser

net.sf.tweety.arg.dung.prover - package net.sf.tweety.arg.dung.prover

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.test - package net.sf.tweety.arg.dung.test

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 - package net.sf.tweety.arg.lp

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 - package net.sf.tweety.arg.prob

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.lotteries - package net.sf.tweety.arg.prob.lotteries

net.sf.tweety.arg.prob.semantics - package net.sf.tweety.arg.prob.semantics

net.sf.tweety.arg.prob.test - package net.sf.tweety.arg.prob.test

net.sf.tweety.arg.prob.test.deductive - package net.sf.tweety.arg.prob.test.deductive

net.sf.tweety.arg.saf - package net.sf.tweety.arg.saf

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 - package net.sf.tweety.arg.social

net.sf.tweety.arg.social.semantics - package net.sf.tweety.arg.social.semantics

net.sf.tweety.arg.social.test - package net.sf.tweety.arg.social.test

net.sf.tweety.argumentation.parameterisedhierarchy - package net.sf.tweety.argumentation.parameterisedhierarchy

net.sf.tweety.beliefdynamics - package net.sf.tweety.beliefdynamics

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.beliefdynamics.test - package net.sf.tweety.beliefdynamics.test

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.streams - package net.sf.tweety.commons.streams

net.sf.tweety.commons.test - package net.sf.tweety.commons.test

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 - package net.sf.tweety.graphs

net.sf.tweety.graphs.orders - package net.sf.tweety.graphs.orders

net.sf.tweety.graphs.test - package net.sf.tweety.graphs.test

net.sf.tweety.graphs.util - package net.sf.tweety.graphs.util

net.sf.tweety.logicprogramming.nlp.syntax - package net.sf.tweety.logicprogramming.nlp.syntax

net.sf.tweety.logics.cl - package net.sf.tweety.logics.cl

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.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 - package net.sf.tweety.logics.commons

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.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.el.semantics - package net.sf.tweety.logics.el.semantics

net.sf.tweety.logics.el.syntax - package net.sf.tweety.logics.el.syntax

net.sf.tweety.logics.fol.lang - package net.sf.tweety.logics.fol.lang

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.prover - package net.sf.tweety.logics.fol.prover

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 - package net.sf.tweety.logics.ml

net.sf.tweety.logics.ml.analysis - package net.sf.tweety.logics.ml.analysis

net.sf.tweety.logics.ml.syntax - package net.sf.tweety.logics.ml.syntax

net.sf.tweety.logics.ml.test - package net.sf.tweety.logics.ml.test

net.sf.tweety.logics.pcl.analysis - package net.sf.tweety.logics.pcl.analysis

net.sf.tweety.logics.pcl.parser - package net.sf.tweety.logics.pcl.parser

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.lang - package net.sf.tweety.logics.pl.lang

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.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.test - package net.sf.tweety.logics.pl.test

net.sf.tweety.logics.pl.util - package net.sf.tweety.logics.pl.util

net.sf.tweety.logics.rcl - package net.sf.tweety.logics.rcl

net.sf.tweety.logics.rcl.parser - package net.sf.tweety.logics.rcl.parser

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.rcl.test - package net.sf.tweety.logics.rcl.test

net.sf.tweety.logics.rdl.parser - package net.sf.tweety.logics.rdl.parser

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.rdl.test - package net.sf.tweety.logics.rdl.test

net.sf.tweety.logics.rpcl - package net.sf.tweety.logics.rpcl

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.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.test - package net.sf.tweety.logics.rpcl.test

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.parser - package net.sf.tweety.lp.asp.parser

net.sf.tweety.lp.asp.solver - package net.sf.tweety.lp.asp.solver

net.sf.tweety.lp.asp.syntax - package net.sf.tweety.lp.asp.syntax

net.sf.tweety.lp.asp.util - package net.sf.tweety.lp.asp.util

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.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.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.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 - package net.sf.tweety.preferences

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

neverending - Variable in class net.sf.tweety.commons.streams.DefaultFormulaStream

Whether this stream is never-ending (formulas are repeated once through).

newBeliefs - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel

newToken(int, String) - Static method in class net.sf.tweety.arg.delp.parser.Token

Returns a new Token object, by default.

newToken(int) - Static method in class net.sf.tweety.arg.delp.parser.Token

newToken(int, String) - Static method in class net.sf.tweety.arg.dung.parser.Token

Returns a new Token object, by default.

newToken(int) - Static method in class net.sf.tweety.arg.dung.parser.Token

newToken(int, String) - Static method in class net.sf.tweety.logics.fol.parser.Token

Returns a new Token object, by default.

newToken(int) - Static method in class net.sf.tweety.logics.fol.parser.Token

newToken(int, String) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

Returns a new Token object, by default.

newToken(int) - 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

Returns a new Token object, by default.

newToken(int) - 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

Returns a new Token object, by default.

newToken(int) - Static method in class net.sf.tweety.lp.asp.parser.Token

newToken(int, String) - Static method in class net.sf.tweety.preferences.io.Token

Returns a new Token object, by default.

newToken(int) - Static method in class net.sf.tweety.preferences.io.Token

NewtonRootFinder - Class in net.sf.tweety.math.opt

This class implements the Newton method for finding zeros of a function.

NewtonRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.NewtonRootFinder

Creates a new Newton root finder for the given starting point and the given function

NewtonRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.NewtonRootFinder

Creates a new Newton root finder for the given starting point and the given (multi-dimensional) function

newVars2oldVars - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver

A map mapping old variables to new variables.

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 - 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.arg.dung.parser.Token

A reference to the next regular (non-special) token from the input stream.

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 - Variable in class net.sf.tweety.logics.fol.parser.FolParserB.JJCalls

next - Variable in class net.sf.tweety.logics.fol.parser.Token

A reference to the next regular (non-special) token from the input stream.

next() - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator

next - Variable in class net.sf.tweety.logics.pl.util.CanonicalEnumerator

The next value used for compiling a knowledge base.

next() - Method in class net.sf.tweety.logics.pl.util.CanonicalEnumerator

next() - Method in class net.sf.tweety.logics.pl.util.EnumeratingPlBeliefSetSampler

Returns the next belief set.

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.ASPParser.JJCalls

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.preferences.update.UpdateStream

nextBestStep(Matrix, Matrix, Matrix, List<Variable>) - Method in class net.sf.tweety.math.opt.solver.BfgsSolver

nextIndex() - Method in class net.sf.tweety.logics.pl.util.CanonicalEnumerator

Returns the index of the next element.

nextLevel(Collection<Collection<T>>, int) - Method in class net.sf.tweety.machinelearning.assoc.AprioriMiner

Generates all sets of cardinality cardinality s.t.

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.ml.test.MlnTest2

Nixon2() - Static method in class net.sf.tweety.logics.ml.test.MlnTest2

Nixon3() - Static method in class net.sf.tweety.logics.ml.test.MlnTest2

nl() - Method in class net.sf.tweety.arg.aspic.semantics.AspicAttack

Writes a new line to the log

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(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, 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

NLPRuleTest - Class in net.sf.tweety.logicprogramming.nlp.syntax

NLPRuleTest() - Constructor for class net.sf.tweety.logicprogramming.nlp.syntax.NLPRuleTest

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

node_created - Variable in class net.sf.tweety.lp.asp.parser.JJTASPParserState

nodeA - Variable in class net.sf.tweety.graphs.Edge

The first node of this edge.

nodeArity() - Method in class net.sf.tweety.lp.asp.parser.JJTASPParserState

nodeB - Variable in class net.sf.tweety.graphs.Edge

The second node of this edge.

nodeCreated() - Method in class net.sf.tweety.lp.asp.parser.JJTASPParserState

nodes - Variable in class net.sf.tweety.commons.util.Digraph

the grsph's nodes

nodes - Variable in class net.sf.tweety.graphs.DefaultGraph

The set of nodes

nodes - Variable in class net.sf.tweety.graphs.orders.Order

A bijection between objects and nodes in the defaultGraph.

nodes - Variable in class net.sf.tweety.lp.asp.parser.JJTASPParserState

noFiles() - Method in class net.sf.tweety.arg.delp.TestDeLP

nominator - Variable in class net.sf.tweety.math.term.Fraction

The nominator of the fraction.

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.

noQuery() - Method in class net.sf.tweety.arg.delp.TestDeLP

norm - Variable in class net.sf.tweety.arg.prob.analysis.PAInconsistencyMeasure

The norm used for measuring the distances.

norm - Variable in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator

The norm used for distance measurement between probabilistic extensions.

norm - Variable in class net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure

The norm.

norm - Variable in class net.sf.tweety.logics.pcl.analysis.MinimumViolationMachineShop

The norm.

norm - Variable in class net.sf.tweety.logics.pcl.GeneralizedMeReasoner

The norm.

norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.EntropyNorm

norm(ProbabilityFunction<T>) - 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<T> - Interface in net.sf.tweety.math.norm

A norm for vector spaces.

norm(T) - Method in interface net.sf.tweety.math.norm.Norm

Returns the norm of the given object

norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.PNorm

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() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction

Normalizes this OCF, i.e.

normalize - Variable in class net.sf.tweety.logics.ml.analysis.PNormDistanceFunction

Whether the distance should be normalized to [0,1].

normalize(List<Double>) - Static method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution

Normalizes the given list of probabilities, i.e.

normalize() - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction

Normalizes this OCF, i.e.

normalize(List<Double>) - Static method in class net.sf.tweety.math.probability.ProbabilityFunction

Normalizes the given list of probabilities, i.e.

normalize() - Method in class net.sf.tweety.math.probability.ProbabilityFunction

Normalizes this probability function to have mass 1.

normalized - Variable in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure

Whether this measure uses the normalized mindev measure.

NormalizedDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis

This class models the normalized distance minimization inconsistency measure, see [PhD thesis, Thimm].

NormalizedDistanceMinimizationInconsistencyMeasure() - 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() - 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() - Constructor for class net.sf.tweety.logics.pcl.analysis.NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure

normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm

normTerm(Term[]) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm

normTerm(Term[]) - Method in class net.sf.tweety.math.norm.EntropyNorm

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 interface net.sf.tweety.math.norm.RealVectorNorm

Returns the norm as a term of the given terms

normTerm(Term[]) - Method in interface net.sf.tweety.math.norm.RealVectorNorm

Returns the norm as a term of the given terms

NOT - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants

RegularExpression Id.

NOTEQUAL - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants

RegularExpression Id.

notifyActionPerformed(ActionEvent) - Method in class net.sf.tweety.agents.AbstractProtocol

Notifies every listener about the given event.

notifyTerminated() - Method in class net.sf.tweety.agents.AbstractProtocol

Notifies every listener that this protocol has terminated.

ntActSets(ArgumentCompletion) - Method in class net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity

Computes the activation sets of the given argument completion.

ntActSets(Set<ArgumentCompletion>) - Method in class net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity

Computes the activation sets of all given argument completions

NUMBER - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants

RegularExpression Id.

Number() - Method in class net.sf.tweety.lp.asp.parser.ASPParser

NUMBER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants

RegularExpression Id.

number - Variable in class net.sf.tweety.lp.asp.parser.ASTNumber

NUMBER_OF_ITERATIONS - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation

NUMBER_OF_ITERATIONS - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2

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.InstanceAssignment

Returns the number of constants assigned by this assignment, i.e.

numberOfEdges() - Method in class net.sf.tweety.commons.util.Digraph

numberOfEvents - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener

The current number of events.

numberOfGroundSatisfactions(FolFormula, HerbrandInterpretation) - Method in class net.sf.tweety.logics.ml.AbstractMlnReasoner

Computes the number of instantiations of the formula, wrt.

numberOfIterations - Variable in class net.sf.tweety.logics.ml.IteratingMlnReasoner

The number of iterations.

numberOfNodes() - Method in class net.sf.tweety.commons.util.Digraph

numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Negation

numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Proposition

numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula

Returns the number of occurrences of the given proposition within this formula

numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula

numberOfPopulations - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

The number of populations.

numberOfPopulations - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess

The number of populations.

numberOfRunsEach - Static variable in class net.sf.tweety.agents.dialogues.test.GroundedTest

numberOfRunsEach - Static variable in class net.sf.tweety.agents.dialogues.test.GroundedTest2

numberOfRunsEach - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest

numberOfSteps - Variable in class net.sf.tweety.agents.SynchronousProtocol

This attribute indicates the number of steps to be performed until termination of this protocol.

numberOfTrials - Variable in class net.sf.tweety.arg.prob.MonteCarloPafReasoner

The number of runs of the Monte Carlo simulation.

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

numComponents - Variable in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator

The number of components in the generated frameworks.

numConditionals - Variable in class net.sf.tweety.logics.cl.BruteForceCReasoner

The number of conditionals in the given knowledge base.

numConditionals - Variable in class net.sf.tweety.logics.rcl.RelationalBruteForceCReasoner

The number of conditionals in the given knowledge base.

NumericalArgumentRanking - Class in net.sf.tweety.arg.dung.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.dung.semantics.NumericalArgumentRanking

Creates a new empty argument ranking

NumericalArgumentRanking(Collection<Argument>, double) - Constructor for class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking

Creates a new argument ranking.

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.

numFormulas - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

The number of formulas encountered.

numFormulas - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess

The number of formulas encountered.

numMaxConsistentFormulas(Collection<Collection<S>>) - Method in class net.sf.tweety.logics.commons.analysis.MaInconsistencyMeasure

Computes the number of maximal consistent subsets by computing minimal hitting sets from minimal inconsistent sets.

numOfAttackers(Argument, Collection<Argument>) - Method in class net.sf.tweety.arg.dung.GrossiModgilRankingReasoner

Determines the number of attackers from x to y.

numOfPositiveTests - Variable in class net.sf.tweety.logics.ml.SimpleSamplingMlnReasoner

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.

A B C D E F G H I J K L M N O P Q R S T U V W X Z _