Mechanizing Logical Relations.

Allen Stoughton

Published in: MFPS (1993)

Keyphrases

logical structure
information retrieval
expert systems
learning algorithm
natural language
query language
spatial relations
logical operations
logical theories