Bare canonicity of representable cylindric and polyadic algebras.

Jannis Bulian Ian M. Hodkinson

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

spatial reasoning
temporal reasoning
topological spaces
artificial intelligence
interval algebra
clifford algebra
distributive lattices
neural network
genetic algorithm
computer vision
face recognition
expert systems
multiresolution
probability distribution
rough sets
personal computer