Keyphrases
- modal logic
- higher dimensional
- temporal logic
- euclidean space
- inference rules
- epistemic logic
- low dimensional
- high dimensional
- nonmonotonic logics
- distance transform
- arbitrary dimension
- default logic
- situation calculus
- classical logic
- dynamic logic
- conditional logic
- prime implicates
- computer vision
- wavelet packet
- shape analysis
- model checking
- matching algorithm
- pattern recognition
- data structure
- feature selection