Undecidable Relativizations of Algebras of Relations.

Szabolcs Mikulás Maarten Marx

Published in: J. Symb. Log. (1999)

Keyphrases

relation algebra
interval algebra
spatial relations
np complete
semantic relations
data sets
neural network
real world
video sequences
sufficient conditions
temporal reasoning
spatial reasoning
temporal relations
point algebra