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

UA - Enum constant in enum org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner.Initial: Indicates that the argument is unattacked.
UC - Enum constant in enum org.tweetyproject.arg.dung.reasoner.SimpleInitialReasoner.Initial: Indicates that the argument is unchallenged.
UC - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: UC
UD - Enum constant in enum org.tweetyproject.arg.dung.semantics.Semantics: UD
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: Constructor
uncertainArgument - Variable in class org.tweetyproject.arg.dung.syntax.IncompleteTheory: uncertain arguments
uncertainAttacks - Variable in class org.tweetyproject.arg.dung.syntax.IncompleteTheory: uncertain attacks
UNCHALLENGED_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
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: Represents an undecided answer, indicating that the reasoner cannot determine a clear yes or no.
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: Represents the state of being undefeated.
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.

Compare based on the sum of both incoming and outgoing links.
undirecteddiameter(Graph<T>) - Static method in class org.tweetyproject.graphs.util.GraphUtil: * Returns the (undirected) diameter of the graph, i.e.
UndirectedEdge<T> - 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.
UNDISPUTED_SEMANTICS - Static variable in enum org.tweetyproject.arg.dung.semantics.Semantics: all semantics
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: The UnfairnessEntropyMeasure
UnfairnessEntropyMeasure() - Constructor for class org.tweetyproject.logics.bpm.analysis.UnfairnessEntropyMeasure: Default Constructor
UnfairnessMeasure - Class in org.tweetyproject.logics.bpm.analysis: The UnfairnessMeasure
UnfairnessMeasure() - Constructor for class org.tweetyproject.logics.bpm.analysis.UnfairnessMeasure: Default Constructor
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 class
UnionCollectionView(Collection<? extends E>, Collection<? extends E>) - Constructor for class org.tweetyproject.arg.adf.util.UnionCollectionView: Constructs a new UnionCollectionView that represents the union of the two specified collections.
UnionSetView<E> - Class in org.tweetyproject.arg.adf.util: A view that provides the union of two disjoint sets as a single set.
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.
unit_time(String) - Method in class org.tweetyproject.web.services.aba.AbaReasonerResponse: Sets the unit time for this object and returns the instance of AbaReasonerResponse.
unit_time(String) - Method in class org.tweetyproject.web.services.delp.DeLPResponse: Sets the unit time specified in the DeLP response.
unit_timeout(String) - Method in class org.tweetyproject.web.services.aba.AbaReasonerPost: Sets the unit timeout for the ABA reasoner post request.
unit_timeout(String) - Method in class org.tweetyproject.web.services.delp.DeLPPost: Sets the unit timeout value specified in the DeLP request.
unit_timeout(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost: Sets the unit of time for the timeout and returns this instance for method chaining.
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: Represents an unknown answer, typically used when the state of the answer is indeterminate or unclassified.
UNKNOWN - Enum constant in enum org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer: Unknown
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: The UnlivenessMeasure
UnlivenessMeasure() - Constructor for class org.tweetyproject.logics.bpm.analysis.UnlivenessMeasure: Default Constructor
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: Creates and returns an unrestricted InterpretationProcessor that maximizes interpretations without any restrictions on the partial interpretation.
unrestricted(AbstractDialecticalFramework, PropositionalMapping, Supplier<SatSolverState>) - Static method in class org.tweetyproject.arg.adf.reasoner.sat.generator.ConflictFreeGenerator: Creates a CandidateGenerator that 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: Creates a CandidateGenerator that computes all two-valued model interpretations.
UNSAT - Enum constant in enum org.tweetyproject.logics.qbf.parser.QdimacsParser.Answer: Unsat
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: Tests the unstable count inconsistency measure.
UnstableCountInconsistencyMeasure<T> - Class in org.tweetyproject.arg.dung.analysis: This class represents an inconsistency measure based on stable extensions.
UnstableCountInconsistencyMeasure() - Constructor for class org.tweetyproject.arg.dung.analysis.UnstableCountInconsistencyMeasure
update(Consumer<SatSolverState>) - Method in class org.tweetyproject.arg.adf.reasoner.sat.generator.AbstractCandidateGenerator: Updates the SAT solver state by applying the provided update function.
update(Consumer<SatSolverState>) - Method in interface org.tweetyproject.arg.adf.reasoner.sat.generator.CandidateGenerator: Updates the internal state of the generator using the provided update 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: Updates the SAT solver state to prevent smaller interpretations from being computed in the future.
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: Constructs an empty 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: Constructor
UPParser(InputStream) - Constructor for class org.tweetyproject.preferences.io.UPParser: Constructor with InputStream.
UPParser(InputStream, String) - Constructor for class org.tweetyproject.preferences.io.UPParser: Constructs a parser with an input stream and a specified encoding.
UPParser(Reader) - Constructor for class org.tweetyproject.preferences.io.UPParser: Constructs a parser with a reader.
UPParser(UPParserTokenManager) - Constructor for class org.tweetyproject.preferences.io.UPParser: Constructs a parser with a provided 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: Token manager for parsing with the given input stream.
UPParserTokenManager(SimpleCharStream, int) - Constructor for class org.tweetyproject.preferences.io.UPParserTokenManager: Token manager for parsing with the given input stream and initial lexical state.
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: Constructor
usePredicateWhitelist(boolean) - Method in class org.tweetyproject.lp.asp.writer.ClingoWriter: set usePredicateWhitelist
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: Create UtilityBasedAgentGenerator with name
UtilityBasedLotteryAgent - Class in org.tweetyproject.agents.dialogues.lotteries: A lottery agent that selects actions based on a utility function.
UtilityBasedLotteryAgent(String, DungTheory, UtilityFunction, Semantics) - Constructor for class org.tweetyproject.agents.dialogues.lotteries.UtilityBasedLotteryAgent: Constructs a new UtilityBasedLotteryAgent with the given name, Dung theory, utility function, and semantics.
UtilityFunction<S,T> - 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: Default Constructor
UtilityFunction() - Constructor for class org.tweetyproject.arg.prob.lotteries.UtilityFunction: Creates a new utility function.
Utils - Class in org.tweetyproject.web.services: Utility class providing various helper methods for common operations.

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