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