Circumscripte Skelerodermie

Skelerodermie-Sklerodaktylie

✍ Chr. Eberhartinger 📂 Article 📅 1957 🏛 Springer-Verlag 🌐 English ⚖ 163 KB

Circumscription: Completeness reviewed

✍ Manfred Jaeger 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 433 KB

In this paper we demonstrate that some results on the completeness of P-defining theories published earlier are incorrect. We point out that by restricting the original propositions to well-founded theories results somewhat weaker than the original ones can be retained. We also present a theorem tha

History of circumscription

✍ John McCarthy 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Computing protected circumscription

✍ Jack Minker; Donald Perlis 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 863 KB

This paper deals with computing circumscription in the case of Horn data with additional protection (indefinite data), an intermediate investigation between Reiter's result on predicate completion and Lifschitz's efforts to make general (formula) circumscription more efficient as a computational too

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

Abstract minimality and circumscription

✍ Churn Jung Liau; Bertrand I-peng Lin 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 768 KB

In this paper, we present an alternative approach to the generalization of circumscription. Traditionally, the generalization of circumscription involves the change of ordering among models, while in the present study we only try to generalize the minimality criteria of models. We define the notion