Login / Signup
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