The Topological Mu-Calculus: Completeness and Decidability.
Alexandru BaltagNick BezhanishviliDavid Fernández-DuquePublished in: J. ACM (2023)
Keyphrases
- type checking
- description logics
- qualitative spatial reasoning
- topological properties
- topology preservation
- query answering
- neural network
- computational properties
- decision procedures
- artificial intelligence
- number restrictions
- computer algebra
- automated deduction
- relational calculus
- topological map
- spatial objects
- data structure
- formal language
- topology preserving
- data model
- case study
- persistent homology
- directional relations