Index

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

U

UnbiasedCreepingMachineShop - Class in org.tweetyproject.logics.pcl.analysis
This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set.
UnbiasedCreepingMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.UnbiasedCreepingMachineShop
 
uncertainArgument - Variable in class org.tweetyproject.arg.dung.syntax.IncompleteTheory
uncertin arguments
uncertainAttacks - Variable in class org.tweetyproject.arg.dung.syntax.IncompleteTheory
uncertain attacks
undecided() - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
undecided(Argument) - Method in class org.tweetyproject.arg.adf.semantics.interpretation.Interpretation.Builder
 
undecided(Argument) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
UNDECIDED - Enum constant in enum org.tweetyproject.arg.delp.semantics.DelpAnswer.Type
 
UNDECIDED - Enum constant in enum org.tweetyproject.arg.dung.semantics.ArgumentStatus
UNDECIDED
UNDECIDED - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue
undecided
UNDECIDED - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue
undecided
UNDEFEATED - Enum constant in enum org.tweetyproject.arg.delp.semantics.DialecticalTree.Mark
 
Undercut - Class in org.tweetyproject.arg.deductive.semantics.attacks
This attack notion models the undercut relation; A is defeated by B iff there is C subset of support(A) with claim(B) == \neg C.
Undercut - Class in org.tweetyproject.arg.lp.semantics.attack
This notion of attack models the undercut relation.
UNDIRECTED - Enum constant in enum org.tweetyproject.arg.adf.reasoner.heuristics.DegreeComparator.DegreeType
Deprecated.
UNDIRECTED
undirecteddiameter(Graph<T>) - Static method in class org.tweetyproject.graphs.util.GraphUtil
* Returns the (undirected) diameter of the graph, i.e.
UndirectedEdge<T extends Node> - Class in org.tweetyproject.graphs
Instances of this class represent undirected edges.
UndirectedEdge(T, T) - Constructor for class org.tweetyproject.graphs.UndirectedEdge
Creates a new undirected edge for the given nodes.
UndisputedReasoner - Class in org.tweetyproject.arg.dung.reasoner
Implements the undisputed semantics, as proposed in [Thimm.
UndisputedReasoner() - Constructor for class org.tweetyproject.arg.dung.reasoner.UndisputedReasoner
simple constructor
UNEQUAL - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
UNEQUAL - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants
RegularExpression Id.
UNEQUAL - Static variable in class org.tweetyproject.math.equation.Inequation
unequal
UnfairnessEntropyMeasure - Class in org.tweetyproject.logics.bpm.analysis
 
UnfairnessEntropyMeasure() - Constructor for class org.tweetyproject.logics.bpm.analysis.UnfairnessEntropyMeasure
 
UnfairnessMeasure - Class in org.tweetyproject.logics.bpm.analysis
 
UnfairnessMeasure() - Constructor for class org.tweetyproject.logics.bpm.analysis.UnfairnessMeasure
 
union(Interpretation, Interpretation) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
Creates the union of two disjunct interpretations.
Union - Class in org.tweetyproject.logics.dl.syntax
This class models an union in description logics.
Union() - Constructor for class org.tweetyproject.logics.dl.syntax.Union
Creates a new (empty) union.true
Union(Collection<? extends ComplexConcept>) - Constructor for class org.tweetyproject.logics.dl.syntax.Union
Creates a new union with the given inner formulas.
Union(ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.Union
Create a new union with the given formula.
Union(ComplexConcept, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.Union
Creates a new union with the two given formulae
UnionCollectionView<E> - Class in org.tweetyproject.arg.adf.util
 
UnionCollectionView(Collection<? extends E>, Collection<? extends E>) - Constructor for class org.tweetyproject.arg.adf.util.UnionCollectionView
 
UnionSetView<E> - Class in org.tweetyproject.arg.adf.util
 
UnionSetView(Set<? extends E>, Set<? extends E>) - Constructor for class org.tweetyproject.arg.adf.util.UnionSetView
Expects the two sets to be disjoint, otherwise some methods, e.g.
UniversalRestriction - Class in org.tweetyproject.logics.dl.syntax
This class models an universal restriction in description logics, i.e.
UniversalRestriction(AtomicRole, ComplexConcept) - Constructor for class org.tweetyproject.logics.dl.syntax.UniversalRestriction
Creates a new ALC universal restriction with the given role and concept.
UNKNOWN - Enum constant in enum org.tweetyproject.arg.delp.semantics.DelpAnswer.Type
 
UNKNOWN - Enum constant in enum org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer
 
unknownComp1() - Method in class org.tweetyproject.arg.delp.TestDeLP
 
unknownComp2() - Method in class org.tweetyproject.arg.delp.TestDeLP
 
UNLIMITED_EXECUTION - Static variable in class org.tweetyproject.agents.SynchronousProtocol
Indicates an unlimited number of execution steps of this protocol.
UnlivenessMeasure - Class in org.tweetyproject.logics.bpm.analysis
 
UnlivenessMeasure() - Constructor for class org.tweetyproject.logics.bpm.analysis.UnlivenessMeasure
 
UnrecognizedQueryTest() - Method in class org.tweetyproject.logics.ml.MlReasonerTest
 
unrestricted(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer
 
unrestricted(Supplier<SatSolverState>, AbstractDialecticalFramework, PropositionalMapping) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.processor.ConflictFreeMaximizer
 
unrestricted(AbstractDialecticalFramework, PropositionalMapping, Supplier<SatSolverState>) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ConflictFreeGenerator
The resulting CandidateGenerator computes all conflict free interpretations.
unrestricted(AbstractDialecticalFramework, PropositionalMapping, Supplier<SatSolverState>) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.GroundGenerator
The resulting CandidateGenerator computes the ground interpretation.
unrestricted(AbstractDialecticalFramework, PropositionalMapping, Supplier<SatSolverState>) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ModelGenerator
The resulting CandidateGenerator computes all two-valued model interpretations.
UNSAT - Enum constant in enum org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer
 
unsat1() - Method in class org.tweetyproject.sat.test.LingelingTest
 
unsat1() - Method in class org.tweetyproject.sat.test.MinisatTest
 
unsat1() - Method in class org.tweetyproject.sat.test.PicosatTest
 
unsatisfied() - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
unsatisfied(Argument) - Method in class org.tweetyproject.arg.adf.semantics.interpretation.Interpretation.Builder
 
unsatisfied(Argument) - Method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
unstableCountInconsistencyMeasure() - Method in class org.tweetyproject.arg.dung.ExtensionInconsistencyMeasure
 
UnstableCountInconsistencyMeasure<T extends DungTheory> - Class in org.tweetyproject.arg.dung.analysis
 
UnstableCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.UnstableCountInconsistencyMeasure
 
update(Consumer<SatSolverState>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator
 
update(Consumer<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator
Updates the internal state of the generator with the provided function.
update(DialogueTrace<Argument, Extension<DungTheory>>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.BeliefState
Updates the current belief state accordingly to the given dialogue trace.
update(DialogueTrace<Argument, Extension<DungTheory>>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState
 
update(DialogueTrace<Argument, Extension<DungTheory>>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState
 
update(DialogueTrace<Argument, Extension<DungTheory>>) - Method in class org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState
 
update(Update<T>, List<PreferenceOrder<T>>) - Method in interface org.tweetyproject.preferences.aggregation.DynamicPreferenceAggregator
This update stream is going to be used for dynamic changes in a preferences orders Input: ArrayList(Quadruple(PreferenceOrder, Number of Operations, Operation, Element)) e.g: weakening element b in PO test 2 times needs quadruple like this: Quadruple(test, 2, WEAKEN, b) Possible Structures: ArrayList, Queue Empty initialization, update() if stream is not empty
update(Update<T>, List<PreferenceOrder<T>>) - Method in class org.tweetyproject.preferences.aggregation.DynamicScoringPreferenceAggregator
The update-method for dynamically changing the input for preference aggregation
update(UpdateStream<T>, List<PreferenceOrder<T>>) - Method in class org.tweetyproject.preferences.aggregation.DynamicScoringPreferenceAggregator
this method extends the update-functionality with input-streams consisting of Update-elements
Update<T> - Class in org.tweetyproject.preferences.update
This Update-class provides update-elements used within dynamic preference aggregations
Update(int, Operation, Integer, T) - Constructor for class org.tweetyproject.preferences.update.Update
The constructor for update-elements
UPDATE_NAIVE - Static variable in class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
Constant for denoting the naive update.
UPDATE_ROUGH - Static variable in class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
Constant for denoting the rough update.
UPDATE_SIMPLE - Static variable in class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
Constant for denoting the simple update.
UPDATE_STICKY - Static variable in class org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent
Constant for denoting the sticky update.
UpdateEvent<T> - Class in org.tweetyproject.preferences.events
The class for event objects used in dynamic preference aggregation
UpdateEvent(Object, PreferenceOrder<T>) - Constructor for class org.tweetyproject.preferences.events.UpdateEvent
constructor for an update containing the aggregation result
UpdateListener<T> - Interface in org.tweetyproject.preferences.events
The interface for UpdateListener used for dynamic preference aggregation
UpdatePrinter<T> - Class in org.tweetyproject.preferences.events
This exemplary class implements a simple printer for update events writing its result into the console
UpdatePrinter() - Constructor for class org.tweetyproject.preferences.events.UpdatePrinter
 
updateState(SatSolverState, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.processor.AdmissibleMaximizer
 
updateState(SatSolverState, Interpretation) - Method in class org.tweetyproject.arg.adf.reasoner.sat.processor.ConflictFreeMaximizer
 
updateState(SatSolverState, Interpretation) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.processor.InterpretationProcessor
 
UpdateStream<T> - Class in org.tweetyproject.preferences.update
Konzeption: Der Update-Stream ist eine Datenstruktur, die benutzt wird, um eine Reihe von Updates fuer dynamische POs einzuspeisen und zu verwalten.
UpdateStream() - Constructor for class org.tweetyproject.preferences.update.UpdateStream
 
updateWeight(Attack, double) - Method in class org.tweetyproject.arg.dung.syntax.WeightedDungTheory
updates the weight of the given attack with the given value and return old value
UPParser - Class in org.tweetyproject.preferences.io
Update Parser for reading updates for dynamic Preference Aggregation Please note: update file syntax changed from (index, operation, amount, element) e.g.
UPParser() - Constructor for class org.tweetyproject.preferences.io.UPParser
 
UPParser(InputStream) - Constructor for class org.tweetyproject.preferences.io.UPParser
Constructor with InputStream.
UPParser(InputStream, String) - Constructor for class org.tweetyproject.preferences.io.UPParser
Constructor with InputStream and supplied encoding
UPParser(Reader) - Constructor for class org.tweetyproject.preferences.io.UPParser
Constructor.
UPParser(UPParserTokenManager) - Constructor for class org.tweetyproject.preferences.io.UPParser
Constructor with generated Token Manager.
UPParserConstants - Interface in org.tweetyproject.preferences.io
Token literal values and constants.
UPParserTokenManager - Class in org.tweetyproject.preferences.io
Token Manager.
UPParserTokenManager(SimpleCharStream) - Constructor for class org.tweetyproject.preferences.io.UPParserTokenManager
Constructor.
UPParserTokenManager(SimpleCharStream, int) - Constructor for class org.tweetyproject.preferences.io.UPParserTokenManager
Constructor.
UPPER_BOUND - Static variable in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution
upper bound
UpperApproxDistanceMinimizationInconsistencyMeasure - Class in org.tweetyproject.logics.pcl.analysis
This class models an approximation from above to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].
UpperApproxDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.UpperApproxDistanceMinimizationInconsistencyMeasure
 
usePredicateWhitelist(boolean) - Method in class org.tweetyproject.lp.asp.writer.ClingoWriter
 
User - Enum constant in enum org.tweetyproject.logics.bpm.syntax.TaskType
User
UtilityBasedAgentGenerator - Class in org.tweetyproject.agents.dialogues.lotteries.sim
Generates baseline lottery agents.
UtilityBasedAgentGenerator(String) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator
 
UtilityBasedLotteryAgent - Class in org.tweetyproject.agents.dialogues.lotteries
 
UtilityBasedLotteryAgent(String, DungTheory, UtilityFunction, Semantics) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.UtilityBasedLotteryAgent
 
UtilityFunction<S,T extends Collection<S>> - Class in org.tweetyproject.agents.dialogues.oppmodels
Objects of this class represent utility function that assess dialogue traces.
UtilityFunction - Class in org.tweetyproject.arg.prob.lotteries
A utility function that maps divisions to utilities
UtilityFunction - Interface in org.tweetyproject.agents.dialogues.structured
This interface models an utility function, i.e.
UtilityFunction() - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.UtilityFunction
 
UtilityFunction() - Constructor for class org.tweetyproject.arg.prob.lotteries.UtilityFunction
Creates a new utility function.
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form