Characterizing right inverses for spatial constraint systems with applications to modal logic.
Michell GuzmánSalim PerchyCamilo RuedaFrank D. ValenciaPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- modal logic
- temporal logic
- inference rules
- spatial data
- nonmonotonic logics
- decision procedures
- spatial and temporal
- epistemic logic
- computer systems
- spatio temporal
- spatial information
- knowledge based systems
- spatial relationships
- deductive databases
- situation calculus
- classical logic
- spatial constraints
- object oriented
- relational databases