Completeness Results for Basic Narrowing in Non-Copying Implementations.

M. R. K. Krishna Rao

Published in: JICSLP (1996)

Keyphrases

efficient implementation
databases
computer vision
knowledge base
high level
multi agent systems
preprocessing
feature space
pairwise
formal proofs