Axioms for Jonsson's Q-Algebras.

Vera Stebletsova Yde Venema

Published in: RelMiCS (1997)

Keyphrases

knowledge base
first order logic
spatial reasoning
distributive lattices
clifford algebra
complete axiomatization

temporal reasoning
artificial neural networks
axiomatic characterization
real time
case study

search algorithm
medical images
database systems
high level
interval algebra

derived predicates
computer vision
machine learning
neural network
data sets