Uses of Class
jtp.frame.InferredValueReasoningStep

Packages that use InferredValueReasoningStep

jtp.classifier
jtp.frame
jtp.time	Implements reasoners and classes that allow JTP to reason about temporal information in a KB.

Uses of InferredValueReasoningStep in jtp.classifier

Subclasses of InferredValueReasoningStep in jtp.classifier

class

SubsumptionProofStep SubsumptionProofStep.java

Uses of InferredValueReasoningStep in jtp.frame

Subclasses of InferredValueReasoningStep in jtp.frame

class

OneWayInferredValueReasoningStep A proof step representing a Generalized Modus Ponens Inference made throught forward-chaining.

Uses of InferredValueReasoningStep in jtp.time

Subclasses of InferredValueReasoningStep in jtp.time

class

TimePointKnowledgeStore.TimePointReasoningStep