Quantifier-Free Axioms For Constructive Affine Plane Geometry.

Published in: Synth. (2000)

Keyphrases

quantifier free
first order logic
quantifier elimination
rewrite systems
expressive power
knowledge representation
horn clauses
inference rules
theorem proving
transitive closure
knowledge base
databases
theorem prover
relational algebra
constraint databases
relational databases
machine learning