X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi.

Published in: CADE (1998)

Keyphrases

higher order
qualitative spatial and temporal reasoning
management system
database systems
expert systems
complex systems
natural images
building blocks
distributed systems
term rewriting
spatial relations
high order
intelligent systems
neural network
markov random field
pairwise
information retrieval