D-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

D

D3 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: D3
DAdmissibleReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.deductive: reasoner for admissibility in bipolar argumentation frameworks with deductive support interpretation a set of arguments is d-admissible iff it is admissible wrt.
DAdmissibleReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.deductive.DAdmissibleReasoner
DALAL - Enum constant in enum org.tweetyproject.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation: dalal
DalalDistance - Class in org.tweetyproject.logics.pl.analysis: This class models the dalal distance measure between possible worlds, see e.g.
DalalDistance() - Constructor for class org.tweetyproject.logics.pl.analysis.DalalDistance
DalalDistanceThreeValued - Class in org.tweetyproject.logics.translators.adfrevision: Implementation of Symmetric Distance Function "Delta" as proposed in [Heyninck 2020] Adapted from class "DalalDistance" for the use of Three Valued Logic
DalalDistanceThreeValued() - Constructor for class org.tweetyproject.logics.translators.adfrevision.DalalDistanceThreeValued
DALALHIT - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: DALALHIT
DALALMAX - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: DALALMAX
DALALSUM - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: DALALSUM
DC - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem: DC
DC_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_ADM
DC_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_CF
DC_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_CF2
DC_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_CO
DC_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_GR
DC_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_ID
DC_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_PR
DC_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_SST
DC_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_ST
DC_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DC_STG
DDPCounterexampleTest() - Method in class org.tweetyproject.arg.rankings.RankingReasonerTest
DE - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem: DE
DE_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_ADM
DE_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_CF
DE_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_CF2
DE_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_CO
DE_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_GR
DE_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_ID
DE_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_PR
DE_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_SST
DE_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_ST
DE_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DE_STG
DeadEndMeasure - Class in org.tweetyproject.logics.bpm.analysis
DeadEndMeasure() - Constructor for class org.tweetyproject.logics.bpm.analysis.DeadEndMeasure: DeadEndInconsistencyMeasure
DeadTransitionMeasure - Class in org.tweetyproject.logics.bpm.analysis
DeadTransitionMeasure() - Constructor for class org.tweetyproject.logics.bpm.analysis.DeadTransitionMeasure
DEBUG - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel: DEBUG
debugStream - Variable in class org.tweetyproject.arg.delp.parser.DelpParserTokenManager
debugStream - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
debugStream - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager: Debug output.
debugStream - Variable in class org.tweetyproject.lp.asp.parser.ASPParserTokenManager: Debug output.
debugStream - Variable in class org.tweetyproject.preferences.io.POParserTokenManager
debugStream - Variable in class org.tweetyproject.preferences.io.UPParserTokenManager: Debug output.
decided(Argument) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
decompose(int) - Method in class org.tweetyproject.arg.adf.reasoner.sat.decomposer.MostBipolarParentsDecomposer
decompose(int) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.decomposer.Decomposer
Decomposer - Interface in org.tweetyproject.arg.adf.reasoner.sat.decomposer
Deduction<T extends Formula> - Class in org.tweetyproject.arg.aba.syntax: An argument derived from an ABA theory.
Deduction(String) - Constructor for class org.tweetyproject.arg.aba.syntax.Deduction: Constructs a new deduction.
Deduction(String, AbaRule<T>) - Constructor for class org.tweetyproject.arg.aba.syntax.Deduction: Constructs a new deduction.
Deduction(String, AbaRule<T>, Collection<Deduction<T>>) - Constructor for class org.tweetyproject.arg.aba.syntax.Deduction: Constructs a new deduction.
DeductionTest1() - Method in class org.tweetyproject.arg.aba.AbaTest
DeductionTest2() - Method in class org.tweetyproject.arg.aba.AbaTest
DeductiveArgument - Class in org.tweetyproject.arg.deductive.semantics: Instances of this class represent arguments in the sense of Definition 3.1 in

