Keyphrases
- higher dimensional
- modal logic
- temporal logic
- inference rules
- euclidean space
- high dimensional
- arbitrary dimension
- conditional logic
- epistemic logic
- low dimensional
- situation calculus
- nonmonotonic logics
- distance transform
- explanation based generalization
- classical logic
- computer vision
- finite state
- wavelet packet
- model checking
- medical images
- multi dimensional
- d objects
- autoepistemic logic
- similarity measure
- feature extraction
- dynamic logic
- prime implicates