Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators.

Robert Goldblatt

Published in: Stud Logica (2001)

Keyphrases

boolean functions
real time
generation process
knowledge base
real valued
multi valued
data sets
website
multi agent
expert systems
building blocks
spatial reasoning
closed sets
decision diagrams
totally ordered
relation algebra