Philippe Besnard and Anthony Hunter.
DeductiveArgument(Collection<? extends PlFormula>, PlFormula) - Constructor for class org.tweetyproject.arg.deductive.semantics.DeductiveArgument: Creates a new deductive argument with the given support and claim.
DeductiveArgumentation - Class in org.tweetyproject.arg.bipolar.examples: Examples for constructing deductive argumentation frameworks and computing their extensions.
DeductiveArgumentation() - Constructor for class org.tweetyproject.arg.bipolar.examples.DeductiveArgumentation
DeductiveArgumentationFramework - Class in org.tweetyproject.arg.bipolar.syntax: This class implements a bipolar abstract argumentation theory with support in a deductive sense.
DeductiveArgumentationFramework() - Constructor for class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework: Default constructor; initializes empty sets of arguments, attacks and supports
DeductiveArgumentationTest - Class in org.tweetyproject.arg.bipolar
DeductiveArgumentationTest() - Constructor for class org.tweetyproject.arg.bipolar.DeductiveArgumentationTest
DeductiveArgumentNode - Class in org.tweetyproject.arg.deductive.semantics: Extends a deductive argument by a unique identifier.
DeductiveArgumentNode(Collection<? extends PlFormula>, PlFormula) - Constructor for class org.tweetyproject.arg.deductive.semantics.DeductiveArgumentNode: Creates a new deductive argument node with the given support and claim (a unique ID is generated)
DeductiveArgumentNode(DeductiveArgument) - Constructor for class org.tweetyproject.arg.deductive.semantics.DeductiveArgumentNode: Creates a new deductive argument node from the given deductive argument (a unique ID is generated)
DeductiveEnvironment - Class in org.tweetyproject.agents.dialogues.oppmodels: This class models the environment for agents in a game of deductive argumentation.
DeductiveEnvironment(PlBeliefSet) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.DeductiveEnvironment: Creates a new grounded environment.
DeductiveExample - Class in org.tweetyproject.arg.deductive.examples: Shows how to construct and query a deductive knowledge base.
DeductiveExample() - Constructor for class org.tweetyproject.arg.deductive.examples.DeductiveExample
DeductiveKnowledgeBase - Class in org.tweetyproject.arg.deductive.syntax: Instances of this class represent deductive knowledge bases, i.e.
DeductiveKnowledgeBase() - Constructor for class org.tweetyproject.arg.deductive.syntax.DeductiveKnowledgeBase: Creates a new (empty) knowledge base.
DeductiveKnowledgeBase(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.arg.deductive.syntax.DeductiveKnowledgeBase: Creates a new knowledge base with the given set of formulas.
DeductiveTest - Class in org.tweetyproject.arg.deductive
DeductiveTest() - Constructor for class org.tweetyproject.arg.deductive.DeductiveTest
DEFAULT - Static variable in interface org.tweetyproject.arg.delp.parser.DelpParserConstants
DEFAULT - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
DEFAULT - Static variable in interface org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants: Lexical state.
DEFAULT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: Lexical state.
DEFAULT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: Lexical state.
DEFAULT - Static variable in interface org.tweetyproject.preferences.io.POParserConstants: Lexical state.
DEFAULT - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants: Lexical state.
DEFAULT_MAXIMAL_FORMULA_LENGTH - Static variable in class org.tweetyproject.commons.FormulaSampler: This constant specifies the default length for sampled formulas.
DEFAULT_MAXIMUM_BELIEFBASE_LENGTH - Static variable in class org.tweetyproject.commons.BeliefSetSampler: This constant specifies the default maximum length for sampled belief bases.
DEFAULT_MINIMUM_BELIEFBASE_LENGTH - Static variable in class org.tweetyproject.commons.BeliefSetSampler: This constant specifies the default minimum length for sampled belief bases.
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.arg.adf.semantics.test.LinkTypeTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.arg.rankings.RankingReasonerTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.arg.rankings.RankingsTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.dl.test.DlParserTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.dl.test.DlReasonerTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.fol.test.FolParserTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.ml.MleanCoPTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.ml.MlParserTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.ml.MlReasonerTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.ml.SPASSTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.pl.test.PlParserTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.qbf.test.QbfTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.qbf.test.QCIRTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.logics.qbf.test.QDIMACSTest
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.lp.asp.parser.AspifParserTest: default timeout
DEFAULT_TIMEOUT - Static variable in class org.tweetyproject.lp.asp.parser.ASPParserTest: default timeout
DefaultBaseExpansionOperator<T extends Formula> - Class in org.tweetyproject.beliefdynamics: This class implements the default base expansion operator, ie.
DefaultBaseExpansionOperator() - Constructor for class org.tweetyproject.beliefdynamics.DefaultBaseExpansionOperator
DefaultBehavior() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision.DefaultBehavior
DefaultCompatibilityMeasure - Class in org.tweetyproject.logics.mln.analysis: This class represents the default compatibility measure that uses a coherence measure.
DefaultCompatibilityMeasure(AbstractCoherenceMeasure) - Constructor for class org.tweetyproject.logics.mln.analysis.DefaultCompatibilityMeasure: Creates a new compatibility measure.
DefaultCondensedProbabilityDistributionWriter - Class in org.tweetyproject.logics.rpcl.writers: This class implements a simple writer for writing condensed probability distributions.
DefaultCondensedProbabilityDistributionWriter() - Constructor for class org.tweetyproject.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter: Creates a new writer.
DefaultCondensedProbabilityDistributionWriter(CondensedProbabilityDistribution) - Constructor for class org.tweetyproject.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter: Creates a new writer for the given condensed probability distribution.
defaultConfiguration() - Method in class org.tweetyproject.arg.adf.reasoner.sat.query.SatQueryBuilder
DefaultDungTheoryGenerator - Class in org.tweetyproject.arg.dung.util: Implements a customizable Dung theory generator.
DefaultDungTheoryGenerator(DungTheoryGenerationParameters) - Constructor for class org.tweetyproject.arg.dung.util.DefaultDungTheoryGenerator: Creates a new generator with the given parameters.
DefaultFormulaStream<S extends Formula> - Class in org.tweetyproject.commons.streams: This class models a default stream on the formulas of a given collection.
DefaultFormulaStream(Collection<S>) - Constructor for class org.tweetyproject.commons.streams.DefaultFormulaStream: Creates a new default stream with the given formulas that ends after all formulas have been streamed.
DefaultFormulaStream(Collection<S>, boolean) - Constructor for class org.tweetyproject.commons.streams.DefaultFormulaStream: Creates a new default stream with the given formulas.
DefaultGraph<T extends Node> - Class in org.tweetyproject.graphs: Instance of this class represent graphs with nodes of type T
DefaultGraph() - Constructor for class org.tweetyproject.graphs.DefaultGraph: Creates an empty graph.
DefaultificationTest - Class in org.tweetyproject.lp.asp.syntax: Defaultification test
DefaultificationTest(String) - Constructor for class org.tweetyproject.lp.asp.syntax.DefaultificationTest: Create the test case
DefaultInconsistencyListener - Class in org.tweetyproject.logics.commons.analysis.streams: A simple implementation of an inconsistency listener that simply prints out each event to standard output.
DefaultInconsistencyListener() - Constructor for class org.tweetyproject.logics.commons.analysis.streams.DefaultInconsistencyListener
DefaultMeReasoner - Class in org.tweetyproject.logics.pcl.reasoner: This class implements a maximum entropy reasoner for probabilistic conditional logic.
DefaultMeReasoner(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.reasoner.DefaultMeReasoner
DefaultMultipleBaseExpansionOperator<T extends Formula> - Class in org.tweetyproject.beliefdynamics: This class implements the default multiple base expansion operator, ie.
DefaultMultipleBaseExpansionOperator() - Constructor for class org.tweetyproject.beliefdynamics.DefaultMultipleBaseExpansionOperator
DefaultNegation - Class in org.tweetyproject.lp.asp.syntax: This class represents a default negated literal, i.e.
DefaultNegation - Class in org.tweetyproject.math.func.fuzzy: Implements the default fuzzy negation x -> x-1
DefaultNegation() - Constructor for class org.tweetyproject.math.func.fuzzy.DefaultNegation
DefaultNegation(ASPBodyElement) - Constructor for class org.tweetyproject.lp.asp.syntax.DefaultNegation: Creates new default negation with the given literal.
DefaultObservation - Class in org.tweetyproject.machinelearning: A default observation is a vector of double values.
DefaultObservation() - Constructor for class org.tweetyproject.machinelearning.DefaultObservation
DefaultProbabilityDistributionWriter - Class in org.tweetyproject.logics.rpcl.writers: This class implements a simple writer for writing probability distributions.
DefaultProbabilityDistributionWriter() - Constructor for class org.tweetyproject.logics.rpcl.writers.DefaultProbabilityDistributionWriter: Creates a new writer.
DefaultProbabilityDistributionWriter(RpclProbabilityDistribution<?>) - Constructor for class org.tweetyproject.logics.rpcl.writers.DefaultProbabilityDistributionWriter: Creates a new writer for the given probability distribution.
DefaultProcessTree - Class in org.tweetyproject.logics.rdl.semantics: Computes the extensions of a default theory
DefaultProcessTree(DefaultTheory) - Constructor for class org.tweetyproject.logics.rdl.semantics.DefaultProcessTree: constructs a default process tree out of the default theory t
defaultReasoner - Static variable in class org.tweetyproject.logics.fol.reasoner.FolReasoner: Empty default reasoner
defaultReasoner - Static variable in class org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner: Empty default prover
DefaultRule - Class in org.tweetyproject.logics.rdl.syntax: Models a default rule in Reiter's default logic, see [R.
DefaultRule() - Constructor for class org.tweetyproject.logics.rdl.syntax.DefaultRule: an empty Default Rule
DefaultRule(FolFormula, Collection<FolFormula>, FolFormula) - Constructor for class org.tweetyproject.logics.rdl.syntax.DefaultRule: Creates a new DefaultRule
DefaultRule(FolFormula, FolFormula, FolFormula) - Constructor for class org.tweetyproject.logics.rdl.syntax.DefaultRule: Creates a new DefaultRule
DefaultSequence - Class in org.tweetyproject.logics.rdl.semantics: sequence of defaults
DefaultSequence(DefaultSequence, DefaultRule) - Constructor for class org.tweetyproject.logics.rdl.semantics.DefaultSequence: constructs a sequence by appending d to ds
DefaultSequence(DefaultTheory) - Constructor for class org.tweetyproject.logics.rdl.semantics.DefaultSequence: constructs an empty sequence of defaults of the default theory dt
DefaultStreamBasedInconsistencyMeasure<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis.streams: Implements a stream-based inconsistency measure on a given class of inconsistency measurement processes.
DefaultStreamBasedInconsistencyMeasure(Class<? extends InconsistencyMeasurementProcess<S>>) - Constructor for class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure: Creates a new inconsistency measure based on the given process class.
DefaultStreamBasedInconsistencyMeasure(Class<? extends InconsistencyMeasurementProcess<S>>, Map<String, Object>) - Constructor for class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure: Creates a new inconsistency measure based on the given process class and the given configuration options for that process.
DefaultSubsetIterator<T> - Class in org.tweetyproject.commons.util: Iterates over all subsets of a given sets.
DefaultSubsetIterator(Set<T>) - Constructor for class org.tweetyproject.commons.util.DefaultSubsetIterator: Creates a new subset iterator for the given set.
DefaultTheory - Class in org.tweetyproject.logics.rdl.syntax: Models a default theory in Reiter's default logic, see [R.
DefaultTheory() - Constructor for class org.tweetyproject.logics.rdl.syntax.DefaultTheory: constructs empty default theory
DefaultTheory(FolBeliefSet, Collection<DefaultRule>) - Constructor for class org.tweetyproject.logics.rdl.syntax.DefaultTheory: constructs a default theory from a knowledge base and a set of defaults
DefeasibleInferenceRule<T extends Invertable> - Class in org.tweetyproject.arg.aspic.syntax: Defeasible implementation of InferenceRule<T>
DefeasibleInferenceRule() - Constructor for class org.tweetyproject.arg.aspic.syntax.DefeasibleInferenceRule: Constructs an empty instance
DefeasibleInferenceRule(T, Collection<T>) - Constructor for class org.tweetyproject.arg.aspic.syntax.DefeasibleInferenceRule: Constructs a defeasible inference rule p => c
DefeasibleLogicProgram - Class in org.tweetyproject.arg.delp.syntax: This class models a defeasible logic program (DeLP).
DefeasibleLogicProgram() - Constructor for class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram: Default constructor; initializes empty delpFacts, strict and defeasible rules and empty comparison criterion.
DefeasibleLogicProgram(DefeasibleLogicProgram) - Constructor for class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram: constructor; initializes this program with the given program
defeasibleNotClonable() - Method in class org.tweetyproject.arg.delp.TestRules
DefeasibleRule - Class in org.tweetyproject.arg.delp.syntax: This class models a defeasible rule in defeasible logic programming.
DefeasibleRule(FolFormula, Set<FolFormula>) - Constructor for class org.tweetyproject.arg.delp.syntax.DefeasibleRule: Initializes the defeasible rule with the given parameters
defeasibleRules() - Method in class org.tweetyproject.arg.delp.TestRules
Defeat - Class in org.tweetyproject.arg.deductive.semantics.attacks: This attack notion models the defeat relation; A is defeated by B iff claim(B) |- \neg support(A).
Defeat - Class in org.tweetyproject.arg.lp.semantics.attack: This notion of attack models the defeat relation.
DEFEATED - Enum constant in enum org.tweetyproject.arg.delp.semantics.DialecticalTree.Mark
defeatersWhenNull1() - Method in class org.tweetyproject.arg.delp.TestDTree
defeatersWhenNull2() - Method in class org.tweetyproject.arg.delp.TestDTree
DefeatingRebuttal - Class in org.tweetyproject.arg.deductive.semantics.attacks: This attack notion models the defeating rebuttal relation; A is defeated by B iff claim(B) |- \neg claim(A).
defeats(Extension) - Method in class org.tweetyproject.arg.dung.syntax.ClaimBasedTheory
defends(Collection<Assumption<T>>, Assumption<T>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory: Checks whether a set of arguments defends an argument.
DEFENSEPRECEDENCE - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate: The DEFENSEPRECEDENCE postulate
definiteArguments - Variable in class org.tweetyproject.arg.dung.syntax.IncompleteTheory: definite arguments
definiteAttacks - Variable in class org.tweetyproject.arg.dung.syntax.IncompleteTheory: definite attacks
DegreeComparator - Class in org.tweetyproject.arg.adf.reasoner.heuristics: Deprecated, for removal: This API element is subject to removal in a future version.
not used anymore
DegreeComparator(AbstractDialecticalFramework, DegreeComparator.DegreeType) - Constructor for class org.tweetyproject.arg.adf.reasoner.heuristics.DegreeComparator: Deprecated.
DegreeComparator.DegreeType - Enum in org.tweetyproject.arg.adf.reasoner.heuristics: Deprecated.
DelpAnswer - Class in org.tweetyproject.arg.delp.semantics: Wrapping a generic answer from a reasoner in order to allow UNDECIDED in addition to the traditional YES and NO.
DelpAnswer() - Constructor for class org.tweetyproject.arg.delp.semantics.DelpAnswer
DelpAnswer.Type - Enum in org.tweetyproject.arg.delp.semantics
DelpArgument - Class in org.tweetyproject.arg.delp.syntax: This class models a DeLP argument which comprises of a set of defeasible rules (the support) and a literal (the conclusion).
DelpArgument(Set<DefeasibleRule>, FolFormula) - Constructor for class org.tweetyproject.arg.delp.syntax.DelpArgument: constructor; initializes this argument with the given parameters
DelpArgument(FolFormula) - Constructor for class org.tweetyproject.arg.delp.syntax.DelpArgument: constructor; initializes the conclusion of this argument with the given literal
DeLPExample - Class in org.tweetyproject.arg.delp.examples: Shows how to parse and query a DeLP program.
DeLPExample() - Constructor for class org.tweetyproject.arg.delp.examples.DeLPExample
DelpFact - Class in org.tweetyproject.arg.delp.syntax: This class implements a fact in defeasible logic programming which encapsulates a literal.
DelpFact(FolFormula) - Constructor for class org.tweetyproject.arg.delp.syntax.DelpFact: Default constructor; initializes this fact with the given literal
DelpParser - Class in org.tweetyproject.arg.delp.parser: This class implements a parser for defeasible logic programs.
DelpParser() - Constructor for class org.tweetyproject.arg.delp.parser.DelpParser
DelpParser(InputStream) - Constructor for class org.tweetyproject.arg.delp.parser.DelpParser
DelpParser(InputStream, String) - Constructor for class org.tweetyproject.arg.delp.parser.DelpParser
DelpParser(Reader) - Constructor for class org.tweetyproject.arg.delp.parser.DelpParser
DelpParser(DelpParserTokenManager) - Constructor for class org.tweetyproject.arg.delp.parser.DelpParser
DelpParserConstants - Interface in org.tweetyproject.arg.delp.parser
DelpParserTokenManager - Class in org.tweetyproject.arg.delp.parser
DelpParserTokenManager(SimpleCharStream) - Constructor for class org.tweetyproject.arg.delp.parser.DelpParserTokenManager
DelpParserTokenManager(SimpleCharStream, int) - Constructor for class org.tweetyproject.arg.delp.parser.DelpParserTokenManager
DelpReasoner - Class in org.tweetyproject.arg.delp.reasoner: This reasoner performs default dialectical reasoning on some given DeLP.
DelpReasoner(ComparisonCriterion) - Constructor for class org.tweetyproject.arg.delp.reasoner.DelpReasoner: Creates a new DelpReasoner for the given delp.
DelpRule - Class in org.tweetyproject.arg.delp.syntax: This method is the superclass for both a strict rule and a defeasible rule in defeasible logic programming and captures their common attributes and methods.
DelpService - Class in org.tweetyproject.web.services: Web service for defeasible logic programming.
DelpService() - Constructor for class org.tweetyproject.web.services.DelpService
DEPENDENT - Enum constant in enum org.tweetyproject.arg.adf.semantics.link.LinkType: Dependent
Derivation<T extends Rule<?,?>> - Class in org.tweetyproject.commons.util.rules: This class models a derivation, i.e.
Derivation(List<T>) - Constructor for class org.tweetyproject.commons.util.rules.Derivation: Creates a new derivation with the given sequence of rules.
derive(Variable) - Method in class org.tweetyproject.math.term.AbsoluteValue
derive(Variable) - Method in class org.tweetyproject.math.term.Constant
derive(Variable) - Method in class org.tweetyproject.math.term.Difference
derive(Variable) - Method in class org.tweetyproject.math.term.Exp
derive(Variable) - Method in class org.tweetyproject.math.term.Fraction
derive(Variable) - Method in class org.tweetyproject.math.term.Logarithm
derive(Variable) - Method in class org.tweetyproject.math.term.Maximum
derive(Variable) - Method in class org.tweetyproject.math.term.Minimum
derive(Variable) - Method in class org.tweetyproject.math.term.Power
derive(Variable) - Method in class org.tweetyproject.math.term.Product
derive(Variable) - Method in class org.tweetyproject.math.term.Root
derive(Variable) - Method in class org.tweetyproject.math.term.Sum
derive(Variable) - Method in class org.tweetyproject.math.term.Term: Differentiates the term with respect to the given variable.
derive(Variable) - Method in class org.tweetyproject.math.term.Variable
DESCENDING - Enum constant in enum org.tweetyproject.comparator.NumericalPartialOrder.SortingType: the largest ranking value is ranked first
DescendingNumericalRankingTest() - Method in class org.tweetyproject.arg.rankings.RankingsTest
describe() - Static method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Exceptions: Outputs the occurrence of PEEAF exceptions.
description() - Method in enum org.tweetyproject.arg.dung.parser.FileFormat: Returns the description of the file format.
description() - Method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem: Returns the description of the sub-problem.
description() - Method in enum org.tweetyproject.arg.dung.semantics.ExtensionRankingSemantics: Returns the description of the ordering semantics.
description() - Method in enum org.tweetyproject.arg.dung.semantics.Semantics: Returns the description of the semantics.
determineAttackRelations(Collection<AspicArgument<T>>, Comparator<AspicArgument<T>>, RuleFormulaGenerator<T>) - Static method in class org.tweetyproject.arg.aspic.semantics.AspicAttack: Checks for defeats in a list of arguments
DF - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: DF
DfInconsistencyMeasure<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis: This class implements the family of "Measures of the Degree of Inconsistency" from [Mu,Liu,Jin, Bell.
DfInconsistencyMeasure(SimpleFunction<double[], Double>, MusEnumerator<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.DfInconsistencyMeasure: Creates a new inconsistency measure.
DfInconsistencyMeasureExample - Class in org.tweetyproject.logics.pl.examples: Example code illustrating the Df inconsistency measure.
DfInconsistencyMeasureExample() - Constructor for class org.tweetyproject.logics.pl.examples.DfInconsistencyMeasureExample
DHitInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Class in org.tweetyproject.logics.commons.analysis: This class implements the d-hit inconsistency measure from [Grant, Hunter.
DHitInconsistencyMeasure(InterpretationDistance<T, B, S>, InterpretationIterator<S, B, T>) - Constructor for class org.tweetyproject.logics.commons.analysis.DHitInconsistencyMeasure: Creates a new d-sum inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
DHitSatInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis: This class presents a sat-encoding-based implementation of the hit-distance measure of [Grant and Hunter, “Analysing inconsistent information using distance-based measures” Int.
DHitSatInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.DHitSatInconsistencyMeasure: Create a new DHitSatInconsistencyMeasure with the default SAT solver.
DHitSatInconsistencyMeasure(SatSolver) - Constructor for class org.tweetyproject.logics.pl.analysis.DHitSatInconsistencyMeasure: Create a new DHitSatInconsistencyMeasure with the given SAT solver.
DialecticalTree - Class in org.tweetyproject.arg.delp.semantics: This class implements a node of a dialectical tree from DeLP.
DialecticalTree(DelpArgument) - Constructor for class org.tweetyproject.arg.delp.semantics.DialecticalTree: constructor; initializes this dialectical tree node as a root with given argument
DialecticalTree.Mark - Enum in org.tweetyproject.arg.delp.semantics
DialogueTrace<S,T extends Collection<S>> - Class in org.tweetyproject.agents.dialogues: Objects of this class represent traces of dialogue in an argumentation game, ie.
DialogueTrace() - Constructor for class org.tweetyproject.agents.dialogues.DialogueTrace
Difference - Class in org.tweetyproject.math.term: This class models a difference between two terms.
Difference(Term, Term) - Constructor for class org.tweetyproject.math.term.Difference: Creates a new difference with the given terms.
DimacsMaxSatSolver - Class in org.tweetyproject.logics.pl.sat: Generic class for Dimacs-based MaxSAT solvers.
DimacsMaxSatSolver() - Constructor for class org.tweetyproject.logics.pl.sat.DimacsMaxSatSolver
DimacsParser - Class in org.tweetyproject.logics.pl.parser: Parser a file in Dimacs format into a PlBeliefSet.
DimacsParser() - Constructor for class org.tweetyproject.logics.pl.parser.DimacsParser
DimacsSatSolver - Class in org.tweetyproject.logics.pl.sat: Interface for SAT solvers which work on the Dimacs format.
DimacsSatSolver() - Constructor for class org.tweetyproject.logics.pl.sat.DimacsSatSolver
DirectDefeat - Class in org.tweetyproject.arg.deductive.semantics.attacks: This attack notion models the direct defeat relation; A is defeated by B iff there is c in support(A) with claim(B) |- \neg c.
DirectedEdge<T extends Node> - Class in org.tweetyproject.graphs: Instances of this class represent directed edges.
DirectedEdge(T, T) - Constructor for class org.tweetyproject.graphs.DirectedEdge: Creates a new directed edge for the given nodes.
DirectedEdge(T, T, String) - Constructor for class org.tweetyproject.graphs.DirectedEdge: Creates a new directed edge for the given nodes.
DirectGameProtocol - Class in org.tweetyproject.agents.dialogues.lotteries.sim: This class implements a direct protocol for argumentation games.
DirectGameProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocol
DirectGameProtocolGenerator - Class in org.tweetyproject.agents.dialogues.lotteries.sim: Creates direct game protocols.
DirectGameProtocolGenerator() - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocolGenerator
DirectionalAspicReasoner<T extends Invertable> - Class in org.tweetyproject.arg.aspic.reasoner: Computes a restricted AF by only considering relevant arguments to a query.
DirectionalAspicReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.aspic.reasoner.DirectionalAspicReasoner: Creates a new instance
DirectionalAspicReasoner(AbstractExtensionReasoner, double) - Constructor for class org.tweetyproject.arg.aspic.reasoner.DirectionalAspicReasoner: Creates a new instance
DIRECTIONALITY - Static variable in class org.tweetyproject.arg.dung.principles.Principle: The directionality principle
DirectionalityPrinciple - Class in org.tweetyproject.arg.dung.principles: Directionality Principle A semantics satisfies directionality if for every unattacked set U in a dung theory F it holds that: The extensions of F restricted to U are equal to the extensions of F intersected with U see: Baroni, P., and Giacomin, M.
DirectionalityPrinciple() - Constructor for class org.tweetyproject.arg.dung.principles.DirectionalityPrinciple
directionalReasonerTest() - Method in class org.tweetyproject.arg.aspic.AspicTest
DirectionalReasonerTest - Class in org.tweetyproject.arg.aspic.examples: Test runtime of module-based vs.
DirectionalReasonerTest() - Constructor for class org.tweetyproject.arg.aspic.examples.DirectionalReasonerTest
DirectUndercut - Class in org.tweetyproject.arg.deductive.semantics.attacks: This attack notion models the direct undercut relation; A is defeated by B iff there is c in support(A) with claim(B) == \neg c.
DirHyperGraph<T extends Node> - Interface in org.tweetyproject.graphs: Interface for directed hypergraph
DISABLE_PREAMBLE_ZERO - Variable in class org.tweetyproject.logics.qbf.writer.QdimacsWriter: Removes zero at the end of the problem line (workaround for some solvers).
disable_tracing() - Method in class org.tweetyproject.arg.delp.parser.DelpParser
disable_tracing() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
disable_tracing() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
disable_tracing() - Method in class org.tweetyproject.lp.asp.parser.ASPParser: Disable tracing.
disable_tracing() - Method in class org.tweetyproject.preferences.io.POParser
disable_tracing() - Method in class org.tweetyproject.preferences.io.UPParser: Disable tracing.
disagree(Set<FolFormula>) - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram: Checks whether the given set of literals disagree with respect to the strict part of this program.
DiscussionBasedRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner: This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.
DiscussionBasedRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.DiscussionBasedRankingReasoner
DiscussionBurdenExample() - Method in class org.tweetyproject.arg.rankings.RankingReasonerTest
DiscussionExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
Disjunctable - Interface in org.tweetyproject.logics.commons.syntax.interfaces: Formulas implementing this interface can be connected using OR.
Disjunction - Class in org.tweetyproject.logics.fol.syntax: The classical disjunction of first-order logic.
Disjunction - Class in org.tweetyproject.logics.pl.syntax: This class represents a disjunction in propositional logic.
Disjunction() - Constructor for class org.tweetyproject.logics.fol.syntax.Disjunction: Creates a new (empty) disjunction.
Disjunction() - Constructor for class org.tweetyproject.logics.pl.syntax.Disjunction: Creates a new (empty) disjunction.
Disjunction(Collection<? extends RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.Disjunction: Creates a new disjunction with the given inner formulas.
Disjunction(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.Disjunction: Creates a new disjunction with the given inner formulas.
Disjunction(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.Disjunction: Creates a new disjunction with the two given formulae
Disjunction(PlFormula...) - Constructor for class org.tweetyproject.logics.pl.syntax.Disjunction: constructor
Disjunction(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.Disjunction: Creates a new disjunction with the two given formulae
Disjunction() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
DISJUNCTION() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
DisjunctionAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc
DisjunctionAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.DisjunctionAcceptanceCondition
DisjunctionTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
DisjunctionToHead() - Method in class org.tweetyproject.logics.translators.aspfol.ASPFOLTranslatorTest
display() - Method in class org.tweetyproject.agents.dialogues.oppmodels.BeliefState: Pretty print of this belief state.
display() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState
display() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState
display() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState
display() - Method in class org.tweetyproject.agents.sim.SimulationResult: Gives a pretty print of the results.
displayHelp() - Method in class org.tweetyproject.arg.delp.TestDeLP
distance(Collection<PriestWorldAdapted>, PriestWorldAdapted) - Method in class org.tweetyproject.logics.translators.adfrevision.DalalDistanceThreeValued
distance(Vector<Double>, Vector<Double>) - Method in class org.tweetyproject.math.norm.AggregatingNorm
distance(Vector<Double>, Vector<Double>) - Method in class org.tweetyproject.math.norm.EntropyNorm
distance(Vector<Double>, Vector<Double>) - Method in class org.tweetyproject.math.norm.ManhattanNorm
distance(Vector<Double>, Vector<Double>) - Method in class org.tweetyproject.math.norm.MaximumNorm
distance(Vector<Double>, Vector<Double>) - Method in class org.tweetyproject.math.norm.PNorm
distance(Vector<Double>, Vector<Double>) - Method in class org.tweetyproject.math.norm.ProbabilisticAggregatingNorm
distance(Vector<Double>, Vector<Double>) - Method in class org.tweetyproject.math.norm.ProbabilisticPNorm
distance(PossibleWorld, PossibleWorld) - Method in class org.tweetyproject.logics.pl.analysis.DalalDistance
distance(PossibleWorld, PossibleWorld) - Method in class org.tweetyproject.logics.pl.analysis.PossibleWorldDistance
distance(PlFormula, PossibleWorld) - Method in class org.tweetyproject.logics.pl.analysis.PossibleWorldDistance
distance(PriestWorldAdapted, PriestWorldAdapted) - Method in class org.tweetyproject.logics.translators.adfrevision.DalalDistanceThreeValued: Based on new version of PriestWorld_adapted
distance(ProbabilityFunction<T>, ProbabilityFunction<T>) - Method in class org.tweetyproject.math.norm.EntropyNorm: distance between problems
distance(S, T) - Method in class org.tweetyproject.commons.analysis.DrasticDistance
distance(S, T) - Method in interface org.tweetyproject.commons.analysis.InterpretationDistance: Measures the distance between a formula and some interpretation by taking the minimal distance from all models of the formula to the given interpretation.
distance(T, T) - Method in class org.tweetyproject.commons.analysis.DrasticDistance
distance(T, T) - Method in interface org.tweetyproject.commons.analysis.InterpretationDistance: Measures the distance between the two given interpretations.
distance(T, T) - Method in interface org.tweetyproject.math.norm.Norm: The distance between the two object, i.e.
DistanceMinimizationInconsistencyMeasure - Class in org.tweetyproject.logics.pcl.analysis: This class models the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], extended by the use of different p-norms.
DistanceMinimizationInconsistencyMeasure(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure: Creates a new measure for p=1.
DistanceMinimizationInconsistencyMeasure(OptimizationRootFinder, int) - Constructor for class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure: Creates a new measure for the given p.
DistanceMinimizationMachineShop - Class in org.tweetyproject.logics.pcl.analysis: This consistency restorer uses the distance minimization inconsistency measure to restore consistency.
DistanceMinimizationMachineShop() - Constructor for class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationMachineShop: Creates a new restorer for p=1.
DistanceMinimizationMachineShop(int) - Constructor for class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationMachineShop: Creates a new restorer for the given p.
DistanceMinimizationMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.DistanceMinimizationMachineShop
distanceTerm(Vector<Term>, Vector<Term>) - Method in class org.tweetyproject.math.norm.AbstractRealVectorNorm
distanceTerm(Vector<Term>, Vector<Term>) - Method in class org.tweetyproject.math.norm.AggregatingNorm
distanceTerm(Vector<Term>, Vector<Term>) - Method in class org.tweetyproject.math.norm.EntropyNorm
distanceTerm(Vector<Term>, Vector<Term>) - Method in class org.tweetyproject.math.norm.ManhattanNorm
distanceTerm(Vector<Term>, Vector<Term>) - Method in class org.tweetyproject.math.norm.MaximumNorm
distanceTerm(Vector<Term>, Vector<Term>) - Method in class org.tweetyproject.math.norm.PNorm
distanceTerm(Vector<Term>, Vector<Term>) - Method in class org.tweetyproject.math.norm.ProbabilisticAggregatingNorm
distanceTerm(Vector<Term>, Vector<Term>) - Method in class org.tweetyproject.math.norm.ProbabilisticPNorm
distanceTerm(Vector<Term>, Vector<Term>) - Method in interface org.tweetyproject.math.norm.RealVectorNorm: The distance between the two objects as a term.
distanceTerm(Term[], Term[]) - Method in class org.tweetyproject.math.norm.AbstractRealVectorNorm
distanceTerm(Term[], Term[]) - Method in class org.tweetyproject.math.norm.AggregatingNorm
distanceTerm(Term[], Term[]) - Method in class org.tweetyproject.math.norm.EntropyNorm
distanceTerm(Term[], Term[]) - Method in class org.tweetyproject.math.norm.ProbabilisticAggregatingNorm
distanceTerm(Term[], Term[]) - Method in class org.tweetyproject.math.norm.ProbabilisticPNorm
distanceTerm(Term[], Term[]) - Method in interface org.tweetyproject.math.norm.RealVectorNorm: The distance between the two objects as a term.
distanceToZero() - Method in class org.tweetyproject.math.matrix.Matrix: Returns the distance of this matrix to the zero matrix.
DISTDEFENSEPRECEDENCE - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate: The DISTDEFENSEPRECEDENCE postulate
Distribution(RpclSemantics, FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
Distribution(RpclSemantics, FolSignature) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
DIV - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator
DIV - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
DIV - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
diverse - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: diverse
divide(Double) - Method in class org.tweetyproject.math.probability.Probability: Divides this probability by given value returns the result.
divide(Probability) - Method in class org.tweetyproject.math.probability.Probability: Divides this probability by other and returns the result.
Division - Class in org.tweetyproject.arg.dung.divisions: A pair <P,V> is a division of AAF G w.r.t.
Division(Extension<DungTheory>, Extension<DungTheory>) - Constructor for class org.tweetyproject.arg.dung.divisions.Division: Creates a new division for the given parameters.
DivisionExample - Class in org.tweetyproject.arg.dung.examples: Example code for working with divisions.
DivisionExample() - Constructor for class org.tweetyproject.arg.dung.examples.DivisionExample
DL - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem: DL
DL_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_ADM
DL_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_CF
DL_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_CF2
DL_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_CO
DL_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_GR
DL_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_ID
DL_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_PR
DL_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_SST
DL_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_ST
DL_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DL_STG
DlAxiom - Class in org.tweetyproject.logics.dl.syntax: The common abstract class for axioms of the description logic ALC.
DlAxiom() - Constructor for class org.tweetyproject.logics.dl.syntax.DlAxiom
DlBeliefSet - Class in org.tweetyproject.logics.dl.syntax: This class models a knowledge base for description logics.
DlBeliefSet() - Constructor for class org.tweetyproject.logics.dl.syntax.DlBeliefSet: Creates a new empty description logics knowledge base.
DlBeliefSet(Set<DlAxiom>) - Constructor for class org.tweetyproject.logics.dl.syntax.DlBeliefSet: Creates a new description logics knowledge base with the given set of axioms.
DlExample - Class in org.tweetyproject.logics.dl.examples: Examples for using the description logic syntax classes and parser.
DlExample() - Constructor for class org.tweetyproject.logics.dl.examples.DlExample
DlInterpretation - Class in org.tweetyproject.logics.dl.semantics: This class models an interpretation for description logics.
DlInterpretation(Collection<AssertionalAxiom>) - Constructor for class org.tweetyproject.logics.dl.semantics.DlInterpretation: Create a new DL interpretation with the given set of concept and role assertions that represent the mapping of concept names and role names to the domain.
DlParser - Class in org.tweetyproject.logics.dl.parser: This class implements a parser for the description logic ALC (attributive concept language with complements).
DlParser() - Constructor for class org.tweetyproject.logics.dl.parser.DlParser
DlParserTest - Class in org.tweetyproject.logics.dl.test: JUnit test class for the description logics parser.
DlParserTest() - Constructor for class org.tweetyproject.logics.dl.test.DlParserTest
DlReasonerTest - Class in org.tweetyproject.logics.dl.test: JUnit Test class for NaiveDLReasoner.
DlReasonerTest() - Constructor for class org.tweetyproject.logics.dl.test.DlReasonerTest
DlSignature - Class in org.tweetyproject.logics.dl.syntax: This class models a description logic signature.
DlSignature() - Constructor for class org.tweetyproject.logics.dl.syntax.DlSignature: Creates an empty signature.
DlSignature(Collection<?>) - Constructor for class org.tweetyproject.logics.dl.syntax.DlSignature: Creates a signature with the given objects (individuals, concepts, roles or formulas).
DlSignature(Set<AtomicConcept>, Set<AtomicRole>, Set<Individual>) - Constructor for class org.tweetyproject.logics.dl.syntax.DlSignature: Creates a signature with the given concept names, role names and individuals.
DLV_ARITHMETIC_ID - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
DLV_ID - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
DlvArithmeticPredicate() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
DlvIdentifier() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
DLVPredicate(String, int) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPOperator.DLVPredicate
DLVSolver - Class in org.tweetyproject.lp.asp.reasoner: Wrapper class for the DLV answer set solver command line utility.
DLVSolver(String) - Constructor for class org.tweetyproject.lp.asp.reasoner.DLVSolver: Constructs a new instance pointing to a specific DLV solver.
DLVSolver(String, int, int) - Constructor for class org.tweetyproject.lp.asp.reasoner.DLVSolver: Constructs a new instance pointing to a specific DLV solver.
DLVSolver(String, Shell) - Constructor for class org.tweetyproject.lp.asp.reasoner.DLVSolver: Constructs a new instance pointing to a specific DLV solver.
DLVTest - Class in org.tweetyproject.lp.asp.analysis: Test class for DLV.
DLVTest() - Constructor for class org.tweetyproject.lp.asp.analysis.DLVTest
DLVTest() - Method in class org.tweetyproject.lp.asp.parser.ASPParserTest: dlv test
DLVWriter - Class in org.tweetyproject.lp.asp.writer: Prints ASP programs and single rules to the DLV input format (http://www.dlvsystem.com/html/DLV_User_Manual.html).
DLVWriter() - Constructor for class org.tweetyproject.lp.asp.writer.DLVWriter: Create a new DLVWriter.
DLVWriter(Writer) - Constructor for class org.tweetyproject.lp.asp.writer.DLVWriter: Create a new DLVWriter with the given writer.
DMaxInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Class in org.tweetyproject.logics.commons.analysis: This class implements the d-max inconsistency measure from [Grant, Hunter.
DMaxInconsistencyMeasure(InterpretationDistance<T, B, S>, InterpretationIterator<S, B, T>) - Constructor for class org.tweetyproject.logics.commons.analysis.DMaxInconsistencyMeasure: Creates a new d-max inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
DMaxSatInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis: This class presents a sat-encoding-based implementation of the max-distance measure of [Grant and Hunter, “Analysing inconsistent information using distance-based measures” Int.
DMaxSatInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.DMaxSatInconsistencyMeasure: Create a new DMaxSatInconsistencyMeasure with the default SAT solver.
DMaxSatInconsistencyMeasure(SatSolver) - Constructor for class org.tweetyproject.logics.pl.analysis.DMaxSatInconsistencyMeasure: Create a new DMaxSatInconsistencyMeasure with the given SAT solver.
DN - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem: DN
DN_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_ADM
DN_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_CF
DN_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_CF2
DN_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_CO
DN_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_GR
DN_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_ID
DN_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_PR
DN_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_SST
DN_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_ST
DN_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DN_STG
DOMINANCE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate: The DOMINANCE postulate
doMove(ArgumentationEnvironment, DialogueTrace<Argument, Extension<DungTheory>>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState
Done() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream
Done() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Done() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream: Reset buffer when finished.
Done() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Reset buffer when finished.
Done() - Method in class org.tweetyproject.preferences.io.SimpleCharStream
doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class org.tweetyproject.logics.mln.reasoner.AlchemyMlnReasoner
doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class org.tweetyproject.logics.mln.reasoner.SimpleMlnReasoner
DOT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
DOT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants: RegularExpression Id.
DoubleCategory - Class in org.tweetyproject.machinelearning: A category for multi-class classification using a double as identifier.
DoubleCategory(double) - Constructor for class org.tweetyproject.machinelearning.DoubleCategory: Creates a new category with the given value.
doubleValue() - Method in class org.tweetyproject.math.ComplexNumber
doubleValue() - Method in class org.tweetyproject.math.probability.Probability
doubleValue() - Method in class org.tweetyproject.math.term.Term: Computes the actual value of this term if it contains no variables.
DPandQPCounterexampleTest() - Method in class org.tweetyproject.arg.rankings.RankingReasonerTest
DRASTIC - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: DRASTIC
DrasticDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Class in org.tweetyproject.commons.analysis: This class models the drastic distance measure between interpretations, see [Grant, Hunter.
DrasticDistance() - Constructor for class org.tweetyproject.commons.analysis.DrasticDistance
DrasticInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
DrasticInconsistencyMeasure<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis: This class models the drastic inconsistency measure.
DrasticInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.DrasticInconsistencyMeasure
DrasticInconsistencyMeasure(BeliefSetConsistencyTester<S>) - Constructor for class org.tweetyproject.logics.commons.analysis.DrasticInconsistencyMeasure: Creates a new drastic inconsistency measure.
drasticWithAttackReturnsOne() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
drasticWithNoAttackReturnsZero() - Method in class org.tweetyproject.arg.dung.GraphStructureInconsistencyMeasure
DS - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem: DS
DS_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_ADM
DS_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_CF
DS_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_CF2
DS_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_CO
DS_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_GR
DS_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_ID
DS_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_PR
DS_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_SST
DS_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_ST
DS_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DS_STG
DSumInconsistencyMeasure<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula> - Class in org.tweetyproject.logics.commons.analysis: This class implements the d-sum inconsistency measure from [Grant, Hunter.
DSumInconsistencyMeasure(InterpretationDistance<T, B, S>, InterpretationIterator<S, B, T>) - Constructor for class org.tweetyproject.logics.commons.analysis.DSumInconsistencyMeasure: Creates a new d-sum inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
DSumMeasureExample - Class in org.tweetyproject.logics.pl.examples: Example code illustrating the distance-based inconsistency measures DSum, DMax and DHit.
DSumMeasureExample() - Constructor for class org.tweetyproject.logics.pl.examples.DSumMeasureExample
DSumSatInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis: This class presents a sat-encoding-based implementation of the sum-distance measure of [Grant and Hunter, “Analysing incThis measure seeks an interpretation I such that the the sum of the distances between every formula of the knowledge base and I is minimal.
DSumSatInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.DSumSatInconsistencyMeasure: Create a new DSumSatInconsistencyMeasure with the default SAT solver.
DSumSatInconsistencyMeasure(SatSolver) - Constructor for class org.tweetyproject.logics.pl.analysis.DSumSatInconsistencyMeasure: Create a new DSumSatInconsistencyMeasure with the given SAT solver.
dtree() - Method in class org.tweetyproject.arg.delp.TestQueries
DualSetSignature<T,S> - Class in org.tweetyproject.commons: This class models a signature as two sets of formulas.
DualSetSignature() - Constructor for class org.tweetyproject.commons.DualSetSignature: Creates a new empty signature.
DualSetSignature(Set<T>, Set<S>) - Constructor for class org.tweetyproject.commons.DualSetSignature: Creates a new signature with the given sets of formulas.
DummyAgent - Class in org.tweetyproject.agents: A dummy agent is an agent that cannot act.
DummyAgent(String) - Constructor for class org.tweetyproject.agents.DummyAgent: Creates a new dummy agent with the given name.
DummyAgentGenerator - Class in org.tweetyproject.agents.dialogues.lotteries.sim: Generates dummy lottery agents.
DummyAgentGenerator(String) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.DummyAgentGenerator
DummyLotteryAgent - Class in org.tweetyproject.agents.dialogues.lotteries: Audience agents (do nothing) for argumentation games.
DummyLotteryAgent(String, DungTheory, Semantics) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.DummyLotteryAgent
dump(String) - Method in class org.tweetyproject.lp.asp.parser.SimpleNode
DungEntity - Interface in org.tweetyproject.arg.dung.syntax: This interface captures common methods of arguments and attacks of abstract argumentation theories.
DungSignature - Class in org.tweetyproject.arg.dung.syntax: This class captures the signature of a Dung theory, i.e.
DungSignature() - Constructor for class org.tweetyproject.arg.dung.syntax.DungSignature: Creates a new (empty) Dung signature.
DungSignature(Collection<? extends Argument>) - Constructor for class org.tweetyproject.arg.dung.syntax.DungSignature: Creates a new signature with the given set of arguments.
DungSignature(Argument) - Constructor for class org.tweetyproject.arg.dung.syntax.DungSignature: Creates a new signature with the single given argument.
DungTheory - Class in org.tweetyproject.arg.dung.syntax: This class implements an abstract argumentation theory in the sense of Dung.
DungTheory() - Constructor for class org.tweetyproject.arg.dung.syntax.DungTheory: Default constructor; initializes empty sets of arguments and attacks
DungTheory(Graph<Argument>) - Constructor for class org.tweetyproject.arg.dung.syntax.DungTheory: Creates a new theory from the given graph.
DungTheoryGenerationParameters - Class in org.tweetyproject.arg.dung.util: This class lists some parameters for Dung theory generation.
DungTheoryGenerationParameters() - Constructor for class org.tweetyproject.arg.dung.util.DungTheoryGenerationParameters
DungTheoryGenerator - Interface in org.tweetyproject.arg.dung.util: Class implementing this interface provide the capability to generate Dung theories.
DungTheoryGeneratorExample - Class in org.tweetyproject.arg.dung.examples: Example code for generating dung theories and exporting them to apx format.
DungTheoryGeneratorExample() - Constructor for class org.tweetyproject.arg.dung.examples.DungTheoryGeneratorExample
DX - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem: DX
DX_ADM - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_ADM
DX_CF - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_CF
DX_CF2 - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_CF2
DX_CO - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_CO
DX_GR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_GR
DX_ID - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_ID
DX_PR - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_PR
DX_SST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_SST
DX_ST - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_ST
DX_STG - Enum constant in enum org.tweetyproject.arg.dung.reasoner.ProboProblem: DX_STG
DynamicBordaScoringPreferenceAggregator<T> - Class in org.tweetyproject.preferences.aggregation: Creates an aggregator for dynamic veto scoring
DynamicBordaScoringPreferenceAggregator(int) - Constructor for class org.tweetyproject.preferences.aggregation.DynamicBordaScoringPreferenceAggregator: constructor for a new veto aggregator
DynamicLaw - Class in org.tweetyproject.action.description.syntax: A dynamic law in C has the form "caused F if G after U" where F is a propositional formula over the set of fluent names (called headFormula) G is a propositional formula over the set of fluent names (called ifFormula) U is a propositional formula over the set of fluent names and the set of action names (called afterFormula)
DynamicLaw() - Constructor for class org.tweetyproject.action.description.syntax.DynamicLaw: Constructs a new empty dynamic law.
DynamicLaw(FolFormula, FolFormula) - Constructor for class org.tweetyproject.action.description.syntax.DynamicLaw: Creates a new dynamic law of the form "caused headFormula after afterFormula"
DynamicLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class org.tweetyproject.action.description.syntax.DynamicLaw: Creates a new dynamic law of the form "caused headFormula after afterFormula" requires requirements
DynamicLaw(FolFormula, FolFormula, FolFormula) - Constructor for class org.tweetyproject.action.description.syntax.DynamicLaw: Creates a new dynamic law of the form: "caused headFormula if ifFormula after afterFormula"
DynamicLaw(FolFormula, FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class org.tweetyproject.action.description.syntax.DynamicLaw: Creates a new dynamic law of the form: "caused headFormula if ifFormula after afterFormula requires requirements"
DynamicPluralityScoringPreferenceAggregator<T> - Class in org.tweetyproject.preferences.aggregation: Creates an dynamic aggregator with plurality scoring
DynamicPluralityScoringPreferenceAggregator() - Constructor for class org.tweetyproject.preferences.aggregation.DynamicPluralityScoringPreferenceAggregator: calls the super-constructor with argument used for plurality scoring aggregation
DynamicPreferenceAggregator<T> - Interface in org.tweetyproject.preferences.aggregation: This interface is meant to be used for the dynamic aggregation of some generic preference orders
DynamicScoringPreferenceAggregator<T> - Class in org.tweetyproject.preferences.aggregation: This Demo-class provides a basic implementation similar to the ScoringPreferenceAggregator but dynamic aggregation instead of static
DynamicScoringPreferenceAggregator(WeightVector) - Constructor for class org.tweetyproject.preferences.aggregation.DynamicScoringPreferenceAggregator: Constructor with given weight vector
DynamicVetoScoringPreferenceAggregator<T> - Class in org.tweetyproject.preferences.aggregation: Creates an dynamic aggregator for veto scoring
DynamicVetoScoringPreferenceAggregator(int) - Constructor for class org.tweetyproject.preferences.aggregation.DynamicVetoScoringPreferenceAggregator

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form