Another Technique for Proving Completeness of Ground Resolution.

Rolf Socher-Ambrosius

Published in: Bull. EATCS (1990)

Keyphrases

high resolution
database
social networks
multimedia
similarity measure
data streams
neural network
computer vision
multi agent
data structure
relational databases
definite clause
formal proofs
consequence finding