Finite Relation Algebras with Normal Representations.

Manuel Bodirsky

Published in: RAMiCS (2018)

Keyphrases

relation algebra
higher level
finite number
real time
three dimensional
spatial reasoning
binary relations
multiple representations
totally ordered
external representations