Logic simulation for LSI.

Kazuyuki Hirakawa Noboru Shiraki Michiaki Muraoka

Published in: DAC (1982)

Keyphrases

latent semantic indexing
simulation model
data sets
information retrieval
vector space
artificial intelligence
case study
description logics
logic programming
numerical simulations
text retrieval
logical framework
defeasible logic
predicate logic
proof theory