Alternative foundations for Reiter's default logic

&
Artificial Intelligence 124 (1):31-86 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(00)00060-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

Alternative approaches to default logic.James P. Delgrande, Torsten Schaub & W. Ken Jackson - 1994 - Artificial Intelligence 70 (1-2):167-237.
A correction to the algorithm in reiter's theory of diagnosis.Russell Greiner, Barbara A. Smith & Ralph W. Wilkerson - 1989 - Artificial Intelligence 41 (1):79-88.
Cumulative default logic.Gerhard Brewka - 1991 - Artificial Intelligence 50 (2):183-205.
Computing with default logic.Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński & Artur Mikitiuk - 1999 - Artificial Intelligence 112 (1-2):105-146.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
On embedding default logic into Moore's autoepistemic logic.Grigori Schwarz - 1996 - Artificial Intelligence 80 (2):349-359.
Reasoning by cases in default logic.Nico Roos - 1998 - Artificial Intelligence 99 (1):165-183.
Expressing preferences in default logic.James P. Delgrande & Torsten Schaub - 2000 - Artificial Intelligence 123 (1-2):41-87.
Lexicographic priorities in default logic.Jussi Rintanen - 1998 - Artificial Intelligence 106 (2):221-265.
Default reasoning using classical logic.Rachel Ben-Eliyahu & Rina Dechter - 1996 - Artificial Intelligence 84 (1-2):113-150.

Analytics

Added to PP
2020-12-22

Downloads
10 (#1,220,886)

6 months
8 (#416,172)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
Cumulative default logic.Gerhard Brewka - 1991 - Artificial Intelligence 50 (2):183-205.

View all 10 references / Add more references