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