Skolem Machines.

John Fisher Marc Bezem

Published in: Fundam. Informaticae (2009)

Keyphrases

first order logic
neural network
image processing
decision trees
flowshop
case study
cooperative
search algorithm
pattern recognition
object recognition
learning machines