Relational proof systems for spatial reasoning.

Joanna Golinska-Pilarek Ewa Orlowska

Published in: J. Appl. Non Class. Logics (2006)

Keyphrases

spatial reasoning
spatial relations
topological relations
image processing
similarity measure
multiscale
relational databases
image features
temporal reasoning