Uses of Package
jtp.proof

Packages that use jtp.proof

jtp	Provides the basic, most general classes of the JTP architecture.
jtp.classifier
jtp.demod
jtp.frame
jtp.frame.fc
jtp.frame.listen
jtp.frame.vc
jtp.func
jtp.gmp	Provides a knowledge store for Clauses and Generalized Modus Ponens reasoning capability.
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.
jtp.proof	Classes supporting JTP's implementation of InferenceWeb proofs.
jtp.proof.transform
jtp.rs	Contains important subclasses of ReasoningStep and ReasoningStepIterator as well as utility methods for ReasoningSteps.
jtp.time	Implements reasoners and classes that allow JTP to reason about temporal information in a KB.
jtp.time.demod
jtp.ui.rs

Classes in jtp.proof used by jtp

Inference

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.classifier

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.demod

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.frame

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.frame.fc

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.frame.listen

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.frame.vc

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.func

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.gmp

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.modelim

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.proof

AxiomInference

Implication

ImplicationConversionException

Inference

ModusPonensInference

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.proof.transform

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.rs

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.time

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.time.demod

Proof
JTP's implementation of an InferenceWeb proof.

Classes in jtp.proof used by jtp.ui.rs

Proof
JTP's implementation of an InferenceWeb proof.