Monadic Bounded Algebras.

Galym Akishev Robert Goldblatt

Published in: Stud Logica (2010)

Keyphrases

deductive databases
datalog programs
datalog queries
database
distributive lattices
spatial reasoning
expert systems
artificial neural networks
bounded treewidth
temporal constraints
temporal reasoning
data structure
artificial intelligence
genetic algorithm
machine learning
data mining
real world