Reasoning about Higher-Order Processes.

Roberto M. Amadio Mads Dam

Published in: TAPSOFT (1995)

Keyphrases

higher order
high order
pairwise
image segmentation
natural images
spatial reasoning
artificial intelligence
clustering algorithm
artificial neural networks
markov random field
process model
qualitative reasoning
reasoning processes
anti unification
lambda calculus