Generalization Heuristics for Theorems Related to Recursively Defined Functions.

S. Kamal Abdali Jan Vytopil

Published in: AAAI (1984)

Keyphrases

image processing
neural network
algebraic operations
real world
machine learning
search algorithm
artificial neural networks
special case
constraint satisfaction problems
heuristic methods