Light Affine Logic.

Published in: LICS (1998)

Keyphrases

modal logic
affine transformation
logic programming
neural network
predicate logic
genetic algorithm
learning algorithm
image registration
multi view
affine invariant
epistemic logic
database
defeasible logic
computational properties
probabilistic logic
b spline
image processing