On cumulative default logics

&
Artificial Intelligence 66 (1):161-179 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)90006-x

Other Versions

No versions found

Links

PhilArchive



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

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

Cumulative default logic.Gerhard Brewka - 1991 - Artificial Intelligence 50 (2):183-205.
Cumulative default logic: Finite characterization, algorithms, and complexity.Georg Gottlob & Mingyi Zhang - 1994 - Artificial Intelligence 69 (1-2):329-345.
Hard problems for simple default logics.Henry A. Kautz & Bart Selman - 1991 - Artificial Intelligence 49 (1-3):243-279.
Uniform semantic treatment of default and autoepistemic logics.Marc Denecker, Victor W. Marek & Mirosław Truszczyński - 2003 - Artificial Intelligence 143 (1):79-122.
Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.
Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings.Jose Julio Alferes, Luis Moniz Pereira & Ewa Orlowska - 1996 - Springer Verlag.
Logics in Artificial Intelligence.Francesco Calimeri, Nicola Leone & Marco Manna (eds.) - 2019 - Springer.
Logics for Artificial Intelligence.Raymond Turner - 1984 - New York, NY, USA: Ellis Horwood.
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.
LAURA, a system to debug student programs.Anne Adam & Jean-Pierre Laurent - 1980 - Artificial Intelligence 15 (1-2):75-122.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,324,742)

6 months
7 (#715,360)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Redundancy in logic III: Non-monotonic reasoning.Paolo Liberatore - 2008 - Artificial Intelligence 172 (11):1317-1359.
Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.
Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.

View all 8 citations / Add more citations

References found in this work

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.

Add more references