A Decidable Intersection Type System based on Relevance.

Ferruccio Damiani Paola Giannini

Published in: TACS (1994)

Keyphrases

information retrieval
relevance feedback
database
neural network
relative importance
artificial intelligence
knowledge base
ranked list
transitive closure
human judgments
highly relevant