Geometric Reasoning with Logic and Algebra

  title={Geometric Reasoning with Logic and Algebra},
  author={Dennis S. Arnon},
  journal={Artif. Intell.},
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