On Automating the Calculus of Relations.

Peter Höfner Georg Struth

Published in: IJCAR (2008)

Keyphrases

relational calculus
relation algebra
algebraic structure
qualitative spatial reasoning
real time
image sequences
multiscale
background knowledge
expressive power
neural network
information retrieval
multi agent
expert systems
cardinal directions