A Completeness Result for SLDNF-Resolution.

Bruno Bertolino M. Mowbray

Published in: GULP (1993)

Keyphrases

high resolution
learning algorithm
real time
databases
decision making
e learning
image processing
reinforcement learning
support vector
user interface
data quality