A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints.
Angelo MontanariIsabel NavarreteGuido SciaviccoAlberto TononPublished in: ICAART (1) (2012)
Keyphrases
- interval algebra
- point algebra
- path consistency
- conceptual graphs
- qualitative spatial reasoning
- maximal tractable
- constraint programming
- semantic relations
- evaluation metrics
- constraint networks
- constraint language
- cardinality constraints
- computational complexity
- metric learning
- np hard
- binary relations
- global constraints
- geometric constraints
- constraint satisfaction
- euclidean distance
- connected regions
- np complete
- tractable classes