On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.
Yoshiki NakamuraPublished in: MFCS (2023)
Keyphrases
- real numbers
- relation algebra
- relational calculus
- algebraic structure
- temporal relations
- expressive power
- continuous functions
- causal relations
- cardinal directions
- qualitative spatial reasoning
- observed variables
- maximal tractable
- closure properties
- interval algebra
- finite number
- provably correct
- background knowledge