From Dynamic Algebras to Test Algebras.

Jan Reiterman Vera Trnková

Published in: MFCS (1984)

Keyphrases

clifford algebra
spatial reasoning
topological spaces
machine learning
dynamic environments
distributive lattices
image processing
multi agent systems
information systems
knowledge base
multimedia
test cases
temporal reasoning
relation algebra