Narrowing vs. SLD-Resolution.

Pier Giorgio Bosco Elio Giovannetti Corrado Moiso

Published in: Theor. Comput. Sci. (1988)

Keyphrases

consequence finding
high resolution
neural network
multiresolution
low resolution
real time
machine learning
information retrieval
conflict detection
data sets
genetic algorithm
image segmentation
search space
probability distribution