Speeding up Inferences Using Relevance Reasoning: A Formalism and Algorithms.

Alon Y. Levy Richard Fikes Yehoshua Sagiv

Published in: Artif. Intell. (1997)

Keyphrases

knowledge representation
learning algorithm
orders of magnitude
worst case
optimization problems
information retrieval
machine learning algorithms
benchmark datasets
machine learning
search engine
data structure
significant improvement
test collection
computational efficiency
logical framework
reasoning systems