A circumscriptive theorem prover
β
Matthew L. Ginsberg
π
Article
π
1989
π
Elsevier Science
π
English
β 824 KB
In [6], a generalization of first-order logic was introduced that led to the development of an effective theorem prover for some simple sorts of default reasoning. In this paper, we show that these ideas can also be used to construct a theorem prover for a wide class of circumscriptive theories. Th