Simple and Efficient Clause Subsumption with Feature Vector Indexing.

Published in: Automated Reasoning and Mathematics (2013)

Keyphrases

feature vectors
euclidean distance
information retrieval
refinement operators
efficient search
feature space
distance measure
horn clauses
data retrieval
computationally efficient
visual features
logic programs
description logics
image database
query processing
data structure
computer vision