An efficient method for eliminating varying predicates from a circumscription

, &
Artificial Intelligence 54 (3):397-410 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(92)90051-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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

Eliminating the fixed predicates from a circumscription.Johan de Kleer & Kurt Konolige - 1989 - Artificial Intelligence 39 (3):391-398.
From answer set logic programming to circumscription via logic of GK.Fangzhen Lin & Yi Zhou - 2011 - Artificial Intelligence 175 (1):264-277.
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.
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.
History of circumscription.John McCarthy - 1993 - Artificial Intelligence 59 (1-2):23-26.
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Results on translating defaults to circumscription.Tomasz Imielinski - 1987 - Artificial Intelligence 32 (1):131-146.

Analytics

Added to PP
2020-12-22

Downloads
15 (#1,244,127)

6 months
9 (#511,775)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reducing belief revision to circumscription.Paolo Liberatore & Marco Schaerf - 1997 - Artificial Intelligence 93 (1-2):261-296.
Note about cardinality-based circumscription.Yves Moinard - 2000 - Artificial Intelligence 119 (1-2):259-273.
An extension of pointwise circumscription.Koji Iwanuma & Kazuhiko Oota - 1996 - Artificial Intelligence 86 (2):391-402.

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.
A circumscriptive theorem prover.Matthew L. Ginsberg - 1989 - Artificial Intelligence 39 (2):209-230.

View all 10 references / Add more references