Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable.
Heshan DuNatasha AlechinaPublished in: AAAI (2019)
Keyphrases
- euclidean space
- qualitative spatial
- wide class
- human robot interaction
- riemannian manifolds
- shape analysis
- vector space
- euclidean distance
- qualitative spatial reasoning
- metric space
- data points
- modal logic
- low dimensional
- geodesic distance
- formal theory
- similarity measure
- distance measure
- multi dimensional
- principal component analysis
- cardinal directions