On the Computability of Region-Based Euclidean Logics.
Yavor NenovIan Pratt-HartmannPublished in: CSL (2010)
Keyphrases
- expressive power
- inference rules
- modal logic
- image segmentation
- euclidean distance
- planar shapes
- image retrieval
- euclidean space
- epistemic logic
- region matching
- nonmonotonic logics
- classical logic
- default logic
- database
- euclidean metric
- proof theory
- half spaces
- proof theoretic
- coalition logic
- conditional logic
- active contours
- higher order
- data model
- expert systems
- social networks
- databases