Decidability of Term Algebras Extending Partial Algebras.

Bakhadyr Khoussainov Sasha Rubin

Published in: CSL (2005)

Keyphrases

distributive lattices
data sets
clifford algebra
topological spaces
artificial intelligence
knowledge representation
description logics
information retrieval systems
temporal reasoning
relation algebra