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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

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

Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.
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.
Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.
Optimality theory as a family of cumulative logics.Ph Besnard, G. Fanselow & T. Schaub - 2003 - Journal of Logic, Language and Information 12 (2):153-182.
A Structural Property On Modal Frames Characterizing Default Logic.Gianni Amati, Luigia Aiello, Dov Gabbay & Fiora Pirri - 1996 - Logic Journal of the IGPL 4 (1):7-22.
Representability in Default Logic.Paolo Liberatore - 2005 - Logic Journal of the IGPL 13 (3):335-351.
Choosing Your Nonmonotonic Logic: A Shopper’s Guide.Ulf Hlobil - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. London: College Publications. pp. 109-123.
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Analytic tableaux for default logics.Vincent Risch - 1996 - Journal of Applied Non-Classical Logics 6 (1):71-88.
Embedding modal nonmonotonic logics into default logic.Robert Milnikel - 2003 - Studia Logica 75 (3):377 - 382.
Consistency Defaults.Paolo Liberatore - 2007 - Studia Logica 86 (1):89-110.
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.
Reasoning credulously and skeptically within a single extension.James P. Delgrande & Torsten Schaub - 2002 - Journal of Applied Non-Classical Logics 12 (2):259-285.
Some Embedding Theorems for Conditional Logic.Ming Xu - 2006 - Journal of Philosophical Logic 35 (6):599-619.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,540,694)

6 months
4 (#790,347)

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