Variables in hypotheses

A logic for default reasoning

1980 • 3,992 citations

Symbolic Logic and Mechanical Theorem Proving

1973 • 1,504 citations

APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This preprint is a preliminary version and is subject to modification prior to publication.

1981 • 484 citations

Theorist: A Logical Reasoning System for Defaults and Diagnosis

1987 • 305 citations

Mathematical Logic and Hilbert's E-symbol

1969 • 109 citations

A complete, nonredundant algorithm for reversed Skolemization

1983 • 24 citations