Detecting Non-Provable Goals.

Stefan Brüning

Published in: CADE (1994)

Keyphrases

automatically detecting
machine learning
information retrieval
learning algorithm
search algorithm
databases
neural network
data mining
information systems
feature selection
database systems
automatic detection