Lambda-Free Logical Frameworks

Published in: CoRR (2008)

Keyphrases

lambda calculus
fixed point
real world
computer vision
logical representation
real time
neural network
machine learning
artificial intelligence
decision making
image segmentation
learning environment
artificial neural networks
evolutionary algorithm
logical operations