Geometric Reasoning with Logic and Algebra

@article{Arnon1988GeometricRW,
  title={Geometric Reasoning with Logic and Algebra},
  author={Dennis S. Arnon},
  journal={Artif. Intell.},
  year={1988},
  volume={37},
  pages={37-60}
}
Geometric reasoning is concerned with (geometric) objects that often are definable by formulae of the language of the first-order theory of the real numbers. Certain problems that arise in geometric reasoning can be cast into one of the following forms: query problem--does a certain collection of objects possess a certain (first-order) property; constraint problem--given a quantified formula defining an object, find an equivalent definition by a quantifier-free formula; display problem-describe… CONTINUE READING