Boolean Algebras in Visser Algebras.

Majid Alizadeh Mohammad Ardeshir Wim Ruitenburg

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

spatial reasoning
distributive lattices
relation algebra
clifford algebra
image processing
real valued
databases
machine learning
computer vision
expert systems
multiresolution
np complete
spatial information
temporal reasoning
topological spaces