Highly Influenced

@article{Arnon1988GeometricRW, title={Geometric Reasoning with Logic and Algebra}, author={Dennis S. Arnon}, journal={Artif. Intell.}, year={1988}, volume={37}, pages={37-60} }

- Published 1988 in Artif. Intell.
DOI:10.1016/0004-3702(88)90049-5

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