The Topological Mu-Calculus: completeness and decidability.
Alexandru BaltagNick BezhanishviliDavid Fernández-DuquePublished in: LICS (2021)
Keyphrases
- type checking
- qualitative spatial reasoning
- description logics
- query answering
- directional relations
- data types
- geometric objects
- decision procedures
- automated deduction
- topological map
- computational properties
- neural network
- theorem proving
- data quality
- artificial intelligence
- algebraic structure
- digital topology
- topological properties
- development environment
- mobile robot
- relational databases
- genetic algorithm