Keyphrases
- feature space
- feature vectors
- logic programming
- modal logic
- digital circuits
- classical logic
- formal theory
- vector data
- automated reasoning
- delay insensitive
- data sets
- proof theory
- predicate logic
- probabilistic logic
- multi valued
- description logics
- artificial neural networks
- multiscale
- similarity measure
- image sequences
- learning algorithm
- neural network
- databases