An extension of pointwise circumscription

&
Artificial Intelligence 86 (2):391-402 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(96)00028-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

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

Through your library

My notes

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.
History of circumscription.John McCarthy - 1993 - Artificial Intelligence 59 (1-2):23-26.
Value minimization in circumscription.China Baral, Alfredo Gabaldon & Alessandro Provetti - 1998 - Artificial Intelligence 102 (2):163-186.
Abstract minimality and circumscription.Churn Jung Liau & Bertrand I.-Peng Lin - 1992 - Artificial Intelligence 54 (3):381-396.
Results on translating defaults to circumscription.Tomasz Imielinski - 1987 - Artificial Intelligence 32 (1):131-146.
Closed-world databases and circumscription.Vladimir Lifschitz - 1985 - Artificial Intelligence 27 (2):229-235.
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
7 (#1,411,318)

6 months
5 (#711,375)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
Completeness results for circumscription.Donald Perlis & Jack Minker - 1986 - Artificial Intelligence 28 (1):29-42.
An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.
A circumscriptive theorem prover.Matthew L. Ginsberg - 1989 - Artificial Intelligence 39 (2):209-230.

View all 8 references / Add more references