A TCSP-like decidable constraint language generalising existing cardinal direction relations
Amar Isli · arXiv (Cornell University) · 2004
We define a quantitative constraint language subsuming two calculi well-known in QSR (Qualitative Spatial Reasoning): Frank's cone-shaped and projection-based calculi of cardinal direction relations. We show how to solve a CSP (Constraint Satisfaction Problem) expressed in the language.