LSI Logic Testing - An Overview.

Eugen I. Muehldorf Anil D. Savkar

Published in: IEEE Trans. Computers (1981)

Keyphrases

latent semantic indexing
logic programming
text retrieval
multi valued
classical logic
artificial intelligence
logic programs
vector space
computational properties
proof theory
genetic algorithm
bayesian networks
test cases
modal logic
set theory
deontic logic