Undecidable First-Order Theories of Affine Geometries
Antti KuusistoJeremy MeyersJonni VirtemaPublished in: CoRR (2012)
Keyphrases
- theory revision
- affine transformation
- first order logic
- np complete
- sufficient conditions
- knowledge base
- affine invariant
- theoretical framework
- higher order
- logical theories
- image registration
- concept learning
- action theories
- stochastic dominance
- feature points
- background knowledge
- query processing
- computational models
- video sequences
- probabilistic logic
- causal reasoning
- computer vision
- image warping
- logical formulas