A comparative study of open default theories

Artificial Intelligence 77 (2):285-319 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)00035-y

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,891

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

Model-preference default theories.Bart Selman & Henry A. Kautz - 1990 - Artificial Intelligence 45 (3):287-322.
Default theories that always have extensions.Christos H. Papadimitriou & Martha Sideri - 1994 - Artificial Intelligence 69 (1-2):347-357.
Outlier detection for simple default theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 2010 - Artificial Intelligence 174 (15):1247-1253.
Impediments to universal preference-based default theories.Jon Doyle & Michael P. Wellman - 1991 - Artificial Intelligence 49 (1-3):97-128.
Semantics and complexity of abduction from default theories.Thomas Eiter, Georg Gottlob & Nicola Leone - 1997 - Artificial Intelligence 90 (1-2):177-223.
A comparative study of several proof procedures.Wolfgang Bibel - 1982 - Artificial Intelligence 18 (3):269-293.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Cumulative default logic.Gerhard Brewka - 1991 - Artificial Intelligence 50 (2):183-205.
On cumulative default logics.Laura Giordano & Alberto Martelli - 1994 - Artificial Intelligence 66 (1):161-179.
Computing with default logic.Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński & Artur Mikitiuk - 1999 - Artificial Intelligence 112 (1-2):105-146.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,553,893)

6 months
5 (#727,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A note on the stable model semantics for logic programs.Michael Kaminski - 1997 - Artificial Intelligence 96 (2):467-479.
The complexity of predicate default logic over a countable domain.Robert Saxon Milnikel - 2003 - Annals of Pure and Applied Logic 120 (1-3):151-163.
XI Latin American Symposium on Mathematical Logic.Carlos Augusto Di Prisco - 1999 - Bulletin of Symbolic Logic 5 (4):495-524.

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 logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

Add more references