Finding resolution proofs and using duplicate goals in and/or trees.

James R. Slagle Deena A. Koniver

Published in: Inf. Sci. (1971)

Keyphrases

decision trees
machine learning
image processing
data sets
low resolution
tree models
formal proofs
multi agent
sampling rate
tree construction
consequence finding
conflict detection