Topological Foundations for a Formal Theory of Manifolds.
Karol PakPublished in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Keyphrases
- formal theory
- qualitative spatial reasoning
- belief update
- smooth manifold
- cell complexes
- commonsense reasoning
- spatial reasoning
- artificial intelligence
- manifold learning
- euclidean space
- topological properties
- riemannian manifolds
- arbitrary dimension
- endoscopic video
- mathematical models
- low dimensional
- knowledge representation
- image sequences