Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution.

Hendrik Decker Lawrence Cavedon

Published in: CSL (1989)

Keyphrases

high resolution
management system
sampling rate
partial deduction
neural network
search engine
feature selection
case study
bayesian networks
object recognition
evolutionary algorithm
low resolution
data quality
formal proofs
consequence finding