A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- AbaAttack<T extends Formula> - Class in org.tweetyproject.arg.aba.semantics
-
This class models an ABA attack.
- AbaAttack(Argument, Argument) - Constructor for class org.tweetyproject.arg.aba.semantics.AbaAttack
-
Creates a new ABA attack
- AbaElement<T extends Formula> - Class in org.tweetyproject.arg.aba.syntax
-
Abstract class that models common properties of aba syntax elements.
- AbaElement() - Constructor for class org.tweetyproject.arg.aba.syntax.AbaElement
- AbaExample - Class in org.tweetyproject.arg.aba.examples
-
Shows some simple code for working with ABA, including how to parse an ABA file and how to ask queries.
- AbaExample() - Constructor for class org.tweetyproject.arg.aba.examples.AbaExample
- AbaExtension<T extends Formula> - Class in org.tweetyproject.arg.aba.semantics
-
This class models an ABA Extension, meaning a set of assumptions.
- AbaExtension() - Constructor for class org.tweetyproject.arg.aba.semantics.AbaExtension
-
Default constructor
- AbaExtension(Collection<Assumption<T>>) - Constructor for class org.tweetyproject.arg.aba.semantics.AbaExtension
-
Creates a new extension with the given assumptions.
- AbaParser<T extends Formula> - Class in org.tweetyproject.arg.aba.parser
-
Parses a Assumption Based Argumentation System out of an input text.
- AbaParser(Parser<? extends BeliefBase, ? extends Formula>) - Constructor for class org.tweetyproject.arg.aba.parser.AbaParser
-
Creates a new ABA parser
- AbaRule<T extends Formula> - Class in org.tweetyproject.arg.aba.syntax
-
A common interface for assumptions and inference rules.
- AbaRule() - Constructor for class org.tweetyproject.arg.aba.syntax.AbaRule
- AbaTest - Class in org.tweetyproject.arg.aba
-
Test class for ABA.
- AbaTest() - Constructor for class org.tweetyproject.arg.aba.AbaTest
- AbaTheory<T extends Formula> - Class in org.tweetyproject.arg.aba.syntax
-
An implementation of Assumption Based Argumentation.
- AbaTheory() - Constructor for class org.tweetyproject.arg.aba.syntax.AbaTheory
- abbreviation() - Method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem.SubProblem
-
Returns the abbreviation of the sub-problem.
- abbreviation() - Method in enum org.tweetyproject.arg.dung.semantics.OrderingSemantics
-
Returns the abbreviation of the ordering semantics.
- abbreviation() - Method in enum org.tweetyproject.arg.dung.semantics.Semantics
-
Returns the abbreviation of the semantics.
- abort() - Method in class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess
-
Aborts the measurement of a stream.
- AbsoluteValue - Class in org.tweetyproject.math.term
-
This class models the absolute value of the inner term.
- AbsoluteValue(Term) - Constructor for class org.tweetyproject.math.term.AbsoluteValue
-
Creates a new absolute value term with the given inner term.
- AbstractAcceptabilityReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Ancestor class for reasoners that are tailored towards computing the set {a | a is credulously/skeptically accepted wrt.
- AbstractAcceptabilityReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.AbstractAcceptabilityReasoner
- AbstractAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc
- AbstractAcceptanceCondition(Collection<? extends AcceptanceCondition>) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.AbstractAcceptanceCondition
- AbstractArgumentationExample - Class in org.tweetyproject.beliefdynamics.examples
-
Example code for applying belief dynamics on abstract argumentation frameworks.
- AbstractArgumentationExample() - Constructor for class org.tweetyproject.beliefdynamics.examples.AbstractArgumentationExample
- AbstractArgumentationInterpretation - Class in org.tweetyproject.arg.dung.semantics
-
This abstract class acts as a common ancestor for interpretations to abstract argumentation frameworks.
- AbstractArgumentationInterpretation() - Constructor for class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation
- AbstractAspicReasoner<T extends Invertable> - Class in org.tweetyproject.arg.aspic.reasoner
-
The abstract ancestor of all Aspic reasoner implementations
- AbstractAspicReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.aspic.reasoner.AbstractAspicReasoner
-
Creates a new instance
- AbstractAssociationRuleMiner<T> - Class in org.tweetyproject.machinelearning.assoc
-
Abstract layer for association rule miners, bundles common methods.
- AbstractAssociationRuleMiner() - Constructor for class org.tweetyproject.machinelearning.assoc.AbstractAssociationRuleMiner
- AbstractBeliefSetConsistencyTester<T extends Formula> - Class in org.tweetyproject.logics.commons.analysis
-
Classes extending this abstract class are capable of testing whether a given belief set is consistent.
- AbstractBeliefSetConsistencyTester() - Constructor for class org.tweetyproject.logics.commons.analysis.AbstractBeliefSetConsistencyTester
- AbstractBipolarFramework - Class in org.tweetyproject.arg.bipolar.syntax
-
This class implements a bipolar abstract argumentation framework with attack and support relations.
- AbstractBipolarFramework() - Constructor for class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
- AbstractCoherenceMeasure - Class in org.tweetyproject.logics.mln.analysis
-
This class represents an abstract coherence measure, i.e.
- AbstractCoherenceMeasure() - Constructor for class org.tweetyproject.logics.mln.analysis.AbstractCoherenceMeasure
- AbstractCollector<U,D,R> - Class in org.tweetyproject.arg.adf.transform
-
Similar to
AbstractTransformer
but is designed for collections and therefore providesCollector
functionality for free. - AbstractCollector(int) - Constructor for class org.tweetyproject.arg.adf.transform.AbstractCollector
- AbstractConditionalLogicReasoner - Class in org.tweetyproject.logics.cl.reasoner
-
Abstract ancestor for all reasoner for conditional logic.
- AbstractConditionalLogicReasoner() - Constructor for class org.tweetyproject.logics.cl.reasoner.AbstractConditionalLogicReasoner
- AbstractCredibilityComparer - Class in org.tweetyproject.beliefdynamics.mas
-
This class provides for auxiliary functions used to compare formulas and proofs of formulas wrt.
- AbstractCredibilityComparer(Collection<InformationObject<PlFormula>>, Order<Agent>) - Constructor for class org.tweetyproject.beliefdynamics.mas.AbstractCredibilityComparer
-
Creates a new credibility comparer that is guided by the giving information which agents uttered the formulas and the credibility order.
- AbstractCreepingMachineShop - Class in org.tweetyproject.logics.pcl.analysis
-
The common ancestor vor creeping machine shops, see [Diss, Thimm] for details.
- AbstractCreepingMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.AbstractCreepingMachineShop
- AbstractDeductiveArgumentationReasoner - Class in org.tweetyproject.arg.deductive.reasoner
-
This class contains common characteristics for deductive argumentation reasoner.
- AbstractDeductiveArgumentationReasoner(Categorizer, Accumulator) - Constructor for class org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
-
Creates a new reasoner for the given belief base, categorizer, and accumulator.
- AbstractDialecticalFramework - Interface in org.tweetyproject.arg.adf.syntax.adf
-
The implementing subtypes must ensure the following properties: Immutability All methods return a non-null value if its parameters, e.g.
- AbstractDialecticalFramework.Builder - Interface in org.tweetyproject.arg.adf.syntax.adf
- AbstractDialecticalFrameworkReasoner - Class in org.tweetyproject.arg.adf.reasoner
-
Ancestor class for all adf reasoner
- AbstractDialecticalFrameworkReasoner(Pipeline) - Constructor for class org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
- AbstractDungParser - Class in org.tweetyproject.arg.dung.parser
-
This abstract class gives a template for parsers of files representing abstract argumentation frameworks.
- AbstractDungParser() - Constructor for class org.tweetyproject.arg.dung.parser.AbstractDungParser
- AbstractDungReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Ancestor class for all AAF reasoners.
- AbstractDungReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
- AbstractDungWriter - Class in org.tweetyproject.arg.dung.writer
-
Writes an abstract argumentation framework into a file of a specific format.
- AbstractDungWriter() - Constructor for class org.tweetyproject.arg.dung.writer.AbstractDungWriter
- AbstractElementParser<T> - Class in org.tweetyproject.logics.bpm.parser
- AbstractElementParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.AbstractElementParser
-
Creates a new parser for the given BPMN model
- AbstractExtensionReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Ancestor class for all extension-based reasoners.
- AbstractExtensionReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
- AbstractGraphLdoModality - Class in org.tweetyproject.arg.dung.ldo.syntax
-
Provides common functionalities for the graph-based modalities in LDO.
- AbstractGraphLdoModality(LdoFormula, Set<LdoArgument>, Set<LdoArgument>) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality
- AbstractInterpretation<B extends BeliefBase,S extends Formula> - Class in org.tweetyproject.commons
-
An abstract interpretation for some logical language.
- AbstractInterpretation() - Constructor for class org.tweetyproject.commons.AbstractInterpretation
- ABSTRACTION - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
-
The ABSTRACTION postulate
- AbstractLdoModality - Class in org.tweetyproject.arg.dung.ldo.syntax
-
Provides common functionalities for all modalities in LDO.
- AbstractLdoModality(LdoFormula) - Constructor for class org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality
-
Creates a new modality for the given inner formula
- AbstractLotteryAgent - Class in org.tweetyproject.agents.dialogues.lotteries
-
An agent in a game of argumentation lotteries.
- AbstractLotteryAgent(String, DungTheory, Semantics) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.AbstractLotteryAgent
-
Creates a new lottery agent
- AbstractMlnReasoner - Class in org.tweetyproject.logics.mln.reasoner
-
This class provides common methods for MLN reasoner.
- AbstractMlnReasoner() - Constructor for class org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner
- AbstractMlReasoner - Class in org.tweetyproject.logics.ml.reasoner
-
Abstract modal reasoner to be implemented by concrete reasoners.
- AbstractMlReasoner() - Constructor for class org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner
- AbstractMusEnumerator<S extends Formula> - Class in org.tweetyproject.logics.commons.analysis
-
Abstract implementation for MUes enumerators.
- AbstractMusEnumerator() - Constructor for class org.tweetyproject.logics.commons.analysis.AbstractMusEnumerator
- AbstractPAChangeOperator - Class in org.tweetyproject.arg.prob.dynamics
-
Provides common functionality for change operators based on probabilistic semantics.
- AbstractPAChangeOperator(PASemantics, RealVectorNorm, SimpleRealValuedFunction) - Constructor for class org.tweetyproject.arg.prob.dynamics.AbstractPAChangeOperator
-
Creates a new change operator for the given semantics that uses the specified norm for distance measuring and the given function for optimizing.
- AbstractPafReasoner - Class in org.tweetyproject.arg.prob.reasoner
-
Abstract anecestor for PAF reasoner.
- AbstractPafReasoner(Semantics) - Constructor for class org.tweetyproject.arg.prob.reasoner.AbstractPafReasoner
-
Creates a new reasoner.
- AbstractPASemantics - Class in org.tweetyproject.arg.prob.semantics
-
This class bundles common answering behaviour for probabilistic argumentation semantics.
- AbstractPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.AbstractPASemantics
- AbstractPclReasoner - Class in org.tweetyproject.logics.pcl.reasoner
-
Abstract class for all PCL reasoners.
- AbstractPclReasoner() - Constructor for class org.tweetyproject.logics.pcl.reasoner.AbstractPclReasoner
- AbstractPlReasoner - Class in org.tweetyproject.logics.pl.reasoner
-
Abstract class for propositional logic reasoners.
- AbstractPlReasoner() - Constructor for class org.tweetyproject.logics.pl.reasoner.AbstractPlReasoner
- AbstractProtocol - Class in org.tweetyproject.agents
-
A protocol gives instructions in which order agents have to be asked for actions in a multi-agent system.
- AbstractProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class org.tweetyproject.agents.AbstractProtocol
-
Creates a new protocol for the given multi-agent system.
- AbstractRankingReasoner<R extends ArgumentRanking> - Class in org.tweetyproject.arg.rankings.reasoner
-
Common abstract class for ranking reasoners for abstract argumentation.
- AbstractRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner
- AbstractRealVectorNorm - Class in org.tweetyproject.math.norm
-
Abstract class for real vector norms.
- AbstractRealVectorNorm() - Constructor for class org.tweetyproject.math.norm.AbstractRealVectorNorm
- AbstractRpclSemantics - Class in org.tweetyproject.logics.rpcl.semantics
-
This class bundles common answering behaviour for relational conditional semantics.
- AbstractRpclSemantics() - Constructor for class org.tweetyproject.logics.rpcl.semantics.AbstractRpclSemantics
- AbstractSatExtensionReasoner - Class in org.tweetyproject.arg.dung.reasoner
-
Uses a provided SAT solver to solve reasoning problems in AAFs.
- AbstractSatExtensionReasoner(SatSolver) - Constructor for class org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner
-
Instantiates a new reasoner that uses the given SAT solver
- AbstractSocialSemantics<L> - Class in org.tweetyproject.arg.social.semantics
-
This is the abstract ancestor of concrete semantics for social abstract argumentation frameworks, cf.
- AbstractSocialSemantics() - Constructor for class org.tweetyproject.arg.social.semantics.AbstractSocialSemantics
- AbstractTransformer<U,D,R> - Class in org.tweetyproject.arg.adf.transform
- AbstractTransformer() - Constructor for class org.tweetyproject.arg.adf.transform.AbstractTransformer
- AbstractTweetyPlugin - Class in org.tweetyproject.plugin
-
This abstract class implements the TweetyPlugin interface and provides a base for plugin implementations in each project
- AbstractTweetyPlugin() - Constructor for class org.tweetyproject.plugin.AbstractTweetyPlugin
- AbstractUnmodifiableCollection<E> - Class in org.tweetyproject.arg.adf.util
- AbstractUnmodifiableCollection() - Constructor for class org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection
- accept(File, String) - Method in class org.tweetyproject.arg.dung.parser.ApxFilenameFilter
- accept(Visitor<U, D>, D) - Method in interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition
-
Passes the topDownData to the right visit method and returns the result of the visit method, performs no modifications on them.
- accept(Visitor<U, D>, D) - Method in class org.tweetyproject.arg.adf.syntax.acc.ConjunctionAcceptanceCondition
- accept(Visitor<U, D>, D) - Method in enum org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition
- accept(Visitor<U, D>, D) - Method in class org.tweetyproject.arg.adf.syntax.acc.DisjunctionAcceptanceCondition
- accept(Visitor<U, D>, D) - Method in class org.tweetyproject.arg.adf.syntax.acc.EquivalenceAcceptanceCondition
- accept(Visitor<U, D>, D) - Method in class org.tweetyproject.arg.adf.syntax.acc.ExclusiveDisjunctionAcceptanceCondition
- accept(Visitor<U, D>, D) - Method in class org.tweetyproject.arg.adf.syntax.acc.ImplicationAcceptanceCondition
- accept(Visitor<U, D>, D) - Method in class org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition
- accept(Visitor<U, D>, D) - Method in enum org.tweetyproject.arg.adf.syntax.acc.TautologyAcceptanceCondition
- accept(Visitor<U, D>, D) - Method in class org.tweetyproject.arg.adf.syntax.Argument
- AcceptabilityReasonerExample - Class in org.tweetyproject.arg.dung.examples
-
This example shows how the different acceptability reasoners work.
- AcceptabilityReasonerExample() - Constructor for class org.tweetyproject.arg.dung.examples.AcceptabilityReasonerExample
- AcceptanceCondition - Interface in org.tweetyproject.arg.adf.syntax.acc
-
An immutable representation of acceptance conditions for ADFs.
- AcceptanceCondition.Builder - Class in org.tweetyproject.arg.adf.syntax.acc
- AcceptanceConditionSizeComparator - Class in org.tweetyproject.arg.adf.reasoner.heuristics
- AcceptanceConditionSizeComparator(AbstractDialecticalFramework) - Constructor for class org.tweetyproject.arg.adf.reasoner.heuristics.AcceptanceConditionSizeComparator
- AccEqualityTest - Class in org.tweetyproject.arg.adf.syntax.test
- AccEqualityTest() - Constructor for class org.tweetyproject.arg.adf.syntax.test.AccEqualityTest
- AccessibilityRelation - Class in org.tweetyproject.logics.ml.semantics
-
This class models an accessibility relation for Kripke models.
- AccessibilityRelation(Set<Pair<Interpretation<FolBeliefSet, FolFormula>, Interpretation<FolBeliefSet, FolFormula>>>) - Constructor for class org.tweetyproject.logics.ml.semantics.AccessibilityRelation
-
Constructs a new accessibility relation.
- accumulate(List<Double>, List<Double>) - Method in interface org.tweetyproject.arg.deductive.accumulator.Accumulator
-
Accumulates the pros and contras of the given list into a single double.
- accumulate(List<Double>, List<Double>) - Method in class org.tweetyproject.arg.deductive.accumulator.SimpleAccumulator
- Accumulator - Interface in org.tweetyproject.arg.deductive.accumulator
-
Classes implementing this interface represent accumulators in the sense of Definition 8.11 in
Philippe Besnard and Anthony Hunter. - ActionDescription<T extends CausalLaw> - Class in org.tweetyproject.action.description.syntax
-
This class represents an action description as a set of causal laws.
- ActionDescription() - Constructor for class org.tweetyproject.action.description.syntax.ActionDescription
-
Creates a new empty action description.
- ActionDescription(Collection<? extends T>) - Constructor for class org.tweetyproject.action.description.syntax.ActionDescription
-
Creates a new action description containing all elements in the collection given.
- ActionDescriptionConsistencyTester<T extends CausalLaw> - Interface in org.tweetyproject.action.description.analysis
-
Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements.
- ActionEvent - Class in org.tweetyproject.agents
-
An action event encapsulates a multi agent system, an agent in this system, and an action (which was performed by the agent).
- ActionEvent(Agent, MultiAgentSystem<? extends Agent>, Executable) - Constructor for class org.tweetyproject.agents.ActionEvent
-
Creates a new ActionEvent.
- actionPerformed(ActionEvent) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionComparePresenter
- actionPerformed(ActionEvent) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
- actionPerformed(ActionEvent) - Method in interface org.tweetyproject.agents.ProtocolListener
-
This method is called when an action has been performed in the given protocol.
- ActionQuery - Interface in org.tweetyproject.action.query.syntax
-
This is a basic interface for action queries.
- ActionQueryParser - Class in org.tweetyproject.action.query.parser
-
This class implements a parser for action queries in S.
- ActionQueryParser(ActionSignature) - Constructor for class org.tweetyproject.action.query.parser.ActionQueryParser
- ActionQuerySatisfactionTester - Interface in org.tweetyproject.action.query.analysis
-
Classes implementing this interface are capable of checking whether a transition system satisfies an action query.
- ActionQuerySet<T extends ActionQuery> - Class in org.tweetyproject.action.query.syntax
-
An Action Query Set consists of action queries in a specific query language and provides some common functionalities for such queries.
- ActionQuerySet() - Constructor for class org.tweetyproject.action.query.syntax.ActionQuerySet
-
Creates an empty ActionQuerySet
- ActionQuerySet(Collection<? extends T>) - Constructor for class org.tweetyproject.action.query.syntax.ActionQuerySet
-
Creates a new ActionQuerySet initialized with the given collection of action queries.
- ActionSignature - Class in org.tweetyproject.action.signature
-
This class represents an action signature consisting of a set of fluent names (representing environment states) and a set of action names (representing actions).
- ActionSignature() - Constructor for class org.tweetyproject.action.signature.ActionSignature
-
Creates an empty signature
- ActionSignature(Collection<?>) - Constructor for class org.tweetyproject.action.signature.ActionSignature
-
Creates a signature with the given objects (should be sorts, constants, predicates or formulas).
- ActionSignature(FolFormula) - Constructor for class org.tweetyproject.action.signature.ActionSignature
-
Creates a new Action Signature for a single first order formula.
- ActionSignatureParser - Class in org.tweetyproject.action.signature.parser
-
This class implements a parser for signatures of action descriptions.
- ActionSignatureParser() - Constructor for class org.tweetyproject.action.signature.parser.ActionSignatureParser
- Activity - Class in org.tweetyproject.logics.bpm.syntax
-
A class to represent Activities in a BPMN Model
- Activity() - Constructor for class org.tweetyproject.logics.bpm.syntax.Activity
-
Create a new Activity
- AD - org.tweetyproject.arg.dung.semantics.OrderingSemantics
- add(int, LdoFormula) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
- add(int, RelationalFormula) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
- add(int, ComplexConcept) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
- add(int, PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
- add(int, ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
- add(int, T) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
- add(E) - Method in class org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection
- add(Object) - Method in class org.tweetyproject.action.signature.ActionSignature
- add(Object) - Method in class org.tweetyproject.arg.dung.syntax.DungSignature
- add(Object) - Method in interface org.tweetyproject.commons.Signature
-
Adds the given formula to this signature.
- add(Object) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
- add(Object) - Method in class org.tweetyproject.logics.dl.syntax.DlSignature
-
Adds single objects to this signature, iff the object is an appropriate concept, role or individual or a formula.
- add(Object) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
-
Adds the given object, either a constant, a sort, a predicate, or a functor, to this signature.
- add(Object) - Method in class org.tweetyproject.logics.pl.syntax.PlSignature
- add(Object...) - Method in class org.tweetyproject.commons.DualSetSignature
- add(Object...) - Method in class org.tweetyproject.commons.QuadrupleSetSignature
- add(Object...) - Method in interface org.tweetyproject.commons.Signature
-
Adds the given formulas to the signature.
- add(Object...) - Method in class org.tweetyproject.commons.SingleSetSignature
- add(Object...) - Method in class org.tweetyproject.commons.TripleSetSignature
- add(Object...) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
- add(AbstractLotteryAgent) - Method in class org.tweetyproject.agents.dialogues.lotteries.LotteryGameSystem
- add(ArguingAgent) - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameSystem
- add(Assumption<T>) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
- add(Interpretation) - Method in class org.tweetyproject.arg.adf.util.InterpretationTrieSet
- add(Link) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
- add(Argument, AcceptanceCondition) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
- add(Clause) - Method in class org.tweetyproject.arg.adf.sat.AsynchronousCloseSatSolverState
- add(Clause) - Method in class org.tweetyproject.arg.adf.sat.AsynchronousSatSolverState
- add(Clause) - Method in interface org.tweetyproject.arg.adf.sat.SatSolverState
-
Adds the given clause to the solver state.
- add(Attack) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
-
Adds the given attack to this argumentation framework
- add(Attack) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
- add(Attack) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
- add(Attack) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
- add(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
-
Adds argument to this argumentation framework
- add(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
- add(Support) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
-
Adds the given support to this argumentation framework.
- add(Support) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
-
Adds the given support to this bipolar argumentation framework.
- add(Support) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
- add(Support) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
- add(LdoFormula) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
- add(LdoFormula...) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
-
Adds the specified elements to the end of this collection (optional operation).
- add(Argument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
-
Adds argument to this argumentation framework for better compatibility between dung theories and bipolar argumentation frameworks
- add(Argument) - Method in class org.tweetyproject.arg.dung.semantics.Extension
- add(Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
- add(Argument) - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
- add(Argument) - Method in class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework
- add(Argument, Probability) - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
-
Adds the given argument with the given probability
- add(Attack) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
-
Adds the given attack to this dung theory.
- add(Attack) - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
- add(Attack...) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
-
Adds the given attacks to this dung theory.
- add(Attack, Probability) - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework
-
Adds the given attack with the given probability
- add(DungTheory) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
-
Adds all arguments and attacks of the given theory to this theory
- add(DungTheory) - Method in class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework
- add(BasicArgument) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
- add(Formula) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
- add(Formula...) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
- add(Triple<T, T, Relation>) - Method in interface org.tweetyproject.preferences.BinaryRelation
-
adds a new triple containing two elements and its relation
- add(Triple<T, T, Relation>) - Method in class org.tweetyproject.preferences.PreferenceOrder
-
adds a given pair of generic elements to the set.
- add(Edge<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
- add(Edge<Argument>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
- add(Edge<BpmnNode>) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
- add(Edge<T>) - Method in class org.tweetyproject.graphs.DefaultGraph
- add(Edge<T>) - Method in interface org.tweetyproject.graphs.Graph
-
Adds the given edge to this graph.
- add(BpmnNode) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
- add(Process) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
- add(Term<?>) - Method in class org.tweetyproject.logics.commons.syntax.Sort
-
Adds the given term to this sort.
- add(RelationalFormula) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
- add(ComplexConcept) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
- add(ComplexConcept...) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
-
Adds the specified elements to the end of this collection (optional operation).
- add(FolFormula) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
- add(FolFormula...) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
-
Adds the specified elements to the end of this collection (optional operation).
- add(PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
- add(PlFormula...) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
-
Adds the specified elements to the end of this collection (optional operation).
- add(ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
- add(ASPLiteral...) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
-
Adds the specified elements to the end of this collection (optional operation).
- add(Program) - Method in class org.tweetyproject.lp.asp.syntax.Program
-
Adds another program's content to the content of this program.
- add(Matrix) - Method in class org.tweetyproject.math.matrix.Matrix
-
Adds the given matrix to this one and returns the result.
- add(Probability) - Method in class org.tweetyproject.math.probability.Probability
-
Computes the sum of this and the given probability.
- add(Term) - Method in class org.tweetyproject.math.term.Term
-
Returns the sum of this and the given term.
- add(Update<T>) - Method in class org.tweetyproject.preferences.update.UpdateStream
- add(S) - Method in class org.tweetyproject.math.Interval
- add(S, T) - Method in class org.tweetyproject.machinelearning.TrainingSet
-
Adds the specified elements as a pair to this set if it is not already present.
- add(T) - Method in class org.tweetyproject.agents.MultiAgentSystem
- add(T) - Method in class org.tweetyproject.commons.BeliefSet
- add(T) - Method in class org.tweetyproject.commons.InterpretationSet
- add(T) - Method in class org.tweetyproject.graphs.DefaultGraph
- add(T) - Method in interface org.tweetyproject.graphs.Graph
-
Adds the given node to this graph.
- add(T) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
- add(T...) - Method in class org.tweetyproject.commons.BeliefSet
-
Adds the specified elements to the end of this collection (optional operation).
- add(T...) - Method in class org.tweetyproject.commons.InterpretationSet
-
Adds the specified elements to the end of this collection (optional operation).
- add(T...) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
-
Appends the specified elements to the end of this collection (optional operation).
- addAll(int, Collection<? extends LdoFormula>) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
- addAll(int, Collection<? extends RelationalFormula>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
- addAll(int, Collection<? extends ComplexConcept>) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
- addAll(int, Collection<? extends PlFormula>) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
- addAll(int, Collection<? extends ASPLiteral>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
- addAll(int, Collection<? extends T>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
- addAll(Collection<?>) - Method in class org.tweetyproject.commons.DualSetSignature
- addAll(Collection<?>) - Method in class org.tweetyproject.commons.QuadrupleSetSignature
- addAll(Collection<?>) - Method in interface org.tweetyproject.commons.Signature
-
Adds all elements of this collection to this signature.
- addAll(Collection<?>) - Method in class org.tweetyproject.commons.SingleSetSignature
- addAll(Collection<?>) - Method in class org.tweetyproject.commons.TripleSetSignature
- addAll(Collection<?>) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
- addAll(Collection<?>) - Method in class org.tweetyproject.logics.fol.syntax.FolSignature
-
Adds items of the given collection to this signature.
- addAll(Collection<? extends E>) - Method in class org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection
- addAll(Collection<? extends Assumption<T>>) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
- addAll(Collection<? extends BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
- addAll(Collection<? extends LdoFormula>) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
- addAll(Collection<? extends Argument>) - Method in class org.tweetyproject.arg.dung.semantics.Extension
- addAll(Collection<? extends BasicArgument>) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
- addAll(Collection<? extends Triple<T, T, Relation>>) - Method in class org.tweetyproject.preferences.PreferenceOrder
-
adds all given elements to the preference order
- addAll(Collection<? extends RelationalFormula>) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
- addAll(Collection<? extends ComplexConcept>) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
- addAll(Collection<? extends FolFormula>) - Method in class org.tweetyproject.logics.rdl.semantics.Extension
- addAll(Collection<? extends PlFormula>) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
- addAll(Collection<? extends ASPLiteral>) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
- addAll(Collection<? extends S>) - Method in class org.tweetyproject.math.Interval
- addAll(Collection<? extends T>) - Method in class org.tweetyproject.agents.MultiAgentSystem
- addAll(Collection<? extends T>) - Method in class org.tweetyproject.commons.BeliefSet
- addAll(Collection<? extends T>) - Method in class org.tweetyproject.commons.InterpretationSet
- addAll(Collection<? extends T>) - Method in class org.tweetyproject.graphs.SimpleGraph
-
add all nodes to the graph
- addAll(Collection<? extends T>) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
- addAllAttacks(Collection<? extends Attack>) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
-
Adds the set of attacks to this argumentation framework
- addAllAttacks(Collection<? extends Attack>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
-
Adds the set of attacks to this Dung theory.
- addAllEdges(Collection<Edge<T>>) - Method in class org.tweetyproject.graphs.SimpleGraph
-
add all edges to the graph
- addAllPostulates(Collection<? extends Postulate<T>>) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluator
-
Adds all postulates in the given collection.
- addAllSupports(Collection<? extends Support>) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
-
Adds the set of supports to this argumentation framework
- addAllTerm(Collection<Term>) - Method in class org.tweetyproject.math.term.AssociativeOperation
-
Adds all the given terms of this operation.
- addAndCopy(T) - Method in class org.tweetyproject.agents.dialogues.DialogueTrace
-
Returns a copy of this trace and adds the given move to this copy.
- addArgument(Term<?>) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
- addArgument(Term<?>) - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm
-
Appends the given argument to this term's arguments and returns itself.
- addArgument(Term<?>) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.Atom
-
Adds an argument to the atom's argument list
- addArgument(Term<?>) - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
-
Appends the given argument to this atom's arguments and returns itself.
- addArgument(Term<?>) - Method in class org.tweetyproject.logics.pl.syntax.Proposition
- addArgument(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
- addArgument(Term<?>) - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
- addArgumentType(Sort) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.TypedStructure
-
Adds the given Sort as argument type to the typed Structure
- addArgumentType(Sort) - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
- addArgumentType(Sort) - Method in class org.tweetyproject.logics.pl.syntax.PlPredicate
- addAssumption(T) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
- addAttack(ArgumentSet, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
-
Adds an attack from the set of arguments to the argument to this evidential argumentation system.
- addAttack(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
-
Adds an attack from the first argument to the second to this deductive argumentation system.
- addAttack(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
-
Adds an attack from the first argument to the second to this evidential argumentation system.
- addAttack(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
-
Adds an attack from the first argument to the second to this necessity argumentation system.
- addAttack(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
-
Adds an attack from the first argument to the second to thisDdung theory.
- addAttack(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory
-
add attack between both arguments to the theory and set weight to 1
- addAttack(Argument, Argument, double) - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory
-
add attack between both arguments to the theory and set weight to given value
- addAxiom(T) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
-
Adds an additional axiom, i.e.
- addBeliefbase(Collection<? extends Formula>) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel
-
Adds a belief base to the end of the ordered list of belief bases.
- addBody(ASPBodyElement) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
-
Add the given body element to this rule.
- addBodyElements(Collection<? extends ASPBodyElement>) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
-
Add the given body elements to this rule.
- addCandidateProcessor(InterpretationProcessor) - Method in class org.tweetyproject.arg.adf.reasoner.sat.Pipeline.Builder
- addConditional(Conditional) - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure
-
Adds the given Conditional to the ConditionalStructure and updates the structure.
- addConditionalConditionalGenerators() - Method in class org.tweetyproject.logics.cl.test.TestConditionalStructure
- addConditionalSignature() - Method in class org.tweetyproject.logics.cl.test.TestConditionalStructure
- addConditionalWorldGenerators() - Method in class org.tweetyproject.logics.cl.test.TestConditionalStructure
- addDirectSub(AspicArgument<T>) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
-
Adds a subargument
- addEntry(AgentGenerator<T, R>, Map<AgentGenerator<T, R>, Double>) - Method in class org.tweetyproject.agents.sim.SimulationResult
-
Adds a new entry of a simulation run.
- addFact(C) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.LogicProgram
-
Adds the given fact to the program
- addFact(FolFormula) - Method in class org.tweetyproject.lp.nlp.syntax.NLPProgram
- addFact(ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.Program
-
Adds a fact to this program.
- addFact(ClassicalHead) - Method in class org.tweetyproject.lp.asp.syntax.Program
- addFacts(C...) - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.LogicProgram
-
Adds the given facts to the program
- addFacts(FolFormula...) - Method in class org.tweetyproject.lp.nlp.syntax.NLPProgram
- addFacts(ClassicalHead...) - Method in class org.tweetyproject.lp.asp.syntax.Program
- addField(String, String) - Method in class org.tweetyproject.plugin.PluginOutput
- addField(OutputField) - Method in class org.tweetyproject.plugin.PluginOutput
- addFromSampler(Iterator<U>, int) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
-
Add n knowledge bases from the given iterator (e.g., a random sampler) to the testing dataset.
- addGroundingRequirement(GroundingRequirement) - Method in class org.tweetyproject.action.description.syntax.CLaw
- addInconsistencyListener(InconsistencyListener) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
- addInconsistencyListener(InconsistencyListener) - Method in class org.tweetyproject.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure
-
Add a listener to this measure.
- addInconsistencyMeasure(BeliefSetInconsistencyMeasure<T>) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
-
Adds the given inconsistency measure.
- ADDITIONOFATTACKBRANCH - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
-
The ADDITIONOFATTACKBRANCH postulate
- ADDITIONOFDEFENSEBRANCH - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
-
The ADDITIONOFDEFENSEBRANCH postulate
- addKnowledgeBase(U) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
-
Adds the given knowledge base to the testing dataset.
- addKnowledgeBases(List<U>) - Method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureEvaluator
-
Adds the given knowledge bases to the testing dataset.
- addLabel(String) - Method in class org.tweetyproject.logics.bpm.plotting.BpmnModelPlotter
-
Add a label to the frame Please note that the labels will be displayed from top to bottom in the order they are added You can add labels before and after executing the createGraph method, so that these labels will be displayed before and after the graph, respectively.
- addLane(Lane) - Method in class org.tweetyproject.logics.bpm.syntax.Process
-
Add a lane to this process
- addLanes(Set<Lane>) - Method in class org.tweetyproject.logics.bpm.syntax.Process
-
Add multiple lanes to this process
- addListener(PropertyChangeListener) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel
-
Adds a property change listener
- addListener(PropertyChangeListener) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
Adds a property change listener
- addListener(UpdateListener<T>) - Method in interface org.tweetyproject.preferences.aggregation.DynamicPreferenceAggregator
-
The add-method for listeners for a dynamic preference aggregator
- addListener(UpdateListener<T>) - Method in class org.tweetyproject.preferences.aggregation.DynamicScoringPreferenceAggregator
-
adds a listener to this dynamic preference aggregator
- addModelProcessor(InterpretationProcessor) - Method in class org.tweetyproject.arg.adf.reasoner.sat.Pipeline.Builder
- addNegation(T, T) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
-
Adds a negation of form not formula = negation
- addNegativeInstance(Postulate<S>, Collection<S>) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluationReport
-
Adds a negative instance for the given postulate
- addNode(BpmnNode) - Method in class org.tweetyproject.logics.bpm.syntax.Process
-
Add a node to this process
- addNotApplicableInstance(Postulate<S>, Collection<S>) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluationReport
-
Adds an instance that is not applicable for the given postulate
- addOperator(BaseRevisionOperator<?>) - Method in class org.tweetyproject.beliefdynamics.gui.RevisionCompareModel
-
Adds the given revision operator to the set of selectable revision methods.
- addOperator(BaseRevisionOperator<?>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
-
Adds the given revision operator to the set of selectable revision methods.
- addOption(String) - Method in class org.tweetyproject.logics.pl.sat.CmdLineSatSolver
-
Adds a single command line parameter.
- addOrdinaryPremise(T) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
-
Adds an additional ordinary, i.e.
- addPair(T, T, Relation) - Method in class org.tweetyproject.preferences.PreferenceOrder
-
adds two given (single) elements as pair into the set
- addParameter(CommandParameter) - Method in class org.tweetyproject.plugin.AbstractTweetyPlugin
-
adds new command parameter to this plugin
- addParameter(CommandParameter) - Method in class org.tweetyproject.preferences.plugin.PreferencesPlugin
- addPositiveInstance(Postulate<S>, Collection<S>) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluationReport
-
Adds a positive instance for the given postulate (that is applicable)
- addPostulate(Postulate<T>) - Method in class org.tweetyproject.commons.postulates.PostulateEvaluator
-
Adds the given postulate
- addPremise(FolFormula) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
- addPremise(FolFormula) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
- addPremise(FolFormula) - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
- addPremise(PlFormula) - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule
- addPremise(PlFormula) - Method in class org.tweetyproject.logics.cl.syntax.Conditional
- addPremise(Proposition) - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument
- addPremise(ASPBodyElement) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
- addPremise(P) - Method in interface org.tweetyproject.commons.util.rules.Rule
-
Add the given premise to this rule.
- addPremise(T) - Method in class org.tweetyproject.arg.aba.syntax.Assumption
- addPremise(T) - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
- addPremise(T) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
- addPremises(Collection<? extends FolFormula>) - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
- addPremises(Collection<? extends FolFormula>) - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
- addPremises(Collection<? extends FolFormula>) - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
- addPremises(Collection<? extends PlFormula>) - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule
- addPremises(Collection<? extends PlFormula>) - Method in class org.tweetyproject.logics.cl.syntax.Conditional
- addPremises(Collection<? extends Proposition>) - Method in class org.tweetyproject.arg.saf.syntax.BasicArgument
- addPremises(Collection<? extends ASPBodyElement>) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
- addPremises(Collection<? extends P>) - Method in interface org.tweetyproject.commons.util.rules.Rule
-
Add the given premises to this rule.
- addPremises(Collection<? extends T>) - Method in class org.tweetyproject.arg.aba.syntax.Assumption
- addPremises(Collection<? extends T>) - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
- addPremises(Collection<? extends T>) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
- addPrimaFacie(BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
-
Adds a argument with evidential support to this evidential argumentation system If the argument is already in this evidential argumentation system, adds evidential support
- addProbabilityNormalizationConstraint(ExpressionsBasedModel) - Static method in class org.tweetyproject.logics.pcl.util.OjAlgoPclUtils
-
Add probability normalization constraint to model (all probabilities have to sum to 1).
- addProtocolListener(ProtocolListener) - Method in class org.tweetyproject.agents.AbstractProtocol
- addProtocolListener(ProtocolListener) - Method in interface org.tweetyproject.agents.Protocol
-
Adds the given listener to this protocol.
- addRule(InferenceRule<T>) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
-
Adds an additional inference rule
- addSignature(Signature) - Method in class org.tweetyproject.commons.DualSetSignature
- addSignature(Signature) - Method in class org.tweetyproject.commons.QuadrupleSetSignature
- addSignature(Signature) - Method in interface org.tweetyproject.commons.Signature
-
Adds the elements of the given signature to this signature.
- addSignature(Signature) - Method in class org.tweetyproject.commons.SingleSetSignature
- addSignature(Signature) - Method in class org.tweetyproject.commons.TripleSetSignature
- addSignature(Signature) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnSignature
- addState(Set<FolAtom>) - Method in class org.tweetyproject.action.transitionsystem.TransitionSystem
-
Creates a new state and adds it to this transition system.
- addState(State) - Method in class org.tweetyproject.action.transitionsystem.TransitionSystem
-
Adds a state to this transition system.
- addStateProcessor(StateProcessor) - Method in class org.tweetyproject.arg.adf.reasoner.sat.Pipeline.Builder
- addSubDeduction(Deduction<T>) - Method in class org.tweetyproject.arg.aba.syntax.Deduction
-
Adds a subdeduction
- addSubProcess(Process) - Method in class org.tweetyproject.logics.bpm.syntax.Process
-
Add a process to this process
- addSupport(ArgumentSet, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
-
Adds a support from a set of arguments to an argument to this argumentation framework.
- addSupport(ArgumentSet, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
-
Adds a support from a set of arguments to an argument to this argumentation framework.
- addSupport(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
-
Adds a support from the first argument to the second to this bipolar argumentation framework.
- addSupport(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
-
Adds a support from the first argument to the second to this argumentation framework.
- addSupport(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
-
Adds a support from the first argument to the second to this argumentation framework.
- addTerm(Term) - Method in class org.tweetyproject.math.term.AssociativeOperation
-
Adds the given term to this operation.
- addToConclusion(T) - Method in class org.tweetyproject.machinelearning.assoc.AssociationRule
-
Adds the given object to the conclusion.
- addToHead(ASPLiteral) - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
-
Add the given literal to the head of the rule.
- addToPremise(T) - Method in class org.tweetyproject.machinelearning.assoc.AssociationRule
-
Adds the given object to the premise.
- addTransition(Transition) - Method in class org.tweetyproject.action.transitionsystem.TransitionSystem
-
Adds a given transition to this transition system.
- ADF_OCF_comparison_example - Class in org.tweetyproject.logics.cl.examples
-
Example code illustrating the translation from Abstract Dialectical Frameworks (ADFs) to Conditional logics
- ADF_OCF_comparison_example() - Constructor for class org.tweetyproject.logics.cl.examples.ADF_OCF_comparison_example
- ADFExample - Class in org.tweetyproject.arg.adf.examples
-
Example code illustrating Abstract Dialectical Frameworks (ADFs) with different semantics.
- ADFExample() - Constructor for class org.tweetyproject.arg.adf.examples.ADFExample
- ADJUNCTIONINVARIANCE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
-
The ADJUNCTIONINVARIANCE postulate
- adjustBeginLineColumn(int, int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream
- adjustBeginLineColumn(int, int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
- adjustBeginLineColumn(int, int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
- adjustBeginLineColumn(int, int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream
- adjustBeginLineColumn(int, int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream
- ADM - org.tweetyproject.arg.dung.semantics.Semantics
- ADMISSIBLE - Static variable in class org.tweetyproject.arg.dung.equivalence.EquivalenceKernel
- ADMISSIBLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.OrderingSemantics
- ADMISSIBLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics
- admissibleExample - Class in org.tweetyproject.arg.bipolar.examples
- admissibleExample() - Constructor for class org.tweetyproject.arg.bipolar.examples.admissibleExample
- AdmissibleKernel - Class in org.tweetyproject.arg.dung.equivalence
-
Kernel SK = (A, R') for strong equivalence wrt.
- AdmissibleKernel() - Constructor for class org.tweetyproject.arg.dung.equivalence.AdmissibleKernel
- AdmissibleReasoner - Class in org.tweetyproject.arg.adf.reasoner
- AdmissibleReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.evidential
-
a set of arguments S is admissible iff it is conflict-free and all elements of S are acceptable wrt.
- AdmissibleReasoner - Class in org.tweetyproject.arg.bipolar.reasoner.necessity
-
a set of arguments S is admissible iff it is strongly coherent and defends all of its arguments.
- AdmissibleReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.evidential.AdmissibleReasoner
- AdmissibleReasoner() - Constructor for class org.tweetyproject.arg.bipolar.reasoner.necessity.AdmissibleReasoner
- AdmissibleReasoner(IncrementalSatSolver) - Constructor for class org.tweetyproject.arg.adf.reasoner.AdmissibleReasoner
- AdmissibleReasoning() - Method in class org.tweetyproject.arg.bipolar.NecessityArgumentationTest
- AdmissibleVerifier - Class in org.tweetyproject.arg.adf.reasoner.sat.verifier
- AdmissibleVerifier() - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.verifier.AdmissibleVerifier
- Agent - Class in org.tweetyproject.agents
-
An agent is a possibly proactive entity situated in some environment.
- Agent(String) - Constructor for class org.tweetyproject.agents.Agent
-
Creates a new agent with the given name.
- AgentGenerator<T extends Agent,S extends MultiAgentSystem<T>> - Interface in org.tweetyproject.agents.sim
-
This interface defines an agent template that is used to generate agents following some common characteristics.
- aggregate(List<PreferenceOrder<T>>) - Method in interface org.tweetyproject.preferences.aggregation.DynamicPreferenceAggregator
-
Abstract class for implementation of dynamic preference aggregation
- aggregate(List<PreferenceOrder<T>>) - Method in class org.tweetyproject.preferences.aggregation.DynamicScoringPreferenceAggregator
-
This method aggregates the given preference orders according to the WeightVector used within construction
- aggregate(List<PreferenceOrder<T>>) - Method in interface org.tweetyproject.preferences.aggregation.PreferenceAggregator
-
Abstract class for implementation of different aggregation and scoring methods
- aggregate(List<PreferenceOrder<T>>) - Method in class org.tweetyproject.preferences.aggregation.ScoringPreferenceAggregator
-
Implementation of the aggregation of a given input-array of sets and a weight vector
- Aggregate() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- AGGREGATE_COUNT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- AGGREGATE_COUNT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- AGGREGATE_MAX - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- AGGREGATE_MAX - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- AGGREGATE_MIN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- AGGREGATE_MIN - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- AGGREGATE_SUM - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- AGGREGATE_SUM - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- AggregateAtom - Class in org.tweetyproject.lp.asp.syntax
-
This class represents an aggregate.
- AggregateAtom() - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Empty default constructor.
- AggregateAtom(List<ASPBodyElement>, int, int) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Creates a new cardinality rule, meaning an aggregate of the form "leftBound <= #count { elements } <= rightBound" with the given literals and the given integer bounds.
- AggregateAtom(AggregateAtom) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Copy-Constructor
- AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Creates a new Aggregate with the given aggregate function and the given aggregate elements.
- AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>, ASPOperator.BinaryOperator, int) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Creates a new Aggregate of the form "#func { elements } op rightBound" with the given aggregate function #func, the given aggregate elements, the given aggregate relation op and the given rightBound.
- AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>, ASPOperator.BinaryOperator, int, ASPOperator.BinaryOperator, int) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Creates a new Aggregate of the form "leftBound op #func { elements } op rightBound" with the given aggregate function, the given aggregate elements, and the given left and right aggregate relations and integer bounds.
- AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>, ASPOperator.BinaryOperator, Term<?>) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Creates a new Aggregate of the form "#func { elements } op rightBound" with the given aggregate function #func, the given aggregate elements, the given aggregate relation op and the given rightBound.
- AggregateAtom(ASPOperator.AggregateFunction, List<AggregateElement>, ASPOperator.BinaryOperator, Term<?>, ASPOperator.BinaryOperator, Term<?>) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Creates a new Aggregate of the form "leftBound leftOp #func { elements } rightOp rightBound" with the given aggregate function, the given aggregate elements, and the given left and right aggregate relations and bounds.
- AggregateElement - Class in org.tweetyproject.lp.asp.syntax
-
This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).
- AggregateElement(List<Term<?>>, List<ASPBodyElement>) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateElement
-
Creates a new Aggregate Element with the given list of terms and the given list of naf literals.
- AggregateElement(Term<?>, List<ASPBodyElement>) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateElement
-
Creates a new Aggregate Element with the given single term and the given list of naf literals.
- AggregateElement(Term<?>, ASPBodyElement) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateElement
-
Creates a new Aggregate Element with the given single term and the given single literal.
- AggregateElement(Term<?>, ASPBodyElement...) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateElement
-
Creates a new Aggregate Element with the given single term and the given naf literals.
- AggregateElement(AggregateElement) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateElement
-
Copy-Constructor
- AggregateElement() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- AggregateElements() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- AggregateExample - Class in org.tweetyproject.lp.asp.examples
-
Some more examples on how aggregates work.
- AggregateExample() - Constructor for class org.tweetyproject.lp.asp.examples.AggregateExample
- AggregateFunction() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- AggregateHead - Class in org.tweetyproject.lp.asp.syntax
-
This class is a variant of the basic ASP rule head.
- AggregateHead() - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateHead
-
Creates a new empty ASPAggregateHead.
- AggregateHead(List<ASPBodyElement>, int, int) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateHead
-
Creates a new cardinality rule head.
- AggregateHead(AggregateAtom) - Constructor for class org.tweetyproject.lp.asp.syntax.AggregateHead
-
Creates a new ASPAggregateHead with the given aggregate atom.
- AggregateTest() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2ParserTest
- AggregatingCoherenceMeasure - Class in org.tweetyproject.logics.mln.analysis
-
This coherence measure uses an aggregation function and a distance function to measure the coherence of an MLN.
- AggregatingCoherenceMeasure(RealVectorNorm, AggregationFunction) - Constructor for class org.tweetyproject.logics.mln.analysis.AggregatingCoherenceMeasure
- AggregatingNorm - Class in org.tweetyproject.math.norm
-
This norm uses an aggregator on the 1-norm distance of each value.
- AggregatingNorm(AggregationFunction) - Constructor for class org.tweetyproject.math.norm.AggregatingNorm
-
Creates a new distance function with the given aggregator.
- AggregatingSemantics - Class in org.tweetyproject.logics.rpcl.semantics
-
This class implements aggregating semantics due to [Kern-Isberner, Thimm, KR'2010].
- AggregatingSemantics() - Constructor for class org.tweetyproject.logics.rpcl.semantics.AggregatingSemantics
- AggregationFunction - Interface in org.tweetyproject.math.func
-
This class aggregates a list of doubles to a single double.
- AlchemyExample - Class in org.tweetyproject.logics.mln.examples
-
Example code illustrating the use of the Alchemy reasoner.
- AlchemyExample() - Constructor for class org.tweetyproject.logics.mln.examples.AlchemyExample
- AlchemyMlnReasoner - Class in org.tweetyproject.logics.mln.reasoner
-
This class implements a wrapper for Alchemy in order to reason with MLNs.
- AlchemyMlnReasoner() - Constructor for class org.tweetyproject.logics.mln.reasoner.AlchemyMlnReasoner
- allAttacks(Collection<Assumption<T>>, Collection<Assumption<T>>, AbaTheory<T>) - Static method in class org.tweetyproject.arg.aba.semantics.AbaAttack
-
Returns all attacks from the given attacking set to the given attacked set.
- allAttacks(AbaTheory<T>) - Static method in class org.tweetyproject.arg.aba.semantics.AbaAttack
-
Returns all attacks between arguments in the given AbaTheory.
- allBijections(Collection<E>, Collection<F>) - Method in class org.tweetyproject.commons.util.MapTools
-
Computes all bijections from E to F.
- allDerivations(Collection<? extends S>) - Static method in class org.tweetyproject.commons.util.rules.Derivation
-
Returns the set of all possible derivations from the set of rules.
- allDerivations(Collection<? extends S>, Formula) - Static method in class org.tweetyproject.commons.util.rules.Derivation
-
Returns the set of all possible derivations with the given conclusion from the set of rules.
- allGroundInstances(Set<Constant>) - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
-
Computes all ground instances of all inner fol formulas wrt.
- allGroundInstances(Set<Constant>) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
- allGroundInstances(Set<Constant>) - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
-
Computes all ground instances of this relational formula wrt.
- allMaps(Map<Set<E>, Set<F>>) - Method in class org.tweetyproject.commons.util.MapTools
-
Computes the complete set of maps from E to F such that the following condition holds.
- allMaps(Set<? extends E>, Set<? extends F>) - Method in class org.tweetyproject.commons.util.MapTools
-
This methods computes all maps from domain to range.
- allMapsSingleSource(Map<E, Set<F>>) - Method in class org.tweetyproject.commons.util.MapTools
-
Computes the complete set of maps from E to F such that the following condition holds.
- allSubstitutions(Collection<? extends Term<?>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaElement
-
Computes all possible substitutions, i.e.
- allSubstitutions(Collection<? extends Term<?>>) - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
-
Computes all possible substitutions, i.e.
- allSubstitutions(Collection<? extends Term<?>>) - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula
-
Computes all possible substitutions, i.e.
- allTrue() - Method in class org.tweetyproject.arg.adf.util.ThreeValuedBitSet
- AlwaysQuery - Class in org.tweetyproject.action.query.syntax
-
This class represents an always query in the action query language S.
- AlwaysQuery(FolFormula) - Constructor for class org.tweetyproject.action.query.syntax.AlwaysQuery
-
Creates a new always query with the given inner formula.
- AnalysisExample - Class in org.tweetyproject.logics.pcl.examples
-
Example code illustrating the use of inconsistency measures and repairing approaches.
- AnalysisExample() - Constructor for class org.tweetyproject.logics.pcl.examples.AnalysisExample
- and(Double, Double) - Method in class org.tweetyproject.arg.social.semantics.SimpleProductSemantics
- and(Collection<L>) - Method in class org.tweetyproject.arg.social.semantics.AbstractSocialSemantics
-
The AND-operation on all given arguments
- and(L, L) - Method in class org.tweetyproject.arg.social.semantics.AbstractSocialSemantics
-
The AND-operation on L in this framework
- and(AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder
- and(AcceptanceCondition...) - Method in class org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder
- and(PriestWorld.TruthValue) - Method in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue
- ANONYMOUS_VARIABLE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- ANONYMOUS_VARIABLE - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- AnswerSet - Class in org.tweetyproject.lp.asp.semantics
-
An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.
- AnswerSet() - Constructor for class org.tweetyproject.lp.asp.semantics.AnswerSet
-
Creates a new empty AnswerSet.
- AnswerSet(Collection<ASPLiteral>, int, int) - Constructor for class org.tweetyproject.lp.asp.semantics.AnswerSet
-
Creates a new empty AnswerSet with the given level and weight.
- AnswerSet(AnswerSet) - Constructor for class org.tweetyproject.lp.asp.semantics.AnswerSet
-
Copy-Constructor
- AnswerSet() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- AntCol_Environment(double[][]) - Constructor for class org.tweetyproject.math.opt.solver.AntColonyOptimization.AntCol_Environment
- AntColonyOptimization - Class in org.tweetyproject.math.opt.solver
-
This class implements the ant colony algorithm using isula (https://github.com/cptanalatriste/isula) for combinatrics problems
- AntColonyOptimization(int, double, int, double, double) - Constructor for class org.tweetyproject.math.opt.solver.AntColonyOptimization
- AntColonyOptimization.AntCol_Environment - Class in org.tweetyproject.math.opt.solver
-
environment
- ANY - Static variable in class org.tweetyproject.logics.commons.syntax.Sort
-
Default sort for terms of equality/inequality predicates.
- ApacheCommonsCMAESOptimizer - Class in org.tweetyproject.math.opt.solver
-
This class is a wrapper for the Apache Commons Math3 CMAES optimizer (https://commons.apache.org/proper/commons-math/).
- ApacheCommonsCMAESOptimizer(int, int, double, boolean, int, int, double) - Constructor for class org.tweetyproject.math.opt.solver.ApacheCommonsCMAESOptimizer
-
Parameters from org.apache.commons.math3.optim.nonlinear.scalar.noderiv.CMAESOptimizer:
- ApacheCommonsCMAESOptimizerEx - Class in org.tweetyproject.math.examples
-
This class implements an example for the ApacheCommonsCMAESOptimizer
- ApacheCommonsCMAESOptimizerEx() - Constructor for class org.tweetyproject.math.examples.ApacheCommonsCMAESOptimizerEx
- ApacheCommonsCMAESOptimizerTest - Class in org.tweetyproject.math.test
- ApacheCommonsCMAESOptimizerTest() - Constructor for class org.tweetyproject.math.test.ApacheCommonsCMAESOptimizerTest
- ApacheCommonsNonLinearConjugateGradientOptimizer - Class in org.tweetyproject.math.opt.solver
-
This class is a wrapper for the Apache Commons Math3 Non-Linear Conjugate Gradient Optimizer (https://commons.apache.org/proper/commons-math/).
- ApacheCommonsNonLinearConjugateGradientOptimizer(int, double) - Constructor for class org.tweetyproject.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer
-
Creates a new solver.
- ApacheCommonsNonLinearConjugateGradientOptimizerEx - Class in org.tweetyproject.math.examples
-
This class implements an example for the ApacheCommonsNonLinearConjugateGradientOptimizer
- ApacheCommonsNonLinearConjugateGradientOptimizerEx() - Constructor for class org.tweetyproject.math.examples.ApacheCommonsNonLinearConjugateGradientOptimizerEx
- ApacheCommonsSimplex - Class in org.tweetyproject.math.opt.solver
-
This class is a wrapper for the Apache Commons Math Simplex implementation.
- ApacheCommonsSimplex() - Constructor for class org.tweetyproject.math.opt.solver.ApacheCommonsSimplex
- ApacheCommonsSimplexEx - Class in org.tweetyproject.math.examples
-
This class implements an example for the Apache Commons SimplexSolver.
- ApacheCommonsSimplexEx() - Constructor for class org.tweetyproject.math.examples.ApacheCommonsSimplexEx
- ApacheCommonsSimplexEx2 - Class in org.tweetyproject.math.examples
-
This class is a second example for the ApacheCommonsSimplexSolver.
- ApacheCommonsSimplexEx2() - Constructor for class org.tweetyproject.math.examples.ApacheCommonsSimplexEx2
- app(DefaultRule) - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence
-
Constructs a new DefaultSequence
- apply() - Method in interface org.tweetyproject.logics.cl.reasoner.RuleBasedCReasoner.Rule
-
Applies the rule
- apply() - Method in class org.tweetyproject.logics.cl.rules.EvaluateRule
- apply(K) - Method in class org.tweetyproject.arg.adf.util.CacheMap
- ApproximateNaiveMlnReasoner - Class in org.tweetyproject.logics.mln.reasoner
-
This reasoner performs approximate reasoning with MLNs by considering only a subset of all Herbrand interpretations.
- ApproximateNaiveMlnReasoner(long, long) - Constructor for class org.tweetyproject.logics.mln.reasoner.ApproximateNaiveMlnReasoner
-
Creates a new ApproximateNaiveMlnReasoner.
- ApproximationExample - Class in org.tweetyproject.logics.mln.examples
-
Example code illustrating the use of the sampling-based MLN reasoner.
- ApproximationExample() - Constructor for class org.tweetyproject.logics.mln.examples.ApproximationExample
- AprioriMiner<T> - Class in org.tweetyproject.machinelearning.assoc
-
Implements the classical Apriori algorithm for association rule mining, cf.
- AprioriMiner(double, double) - Constructor for class org.tweetyproject.machinelearning.assoc.AprioriMiner
-
Creates a new Apriori miner with the given minimum support and minimum confidence values.
- AprioriTest - Class in org.tweetyproject.machinelearning.assoc
- AprioriTest() - Constructor for class org.tweetyproject.machinelearning.assoc.AprioriTest
- APX - org.tweetyproject.arg.dung.parser.FileFormat
- ApxFilenameFilter - Class in org.tweetyproject.arg.dung.parser
-
Filename filter for APX files.
- ApxFilenameFilter() - Constructor for class org.tweetyproject.arg.dung.parser.ApxFilenameFilter
- ApxParser - Class in org.tweetyproject.arg.dung.parser
-
Parses abstract argumentation frameworks in the logic programming format which is given by the following BNF (start symbol is S):
S ::== "" | "arg" "(" ARGUMENT ")" "\n" S | "att" "(" ARGUMENT "," ARGUMENT ")" "\n" S
where "ARGUMENT" represents any string (without blanks) as a terminal symbol. - ApxParser() - Constructor for class org.tweetyproject.arg.dung.parser.ApxParser
- ApxWriter - Class in org.tweetyproject.arg.dung.writer
-
Writes an abstract argumentation framework into a file of the APX format.
- ApxWriter() - Constructor for class org.tweetyproject.arg.dung.writer.ApxWriter
- areAdjacent(BArgument, BArgument) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
- areAdjacent(Argument, Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
- areAdjacent(BpmnNode, BpmnNode) - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
- areAdjacent(T, T) - Method in class org.tweetyproject.graphs.DefaultGraph
- areAdjacent(T, T) - Method in interface org.tweetyproject.graphs.Graph
-
Returns "true" iff the two nodes are connected by a directed edge from a to b or an undirected edge.
- areDisconnected(Collection<? extends T>, Collection<? extends T>) - Method in class org.tweetyproject.graphs.SimpleGraph
-
Compute whether nodesA and nodesB are disconnected and thus d-separated in the graph
- areEquivalent(Constant, Constant) - Method in class org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet
-
Checks whether the two given constants are equivalent wrt.
- ARG__CALLED_PLUGIN - Static variable in class org.tweetyproject.cli.plugins.CliMain
-
The argument name for the called plugin
- ARG__CALLED_PLUGIN_SHORT - Static variable in class org.tweetyproject.cli.plugins.CliMain
-
The argument name for the called plugin (short)
- ARG__DEBUG_FLAG - Static variable in class org.tweetyproject.cli.plugins.CliMain
-
The argument name for debugging output
- ARG__DEBUG_FLAG_SHORT - Static variable in class org.tweetyproject.cli.plugins.CliMain
-
The argument name for debugging output (short)
- ARG__INPUT_FILES - Static variable in class org.tweetyproject.cli.plugins.CliMain
-
The argument name for the input file(s)
- ARG__INPUT_FILES - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the input file(s)
- ARG__INPUT_FILES_SHORT - Static variable in class org.tweetyproject.cli.plugins.CliMain
-
The argument name for the input file(s) (short)
- ARG__INPUT_FILES_SHORT - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the input file(s) (short)
- ARG__INPUT_PARSER - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the parser(s) used for reading the input file(s)
- ARG__INPUT_PARSER_SHORT - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the parser(s) used for reading the input file(s) (short)
- ARG__LOG_FILE - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output)
- ARG__LOG_FILE_SHORT - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output) (short)
- ARG__LOG_LEVEL - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the log level (The possible values are described by
TweetyConfiguration.LogLevel
, default isTweetyConfiguration.LogLevel.INFO
) - ARG__LOG_LEVEL_SHORT - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the log level (The possible values are described by
TweetyConfiguration.LogLevel
, default isTweetyConfiguration.LogLevel.INFO
) (short) - ARG__OPTIONS - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for advanced options
- ARG__OPTIONS_SHORT - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for advanced options (short)
- ARG__OUTPUT_FILE - Static variable in class org.tweetyproject.cli.plugins.CliMain
-
The argument name for the output file
- ARG__OUTPUT_FILE - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the output file
- ARG__OUTPUT_FILE_SHORT - Static variable in class org.tweetyproject.cli.plugins.CliMain
-
The argument name for the output file (short)
- ARG__OUTPUT_FILE_SHORT - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the output file (short)
- ARG__OUTPUT_WRITER - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the writer used for writing the output file.
- ARG__OUTPUT_WRITER_SHORT - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for the writer used for writing the output file (short)
- ARG__QUERY - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for a query
- ARG__QUERY_SHORT - Static variable in class org.tweetyproject.cli.TweetyCli
-
The argument name for a query
- argRepresentation() - Method in class org.tweetyproject.arg.delp.TestArguments
- ArgSysTest() - Method in class org.tweetyproject.arg.aspic.AspicTest
- ArguingAgent - Class in org.tweetyproject.agents.dialogues.oppmodels
-
This class represent a general arguing agent with an belief state.
- ArguingAgent(GroundedGameSystem.AgentFaction, BeliefState) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.ArguingAgent
-
Create a new agent with the given name and belief state.
- Argument - Class in org.tweetyproject.arg.adf.syntax
-
An immutable representation of an ADF argument
- Argument - Class in org.tweetyproject.arg.dung.syntax
-
This class models an argument used by Dung's abstract argumentation theory and is just described by its name.
- Argument - Class in org.tweetyproject.arg.lp.syntax
-
Instances of this class represent arguments in the sense of Definition 2 in [1].
- Argument() - Constructor for class org.tweetyproject.arg.adf.syntax.Argument
- Argument(String) - Constructor for class org.tweetyproject.arg.adf.syntax.Argument
- Argument(String) - Constructor for class org.tweetyproject.arg.dung.syntax.Argument
-
Default constructor that assigns the given
name
to this argument - Argument(List<ASPRule>) - Constructor for class org.tweetyproject.arg.lp.syntax.Argument
- Argument(ASPRule) - Constructor for class org.tweetyproject.arg.lp.syntax.Argument
- ArgumentationEnvironment - Class in org.tweetyproject.agents.dialogues
-
This class models the environment for agents in argumentation games.
- ArgumentationEnvironment(DungTheory) - Constructor for class org.tweetyproject.agents.dialogues.ArgumentationEnvironment
-
Creates a new grounded environment.
- ArgumentationKnowledgeBase - Class in org.tweetyproject.arg.lp.syntax
-
Instances of this class represent the set of minimal arguments from a extended logic program
- ArgumentationKnowledgeBase(Program) - Constructor for class org.tweetyproject.arg.lp.syntax.ArgumentationKnowledgeBase
- ArgumentationLottery - Class in org.tweetyproject.arg.prob.lotteries
-
This class implements an argumentation lottery, i.e.
- ArgumentationLottery(Collection<Division>, SubgraphProbabilityFunction, Semantics) - Constructor for class org.tweetyproject.arg.prob.lotteries.ArgumentationLottery
-
Creates a new lottery for the given set of divisions using the given probability function and semantics.
- ArgumentationReasoner - Class in org.tweetyproject.arg.lp.reasoner
-
This class models a reasoner for extended logic programming based arguments using the fixpoint semantics from [1] parameterised by a notion of attack x for the opponent and another notion of attack y as a defense for the proponent.
- ArgumentationReasoner(AttackStrategy, AttackStrategy) - Constructor for class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner
-
Creates a new ArgumentationReasoner parameterised by a notion of attack for the opponent and another notion of attack for the defense
- ArgumentationReasonerTest - Class in org.tweetyproject.argumentation.parameterisedhierarchy
- ArgumentationReasonerTest() - Constructor for class org.tweetyproject.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
- ArgumentativeRevisionOperator - Class in org.tweetyproject.beliefdynamics.operators
-
This class is an exemplary instantiation of a revision operator based on deductive argumentation [Kruempelmann:2011] where several parameters have been fixed: - the inner revision is a Levi revision which bases on the random kernel contraction - the transformation function is credulous - the accumulator used for deductive argumentation is the simple accumulator - the categorizer used for deductive argumentation is the classical categorizer
- ArgumentativeRevisionOperator() - Constructor for class org.tweetyproject.beliefdynamics.operators.ArgumentativeRevisionOperator
- ArgumentativeSelectiveRevisionTest - Class in org.tweetyproject.lp.asp.beliefdynamics.selectiverevision
-
This class implements a comparison application for selective revision operators using the SimpleRevisionCompare gui.
- ArgumentativeSelectiveRevisionTest() - Constructor for class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ArgumentativeSelectiveRevisionTest
- ArgumentativeTransformationFunction - Class in org.tweetyproject.beliefdynamics.selectiverevision.argumentative
-
This class implements the argumentative transformation functions proposed in [Kruempelmann:2011].
- ArgumentativeTransformationFunction(Categorizer, Accumulator, PlBeliefSet, boolean) - Constructor for class org.tweetyproject.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction
-
Creates a new argumentative transformation function.
- ArgumentRanking - Class in org.tweetyproject.arg.rankings.semantics
-
This abstract class is the common ancestor for semantical approaches to argument ranking, i.e.
- ArgumentRanking() - Constructor for class org.tweetyproject.arg.rankings.semantics.ArgumentRanking
- arguments() - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
-
Returns the union of
Interpretation.satisfied()
,Interpretation.unsatisfied()
andInterpretation.undecided()
. - arguments() - Method in interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition
- arguments() - Method in enum org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition
- arguments() - Method in class org.tweetyproject.arg.adf.syntax.Argument
- ArgumentSet - Class in org.tweetyproject.arg.bipolar.syntax
-
This class models a set of arguments used by bipolar abstract argumentation theory.
- ArgumentSet() - Constructor for class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
- ArgumentSet(Collection<? extends BArgument>) - Constructor for class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
- ArgumentSet(BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
- ArgumentSet(Extension) - Constructor for class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
- ArgumentStatus - Enum in org.tweetyproject.arg.dung.semantics
-
This enumeration enumerates the classical justification status of an argument.
- ArgumentStructure - Class in org.tweetyproject.arg.saf.syntax
-
This class models an argument structure, i.e.
- ArgumentStructure() - Constructor for class org.tweetyproject.arg.saf.syntax.ArgumentStructure
-
Creates a new empty argument structure.
- ArgumentStructure(String) - Constructor for class org.tweetyproject.arg.saf.syntax.ArgumentStructure
-
Deprecated.
- ArgumentStructure(List<BasicArgument>) - Constructor for class org.tweetyproject.arg.saf.syntax.ArgumentStructure
-
Creates a new argument structure with the given list of arguments.
- ArgumentTree - Class in org.tweetyproject.arg.deductive.semantics
-
Instances of this class represent argument trees in the sense of Definition 6.1 in
Philippe Besnard and Anthony Hunter. - ArgumentTree(DeductiveArgumentNode) - Constructor for class org.tweetyproject.arg.deductive.semantics.ArgumentTree
-
Creates an empty argument tree for the given root node.
- AriTerm() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- ArithmeticTerm - Class in org.tweetyproject.lp.asp.syntax
-
This class represents an arithmetic term in the ASP-Core-2 format.
- ArithmeticTerm(Triple<ASPOperator.ArithmeticOperator, Term<?>, Term<?>>) - Constructor for class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
-
Create a new arithmetic term based on the given triple of an arithmetic operator and two terms.
- ArithmeticTerm(Term<?>) - Constructor for class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
-
Creates an arithmetic term of the form '-(t)'
- ArithmeticTerm(ArithmeticTerm) - Constructor for class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
-
Create a new arithmetic term that is a copy of the given arithmetic term.
- ArithmeticTerm(ASPOperator.ArithmeticOperator, Term<?>) - Constructor for class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
-
Creates an arithmetic term of the form '-(t)'
- ArithmeticTerm(ASPOperator.ArithmeticOperator, Term<?>, Term<?>) - Constructor for class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
-
Create a new arithmetic term with the given operator and left and right term.
- Arithop() - Method in class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- ASCENDING - org.tweetyproject.arg.rankings.semantics.NumericalArgumentRanking.SortingType
-
smallest ranking value is ranked first
- AscendingNumericalRankingTest() - Method in class org.tweetyproject.arg.rankings.RankingsTest
- asDouble() - Method in class org.tweetyproject.machinelearning.BooleanCategory
- asDouble() - Method in interface org.tweetyproject.machinelearning.Category
-
Returns a double representation of this category.
- asDouble() - Method in class org.tweetyproject.machinelearning.DoubleCategory
- asDungTheory() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
- asDungTheory() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
-
This method transfers this Aspic+ theory into a Dung style argumentation system
- asDungTheory(boolean) - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
-
This method transfers this Aspic+ theory into a Dung style argumentation system
- ASPAtom - Class in org.tweetyproject.lp.asp.syntax
-
This class models an atom, which is a basic structure for building literals and rules for logic programs.
- ASPAtom() - Constructor for class org.tweetyproject.lp.asp.syntax.ASPAtom
-
Empty constructor.
- ASPAtom(String) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPAtom
-
Creates a new atom with the given predicate name and no terms.
- ASPAtom(String, Term<?>...) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPAtom
-
Creates an atom with the given predicate as name and the given terms as argument
- ASPAtom(Predicate) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPAtom
-
Creates a new ASPAtom with the given predicate.
- ASPAtom(Predicate, List<Term<?>>) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPAtom
-
Creates a new atom with the given predicate and terms.
- ASPAtom(Predicate, Term<?>...) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPAtom
-
Creates a new atom with the given predicate and terms.
- ASPAtom(FolAtom) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPAtom
-
Copy-Constructor: Generates a deep copy of the given FOL atom.
- ASPAtom(ASPAtom) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPAtom
-
Copy-Constructor: Generates a deep copy of the given ASP atom.
- ASPBodyElement - Class in org.tweetyproject.lp.asp.syntax
-
This class is a common base class for ASP formulas that can be part of an ASP rule body (premise of a rule): Literals (i.e.
- ASPBodyElement() - Constructor for class org.tweetyproject.lp.asp.syntax.ASPBodyElement
- ASPCore2Constants - Interface in org.tweetyproject.lp.asp.parser
-
Token literal values and constants.
- ASPCore2Parser - Class in org.tweetyproject.lp.asp.parser
-
Parser for ASP programs in the ASP-Core-2 syntax https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf.
- ASPCore2Parser(InputStream) - Constructor for class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- ASPCore2Parser(InputStream, String) - Constructor for class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- ASPCore2Parser(Reader) - Constructor for class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- ASPCore2Parser(ASPCore2ParserTokenManager) - Constructor for class org.tweetyproject.lp.asp.parser.ASPCore2Parser
- ASPCore2ParserConstants - Interface in org.tweetyproject.lp.asp.parser
-
Token literal values and constants.
- ASPCore2ParserExample - Class in org.tweetyproject.lp.asp.examples
-
Examples for parsing simple ELP programs and for using Clingo to solve them.
- ASPCore2ParserExample() - Constructor for class org.tweetyproject.lp.asp.examples.ASPCore2ParserExample
- ASPCore2ParserTest - Class in org.tweetyproject.lp.asp.parser
-
This class tests all important functions of the ASP-Core-2 Parser in combination with InstantiateVisitor, which is responsible for walking through the parse-tree and generating in-memory classes of the parsed ASP program.
- ASPCore2ParserTest() - Constructor for class org.tweetyproject.lp.asp.parser.ASPCore2ParserTest
- ASPCore2ParserTokenManager - Class in org.tweetyproject.lp.asp.parser
- ASPCore2ParserTokenManager(SimpleCharStream) - Constructor for class org.tweetyproject.lp.asp.parser.ASPCore2ParserTokenManager
- ASPCore2ParserTokenManager(SimpleCharStream, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASPCore2ParserTokenManager
- ASPCore2ParserTreeConstants - Interface in org.tweetyproject.lp.asp.parser
- ASPCore2ParserVisitor - Interface in org.tweetyproject.lp.asp.parser
- ASPElement - Class in org.tweetyproject.lp.asp.syntax
-
This class acts as an abstract base class for elements of ASP rules.
- ASPElement() - Constructor for class org.tweetyproject.lp.asp.syntax.ASPElement
- ASPExample - Class in org.tweetyproject.lp.asp.examples
-
Example code for creating ASP programs and calling the clingo solver.
- ASPExample() - Constructor for class org.tweetyproject.lp.asp.examples.ASPExample
- AspFolTranslator - Class in org.tweetyproject.logics.translators.aspfol
-
This Translator can translate between FOL and ASP literals (without default negated literals).
- AspFolTranslator() - Constructor for class org.tweetyproject.logics.translators.aspfol.AspFolTranslator
-
Default-Ctor
- ASPFOLTranslatorTest - Class in org.tweetyproject.logics.translators.aspfol
- ASPFOLTranslatorTest() - Constructor for class org.tweetyproject.logics.translators.aspfol.ASPFOLTranslatorTest
- ASPHead - Class in org.tweetyproject.lp.asp.syntax
-
This class is a common base class for ASP formulas that can be part of an ASP rule head.
- ASPHead() - Constructor for class org.tweetyproject.lp.asp.syntax.ASPHead
- AspicArgument<T extends Invertable> - Class in org.tweetyproject.arg.aspic.syntax
- AspicArgument(InferenceRule<T>) - Constructor for class org.tweetyproject.arg.aspic.syntax.AspicArgument
-
Creates an empty Argument
- AspicArgument(InferenceRule<T>, Collection<AspicArgument<T>>) - Constructor for class org.tweetyproject.arg.aspic.syntax.AspicArgument
-
Creates an empty Argument
- AspicArgumentationTheory<T extends Invertable> - Class in org.tweetyproject.arg.aspic.syntax
- AspicArgumentationTheory(RuleFormulaGenerator<T>) - Constructor for class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
-
Constructs a new ASPIC argumentation theory
- AspicAttack<T extends Invertable> - Class in org.tweetyproject.arg.aspic.semantics
- AspicAttack(AspicArgument<T>, AspicArgument<T>) - Constructor for class org.tweetyproject.arg.aspic.semantics.AspicAttack
-
Creates a new AspicAttack
- AspicExample - Class in org.tweetyproject.arg.aspic.examples
-
ASPIC example code that shows how to construct an ASPIC theory programmatically.
- AspicExample() - Constructor for class org.tweetyproject.arg.aspic.examples.AspicExample
- AspicExample2 - Class in org.tweetyproject.arg.aspic.examples
-
ASPIC example code that shows how to parse an ASPIC file and ask queries.
- AspicExample2() - Constructor for class org.tweetyproject.arg.aspic.examples.AspicExample2
- AspicExampleFol - Class in org.tweetyproject.arg.aspic.examples
-
Example code for using ASPIC with first-order-logic formulas.
- AspicExampleFol() - Constructor for class org.tweetyproject.arg.aspic.examples.AspicExampleFol
- AspicGeneratorExample - Class in org.tweetyproject.arg.aspic.examples
-
Exemplary code illustrating the use of the ASPIC theory generator.
- AspicGeneratorExample() - Constructor for class org.tweetyproject.arg.aspic.examples.AspicGeneratorExample
- AspicGeneratorExample2 - Class in org.tweetyproject.arg.aspic.examples
-
This code shows the use of the ASPIC theory generator.
- AspicGeneratorExample2() - Constructor for class org.tweetyproject.arg.aspic.examples.AspicGeneratorExample2
- AspicGeneratorExample3 - Class in org.tweetyproject.arg.aspic.examples
-
This code shows the use of the ASPIC theory generator.
- AspicGeneratorExample3() - Constructor for class org.tweetyproject.arg.aspic.examples.AspicGeneratorExample3
- AspicParser<T extends Invertable> - Class in org.tweetyproject.arg.aspic.parser
-
Parses a Aspic Argumentation System out of an input text.
- AspicParser(Parser<? extends BeliefBase, ? extends Formula>, RuleFormulaGenerator<T>) - Constructor for class org.tweetyproject.arg.aspic.parser.AspicParser
-
Constructs a new instance
- AspicTest - Class in org.tweetyproject.arg.aspic
- AspicTest() - Constructor for class org.tweetyproject.arg.aspic.AspicTest
- AspicWriter<T extends Invertable> - Class in org.tweetyproject.arg.aspic.writer
-
For writing ASPIC argumentation theories to disk.
- AspicWriter() - Constructor for class org.tweetyproject.arg.aspic.writer.AspicWriter
- AspInconsistencyMeasureTest - Class in org.tweetyproject.lp.asp.analysis
-
Tests the functionality of PmInconsistencyMeasure
- AspInconsistencyMeasureTest() - Constructor for class org.tweetyproject.lp.asp.analysis.AspInconsistencyMeasureTest
- ASPLiteral - Class in org.tweetyproject.lp.asp.syntax
-
This class defines common functionality for literals, meaning atoms or strictly negated atoms.
- ASPLiteral() - Constructor for class org.tweetyproject.lp.asp.syntax.ASPLiteral
- AspNlpTranslator - Class in org.tweetyproject.logics.translators.aspnlp
-
Translates between DLP under the answer set semantics (ASP) and NLP.
- AspNlpTranslator() - Constructor for class org.tweetyproject.logics.translators.aspnlp.AspNlpTranslator
- ASPNLPTranslatorTest - Class in org.tweetyproject.logics.translators.aspnlp
- ASPNLPTranslatorTest() - Constructor for class org.tweetyproject.logics.translators.aspnlp.ASPNLPTranslatorTest
- ASPOperator - Class in org.tweetyproject.lp.asp.syntax
-
This class collects some common operators used in ASP terms as well as the possible function names for aggregates.
- ASPOperator() - Constructor for class org.tweetyproject.lp.asp.syntax.ASPOperator
- ASPOperator.AggregateFunction - Enum in org.tweetyproject.lp.asp.syntax
-
The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.
- ASPOperator.ArithmeticOperator - Enum in org.tweetyproject.lp.asp.syntax
-
The arithmetic operators that are supported by the ASP-Core-2 standard and by Tweety: PLUS (+), MINUS (-), TIMES (*), DIV (/)
- ASPOperator.BinaryOperator - Enum in org.tweetyproject.lp.asp.syntax
-
The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety: LT (<), LEQ (<=), EQ (==), NEQ (!=), GT (>), GEQ (>=)
- ASPOperator.OptimizeFunction - Enum in org.tweetyproject.lp.asp.syntax
- asPrograms() - Method in class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
-
Returns this set of remainder sets as a collection of programs where each program contains exactly the rules of one remainder set.
- ASPRule - Class in org.tweetyproject.lp.asp.syntax
-
This class models a rule in ASP.
- ASPRule() - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Empty constructor
- ASPRule(List<ASPBodyElement>) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a constraint with the given body.
- ASPRule(List<ASPBodyElement>, Term<?>, List<Term<?>>) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a weak constraint with the given weight and terms.
- ASPRule(List<ASPBodyElement>, Term<?>, Term<?>, List<Term<?>>) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a weak constraint with the given weight, level (priority) and terms.
- ASPRule(ASPHead) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a fact with the given ASPHead.
- ASPRule(ASPHead, List<ASPBodyElement>) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a rule with the given head and body.
- ASPRule(ASPHead, ASPBodyElement) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a rule with the given head and a single-element body.
- ASPRule(ASPLiteral) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a fact with the given literal.
- ASPRule(ASPLiteral, List<ASPBodyElement>) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a rule with the given head and body.
- ASPRule(ASPLiteral, ASPBodyElement) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a rule with the given head and a single-element body.
- ASPRule(ASPRule) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Copy-Constructor
- ASPRule(OptimizationStatement) - Constructor for class org.tweetyproject.lp.asp.syntax.ASPRule
-
Creates a new rule with the given optimization statement.
- ASPSolver - Class in org.tweetyproject.lp.asp.reasoner
-
This class provides a common interface for asp solvers.
- ASPSolver() - Constructor for class org.tweetyproject.lp.asp.reasoner.ASPSolver
- asReasoner() - Method in class org.tweetyproject.arg.adf.reasoner.sat.Pipeline
- asRestrictedDungTheory(AspicArgumentationTheory<T>, boolean, T) - Method in class org.tweetyproject.arg.aspic.reasoner.DirectionalAspicReasoner
-
Generate restricted AF based on given theory and conclusion.
- AssertionalAxiom - Class in org.tweetyproject.logics.dl.syntax
-
Abstract base class for assertional axioms (concept assertions and role assertions).
- AssertionalAxiom() - Constructor for class org.tweetyproject.logics.dl.syntax.AssertionalAxiom
- Association - Class in org.tweetyproject.logics.bpm.syntax
-
A class to represent Associations in a BPMN Model
- Association(BpmnNode, BpmnNode) - Constructor for class org.tweetyproject.logics.bpm.syntax.Association
-
Create a new Association between two nodes
- AssociationRule<T> - Class in org.tweetyproject.machinelearning.assoc
-
An association rule in item set mining.
- AssociationRule() - Constructor for class org.tweetyproject.machinelearning.assoc.AssociationRule
-
Creates a new empty association rule.
- AssociationRule(Collection<T>, Collection<T>) - Constructor for class org.tweetyproject.machinelearning.assoc.AssociationRule
-
Creates a new association rule with the given premise and conclusion
- AssociationRuleMiner<T> - Interface in org.tweetyproject.machinelearning.assoc
-
Interface for algorithms mining association rules from transaction databases.
- AssociativeDlFormula - Class in org.tweetyproject.logics.dl.syntax
-
This class captures the common functionalities of description logic associative formulas (union and intersection).
- AssociativeDlFormula() - Constructor for class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
-
Creates a new (empty) associative formula.
- AssociativeDlFormula(Collection<? extends ComplexConcept>) - Constructor for class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
-
Creates a new associative formula with the given inner formulas.
- AssociativeDlFormula(ComplexConcept, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
-
Creates a new associative formula with the two given formulae
- AssociativeFolFormula - Class in org.tweetyproject.logics.fol.syntax
-
This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.
- AssociativeFolFormula() - Constructor for class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
-
Creates a new (empty) associative formula.
- AssociativeFolFormula(Collection<? extends RelationalFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
-
Creates a new associative formula with the given inner formulas.
- AssociativeFolFormula(RelationalFormula, RelationalFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
-
Creates a new associative formula with the two given formulae
- AssociativeFormula<T extends SimpleLogicalFormula> - Interface in org.tweetyproject.logics.commons.syntax.interfaces
-
This interfaces describes associative formulas like a disjunction or a conjunction.
- AssociativeFormulaSupport<T extends SimpleLogicalFormula> - Class in org.tweetyproject.logics.commons.syntax
-
This class provides common implementation for associative formulas that are formulas which consists of several other formulas.
- AssociativeFormulaSupport(AssociativeFormulaSupport.AssociativeSupportBridge) - Constructor for class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
-
Ctor: Creates a AssociativeFormulaSupport object that uses the given bridge
- AssociativeFormulaSupport(AssociativeFormulaSupport<T>) - Constructor for class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
-
Copy-Ctor creates a deep copy of the associative formula support.
- AssociativeFormulaSupport.AssociativeSupportBridge - Interface in org.tweetyproject.logics.commons.syntax
-
This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.
- AssociativeOperation - Class in org.tweetyproject.math.term
- AssociativeOperation() - Constructor for class org.tweetyproject.math.term.AssociativeOperation
-
Creates a new (empty) operation.
- AssociativeOperation(Collection<? extends Term>) - Constructor for class org.tweetyproject.math.term.AssociativeOperation
-
Creates a new operation with the given list of terms.
- AssociativeOperation(Term, Term) - Constructor for class org.tweetyproject.math.term.AssociativeOperation
-
Creates a new operation with the given terms.
- AssociativePlFormula - Class in org.tweetyproject.logics.pl.syntax
-
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
- AssociativePlFormula() - Constructor for class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
-
Creates a new (empty) associative formula.
- AssociativePlFormula(Collection<? extends PlFormula>) - Constructor for class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
-
Creates a new associative formula with the given inner formulas.
- AssociativePlFormula(PlFormula, PlFormula) - Constructor for class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
-
Creates a new associative formula with the two given formulae
- assume(Atom, boolean) - Method in class org.tweetyproject.arg.adf.sat.AsynchronousCloseSatSolverState
- assume(Atom, boolean) - Method in class org.tweetyproject.arg.adf.sat.AsynchronousSatSolverState
- assume(Atom, boolean) - Method in interface org.tweetyproject.arg.adf.sat.SatSolverState
-
Assumes the truth value of the given proposition for the next call to
SatSolverState.satisfiable()
. - Assumption<T extends Formula> - Class in org.tweetyproject.arg.aba.syntax
-
This class models an assumption of an ABA theory.
- Assumption(T) - Constructor for class org.tweetyproject.arg.aba.syntax.Assumption
-
Creates a new assumption
- ASTAggregate - Class in org.tweetyproject.lp.asp.parser
- ASTAggregate(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAggregate
- ASTAggregate(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAggregate
- ASTAggrElement - Class in org.tweetyproject.lp.asp.parser
- ASTAggrElement(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAggrElement
- ASTAggrElement(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAggrElement
- ASTAggrElementList - Class in org.tweetyproject.lp.asp.parser
- ASTAggrElementList(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAggrElementList
- ASTAggrElementList(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAggrElementList
- ASTAggrFunc - Class in org.tweetyproject.lp.asp.parser
- ASTAggrFunc(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAggrFunc
- ASTAggrFunc(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAggrFunc
- ASTAnswerSet - Class in org.tweetyproject.lp.asp.parser
- ASTAnswerSet(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAnswerSet
- ASTAnswerSet(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAnswerSet
- ASTAriTerm - Class in org.tweetyproject.lp.asp.parser
- ASTAriTerm(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAriTerm
- ASTAriTerm(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTAriTerm
- ASTArithop - Class in org.tweetyproject.lp.asp.parser
- ASTArithop(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTArithop
- ASTArithop(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTArithop
- ASTBinop - Class in org.tweetyproject.lp.asp.parser
- ASTBinop(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTBinop
- ASTBinop(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTBinop
- ASTBody - Class in org.tweetyproject.lp.asp.parser
- ASTBody(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTBody
- ASTBody(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTBody
- ASTBodyList - Class in org.tweetyproject.lp.asp.parser
- ASTBodyList(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTBodyList
- ASTBodyList(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTBodyList
- ASTBuiltInAtom - Class in org.tweetyproject.lp.asp.parser
- ASTBuiltInAtom(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTBuiltInAtom
- ASTBuiltInAtom(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTBuiltInAtom
- ASTChoice - Class in org.tweetyproject.lp.asp.parser
- ASTChoice(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTChoice
- ASTChoice(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTChoice
- ASTChoiceElement - Class in org.tweetyproject.lp.asp.parser
- ASTChoiceElement(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTChoiceElement
- ASTChoiceElement(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTChoiceElement
- ASTChoiceElementList - Class in org.tweetyproject.lp.asp.parser
- ASTChoiceElementList(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTChoiceElementList
- ASTChoiceElementList(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTChoiceElementList
- ASTClingoMeta - Class in org.tweetyproject.lp.asp.parser
- ASTClingoMeta(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTClingoMeta
- ASTClingoMeta(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTClingoMeta
- ASTHead - Class in org.tweetyproject.lp.asp.parser
- ASTHead(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTHead
- ASTHead(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTHead
- ASTHeadElementsList - Class in org.tweetyproject.lp.asp.parser
- ASTHeadElementsList(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTHeadElementsList
- ASTHeadElementsList(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTHeadElementsList
- ASTID - Class in org.tweetyproject.lp.asp.parser
- ASTID(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTID
- ASTID(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTID
- ASTLiteral - Class in org.tweetyproject.lp.asp.parser
- ASTLiteral(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTLiteral
- ASTLiteral(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTLiteral
- ASTNAFLiteral - Class in org.tweetyproject.lp.asp.parser
- ASTNAFLiteral(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTNAFLiteral
- ASTNAFLiteral(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTNAFLiteral
- ASTNAFLiteralList - Class in org.tweetyproject.lp.asp.parser
- ASTNAFLiteralList(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTNAFLiteralList
- ASTNAFLiteralList(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTNAFLiteralList
- ASTNumber - Class in org.tweetyproject.lp.asp.parser
- ASTNumber(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTNumber
- ASTNumber(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTNumber
- ASTOpt - Class in org.tweetyproject.lp.asp.parser
- ASTOpt(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTOpt
- ASTOpt(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTOpt
- ASTOptElement - Class in org.tweetyproject.lp.asp.parser
- ASTOptElement(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTOptElement
- ASTOptElement(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTOptElement
- ASTOptElementList - Class in org.tweetyproject.lp.asp.parser
- ASTOptElementList(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTOptElementList
- ASTOptElementList(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTOptElementList
- ASTOptFunc - Class in org.tweetyproject.lp.asp.parser
- ASTOptFunc(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTOptFunc
- ASTOptFunc(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTOptFunc
- ASTProgram - Class in org.tweetyproject.lp.asp.parser
- ASTProgram(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTProgram
- ASTProgram(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTProgram
- ASTQuery - Class in org.tweetyproject.lp.asp.parser
- ASTQuery(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTQuery
- ASTQuery(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTQuery
- ASTRule - Class in org.tweetyproject.lp.asp.parser
- ASTRule(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTRule
- ASTRule(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTRule
- ASTRuleList - Class in org.tweetyproject.lp.asp.parser
- ASTRuleList(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTRuleList
- ASTRuleList(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTRuleList
- ASTString - Class in org.tweetyproject.lp.asp.parser
- ASTString(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTString
- ASTString(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTString
- ASTTerm - Class in org.tweetyproject.lp.asp.parser
- ASTTerm(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTTerm
- ASTTerm(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTTerm
- ASTTermList - Class in org.tweetyproject.lp.asp.parser
- ASTTermList(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTTermList
- ASTTermList(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTTermList
- ASTVar - Class in org.tweetyproject.lp.asp.parser
- ASTVar(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTVar
- ASTVar(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTVar
- ASTWeight - Class in org.tweetyproject.lp.asp.parser
- ASTWeight(int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTWeight
- ASTWeight(ASPCore2Parser, int) - Constructor for class org.tweetyproject.lp.asp.parser.ASTWeight
- AsynchronousCloseSatSolverState - Class in org.tweetyproject.arg.adf.sat
-
The cleanup after the
AsynchronousCloseSatSolverState.close()
call happens (possibly) in a separate thread, depending on the provided executor. - AsynchronousCloseSatSolverState(SatSolverState, Executor) - Constructor for class org.tweetyproject.arg.adf.sat.AsynchronousCloseSatSolverState
- AsynchronousSatSolverState - Class in org.tweetyproject.arg.adf.sat
-
Executes all operations of the underlying
SatSolverState
in a (possibly) separate thread, determined by the providedExecutorService
. - AsynchronousSatSolverState(SatSolverState) - Constructor for class org.tweetyproject.arg.adf.sat.AsynchronousSatSolverState
- AsynchronousSatSolverState(SatSolverState, ExecutorService) - Constructor for class org.tweetyproject.arg.adf.sat.AsynchronousSatSolverState
- AT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- AT - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- Atom - Interface in org.tweetyproject.arg.adf.syntax.pl
- Atom - Interface in org.tweetyproject.logics.commons.syntax.interfaces
-
An atomic language construct, linked to its predicate
- Atom(DefeasibleLogicProgram, FolSignature) - Method in class org.tweetyproject.arg.delp.parser.DelpParser
- Atom.AtomImpl - Class in org.tweetyproject.logics.commons.syntax.interfaces
-
Gives common implementations for methods shared among atoms of different types.
- Atom.RETURN_SET_PREDICATE - Enum in org.tweetyproject.logics.commons.syntax.interfaces
-
An enum containing the different return values of the setPredicate() method of Atom.
- AtomicConcept - Class in org.tweetyproject.logics.dl.syntax
-
This class models an atomic concept (aka concept name) in description logics.
- AtomicConcept(String) - Constructor for class org.tweetyproject.logics.dl.syntax.AtomicConcept
-
Initializes an atomic concept with the given name.
- AtomicConcept(Predicate) - Constructor for class org.tweetyproject.logics.dl.syntax.AtomicConcept
- AtomicRole - Class in org.tweetyproject.logics.dl.syntax
-
This class models a role in description logics.
- AtomicRole(String) - Constructor for class org.tweetyproject.logics.dl.syntax.AtomicRole
-
Initializes a role with the given name.
- AtomicRole(Predicate) - Constructor for class org.tweetyproject.logics.dl.syntax.AtomicRole
- AtomImpl() - Constructor for class org.tweetyproject.logics.commons.syntax.interfaces.Atom.AtomImpl
- Attack - Class in org.tweetyproject.arg.dung.syntax
-
This class models an attack between two arguments.
- Attack - Class in org.tweetyproject.arg.lp.semantics.attack
-
This notion of attack models the attack relation.
- Attack - Interface in org.tweetyproject.arg.bipolar.syntax
-
This interface captures common methods of different interpretations of the attack relation in bipolar abstract argumentation theories.
- Attack - Interface in org.tweetyproject.arg.deductive.semantics.attacks
-
This interface is the common interface for notions of attack between two arguments.
- Attack(Argument, Argument) - Constructor for class org.tweetyproject.arg.dung.syntax.Attack
-
Default constructor; initializes the two arguments used in this attack relation
- ATTACKING - org.tweetyproject.arg.adf.semantics.link.LinkType
- attackProbability - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest
- attackProbability - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest
- attackProbability - Variable in class org.tweetyproject.arg.dung.util.DungTheoryGenerationParameters
-
The attack probability for each two arguments in the theory.
- AttackRelation - Class in org.tweetyproject.arg.lp.semantics
-
This class represents an attack relation for a specific set of arguments represented by an ArgumentationKnowledgeBase.
- AttackRelation(ArgumentationKnowledgeBase, AttackStrategy) - Constructor for class org.tweetyproject.arg.lp.semantics.AttackRelation
-
Creates a new AttackRelation for an argumentation knowledgebase and a certain notion of attack.
- attacks(Collection<Assumption<T>>, Collection<Assumption<T>>) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
-
Checks whether a set of assumptions attacks another set of assumptions.
- attacks(Set<Argument>, Argument) - Method in class org.tweetyproject.arg.lp.semantics.AttackRelation
-
Is true iff at least one attacking argument attacks b
- attacks(Deduction<T>, Assumption<T>) - Static method in class org.tweetyproject.arg.aba.semantics.AbaAttack
- attacks(Deduction<T>, T) - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.attack.Attack
- attacks(Argument, Argument) - Method in interface org.tweetyproject.arg.lp.semantics.attack.AttackStrategy
-
Returns "true" iff the first argument attacks the second argument.
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.attack.ConfidentAttack
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.attack.ConfidentRebut
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.attack.Defeat
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.attack.Rebut
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.attack.StrongAttack
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.attack.StrongConfidentAttack
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.attack.StrongUndercut
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.attack.Undercut
- attacks(Argument, Argument) - Method in class org.tweetyproject.arg.lp.semantics.AttackRelation
-
Returns true iff argument a attacks argument b for the notion of attack represented by this attack relation.
- attacks(ArgumentStructure, StructuredArgumentationFramework) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
-
Checks whether this argument structure attacks the other argument structure, i.e.
- AttackStrategy - Interface in org.tweetyproject.arg.lp.semantics.attack
-
This interface is the common denominator for notions of attack between two arguments.
- AttackTest - Class in org.tweetyproject.argumentation.parameterisedhierarchy
- AttackTest() - Constructor for class org.tweetyproject.argumentation.parameterisedhierarchy.AttackTest
- AttackTest() - Method in class org.tweetyproject.arg.aba.AbaTest
- AttackTest() - Method in class org.tweetyproject.arg.aspic.AspicTest
- ATTACKVSFULLDEFENSE - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate
-
The ATTACKVSFULLDEFENSE postulate
- ATTENUATION - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
-
The ATTENUATION postulate
- AverageAggregator - Class in org.tweetyproject.math.func
-
This aggregation function models the average function.
- AverageAggregator() - Constructor for class org.tweetyproject.math.func.AverageAggregator
- averageAndVariance(Collection<Double>) - Static method in class org.tweetyproject.commons.util.MathTools
-
Compute the average value and the variance of the given list of numbers.
- AveragingSemantics - Class in org.tweetyproject.logics.rpcl.semantics
-
This class implements averaging semantics due to [Kern-Isberner, Thimm, KR'2010].
- AveragingSemantics() - Constructor for class org.tweetyproject.logics.rpcl.semantics.AveragingSemantics
- avoidSelfAttacks - Variable in class org.tweetyproject.arg.dung.util.DungTheoryGenerationParameters
-
Whether to avoid self-attacks.
- AvsFDCounterexampleTest() - Method in class org.tweetyproject.arg.rankings.RankingReasonerTest
All Classes All Packages