✦ LIBER ✦

Loop formulas for circumscription

✍ Scribed by Joohyung Lee; Fangzhen Lin

Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 174 KB
Volume: 170
Category: Article
ISSN: 0004-3702
DOI: 10.1016/j.artint.2005.09.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of model checking for cir

The complexity of model checking for circumscriptive formulae

✍ Marco Cadoli 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 556 KB

Completeness results for circumscription

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

Loop Corrections and Bosonization Formul

Loop Corrections and Bosonization Formulae

✍ C.D. Fosco; C. Núñez; F.A. Schaposnik 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 129 KB

Circumscripte Skelerodermie

✍ Chr. Eberhartinger 📂 Article 📅 1957 🏛 Springer-Verlag 🌐 English ⚖ 76 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