Focussing and proof construction.

Jean-Marc Andreoli

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

data sets
neural network
artificial intelligence
decision trees
search algorithm
automatic construction
machine learning
data structure
artificial neural networks
control system
construction process
automated theorem proving