Decidable Boolean Algebras of Low Level.

Sergei S. Goncharov

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

Keyphrases

low level
high level
higher level
low level features
real valued
lower level
spatial reasoning
mid level
first order logic
visual information
boolean functions
visual cues
transitive closure
topological spaces
middle level
database
distributive lattices
data sets