Login / Signup
On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation.
Yoshiki Nakamura
Published in:
CoRR (2023)
Keyphrases
</>
real numbers
relational calculus
relation algebra
qualitative spatial reasoning
algebraic structure
expressive power
maximal tractable
finite number
observed variables
semantic relations
data sets
learning algorithm
spatial reasoning
interval algebra
natural deduction
closure properties