Functional Monadic Bounded Algebras.

Robert Goldblatt

Published in: Stud Logica (2010)

Keyphrases

spatial reasoning
artificial intelligence
optimal solution
datalog queries
real time
data sets
databases
information systems
image processing
case study
image segmentation
temporal reasoning
asymptotically optimal
datalog programs