GSP: A logic simulator for LSI.

James R. Armstrong D. E. Devlin

Published in: DAC (1981)

Keyphrases

latent semantic indexing
multi valued
logic programming
modal logic
simulation model
neural network
dimensionality reduction
text retrieval
automated reasoning
data structure
classical logic
proof theory