Bare canonicity of representable cylindric and polyadic algebras

Jannis Bulian Ian M. Hodkinson

Published in: CoRR (2012)

Keyphrases

spatial reasoning
clifford algebra
distributive lattices
real world
case study
temporal reasoning
relation algebra
machine learning
computer vision
image segmentation
relational databases
user interface
special case
personal computer
topological spaces