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