On the locality of arb-invariant first-order formulas with modulo counting quantifiers.
Frederik HarwathNicole SchweikardtPublished in: Log. Methods Comput. Sci. (2016)
Keyphrases
- first order logic
- quantifier free
- horn clauses
- predicate calculus
- higher order
- logical formulas
- quantifier elimination
- action theories
- affine transformation
- affine invariant
- inference rules
- propositional logic
- real numbers
- theorem proving
- theorem prover
- situation calculus
- knowledge representation
- three dimensional
- relational calculus
- invariant properties
- spatial locality
- object recognition
- natural language
- computer generated images
- neural network
- inductive logic programming
- stochastic dominance