Subsorted Partial Higher-Order Locig as an Extension of CASL.

Till Mossakowski Anne E. Haxthausen Bernd Krieg-Brückner

Published in: WADT (1999)

Keyphrases

higher order
natural images
high order
low order
markov random field
pairwise
database
neural network
computer vision
lower bound
lambda calculus