Undecidable First-Order Theories of Affine Geometries.
Antti KuusistoJeremy MeyersJonni VirtemaPublished in: CSL (2012)
Keyphrases
- theory revision
- unions of conjunctive queries
- first order logic
- action theories
- knowledge base
- higher order
- logical theories
- data exchange
- affine invariant
- classical first order logic
- theoretical framework
- conjunctive queries
- affine transformation
- transitive closure
- situation calculus
- concept learning
- query answering
- horn clauses
- probabilistic databases
- image warping
- logical formulas
- image registration
- cognitive psychology
- decision procedures
- spatial data
- quantifier elimination
- background knowledge
- piecewise affine