Nonfinite Axiomatizability Results for Cylindric and Relation Algebras.

Roger D. Maddux

Published in: J. Symb. Log. (1989)

Keyphrases

relation algebra
real time
multiscale
probability distribution
spatial reasoning
topological spaces
database
neural network
data mining
genetic algorithm
special case
description logics
rough set theory
binary relations