Loop formulas for circumscription

Artificial Intelligence 170 (2):160-185 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,418

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Circumscription.Manfred Jaeger - 1993 - Artificial Intelligence 60 (2):293-301.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.
Abstract minimality and circumscription.Churn Jung Liau & Bertrand I.-Peng Lin - 1992 - Artificial Intelligence 54 (3):381-396.
History of circumscription.John McCarthy - 1993 - Artificial Intelligence 59 (1-2):23-26.
Closed-world databases and circumscription.Vladimir Lifschitz - 1985 - Artificial Intelligence 27 (2):229-235.
Results on translating defaults to circumscription.Tomasz Imielinski - 1987 - Artificial Intelligence 32 (1):131-146.
Completeness results for circumscription.Donald Perlis & Jack Minker - 1986 - Artificial Intelligence 28 (1):29-42.
A theorem on the consistency of circumscription.Peter L. Mott - 1987 - Artificial Intelligence 31 (1):87-98.

Analytics

Added to PP
2020-12-22

Downloads
21 (#872,267)

6 months
6 (#732,743)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.

Add more citations