Undecidable First-Order Theories of Affine Geometries.
Antti KuusistoJeremy MeyersJonni VirtemaPublished in: Log. Methods Comput. Sci. (2013)
Keyphrases
- theory revision
- first order logic
- affine transformation
- higher order
- sufficient conditions
- affine invariant
- propositional theories
- quantifier elimination
- action theories
- stochastic dominance
- knowledge base
- piecewise affine
- classical first order logic
- computational models
- concept learning
- logical theories
- causal reasoning
- formal models
- linear temporal logic
- causal theories
- inductive logic programming systems
- spatial data
- theoretical framework
- data integration
- np complete
- logic programming
- knowledge representation
- multiscale