Uses of Package
jtp.demod

Packages that use jtp.demod

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

Classes in jtp.demod used by jtp.demod

CanonicalMapping
CanonicalMapping.java Created: Wed May 1 22:24:57 2002

DemodulationProofTranslator
DemodulationProofTranslator.java Created: Thu May 2 00:04:30 2002

DemodulationReasoningStep
A proof step where substitutions have been made that transform the input sentence into a new sentence.

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

CanonicalMapping
CanonicalMapping.java Created: Wed May 1 22:24:57 2002

DemodulationReplacementListener
DemodulationReplacementListener.java Created: Tue May 7 02:54:14 2002

Classes in jtp.demod used by jtp.time

CanonicalMapping
CanonicalMapping.java Created: Wed May 1 22:24:57 2002

DemodulationReasoningStep
A proof step where substitutions have been made that transform the input sentence into a new sentence.

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

CanonicalMapping
CanonicalMapping.java Created: Wed May 1 22:24:57 2002

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

CanonicalMapping
CanonicalMapping.java Created: Wed May 1 22:24:57 2002