A New Definition of SNDNF-Resolution.

Krzysztof R. Apt Kees Doets

Published in: J. Log. Program. (1994)

Keyphrases

relational databases
real world
high resolution
motion estimation
low resolution
conflict detection
data mining
artificial intelligence
computer vision
case study
bayesian networks
general theory