Higher-Order Unification via Explicit Substitutions (Extended Abstract)

Gilles Dowek Thérèse Hardin Claude Kirchner

Published in: LICS (1995)

Keyphrases

extended abstract
higher order
natural images
high order
markov random field
markov models
computer vision
pairwise
neural network
artificial intelligence
multiresolution
lower order
databases
multi agent systems
programming language
low order