Reducing belief revision to circumscription

Artificial Intelligence 93 (1-2):261-296 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

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

Similar books and articles

Circumscription.Manfred Jaeger - 1993 - Artificial Intelligence 60 (2):293-301.
A model for belief revision.João P. Martins & Stuart C. Shapiro - 1988 - Artificial Intelligence 35 (1):25-79.
Abduction as belief revision.Craig Boutilier & Veronica Beche - 1995 - Artificial Intelligence 77 (1):43-94.
Relevance in belief revision.Pavlos Peppas, Mary-Anne Williams, Samir Chopra & Norman Foo - 2015 - Artificial Intelligence 229 (C):126-138.
Iterated belief revision, revised.Yi Jin & Michael Thielscher - 2007 - Artificial Intelligence 171 (1):1-18.
Dynamic belief revision operators.Abhaya C. Nayak, Maurice Pagnucco & Pavlos Peppas - 2003 - Artificial Intelligence 146 (2):193-228.
Belief revision in Horn theories.James P. Delgrande & Pavlos Peppas - 2015 - Artificial Intelligence 218 (C):1-22.
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.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,561,562)

6 months
3 (#1,046,495)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Compiling propositional weighted bases.Adnan Darwiche & Pierre Marquis - 2004 - Artificial Intelligence 157 (1-2):81-113.
Note about cardinality-based circumscription.Yves Moinard - 2000 - Artificial Intelligence 119 (1-2):259-273.
Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.

Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Counterfactuals.Matthew L. Ginsberg - 1986 - Artificial Intelligence 30 (1):35-79.

View all 12 references / Add more references