Semantics and complexity of abduction from default theories

, &
Artificial Intelligence 90 (1-2):177-223 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(96)00040-9

Links

PhilArchive



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

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

Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.
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.
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
Representability in Default Logic.Paolo Liberatore - 2005 - Logic Journal of the IGPL 13 (3):335-351.
Succinctness as a source of complexity in logical formalisms.Georg Gottlob, Nicola Leone & Helmut Veith - 1999 - Annals of Pure and Applied Logic 97 (1-3):231-260.
Issues in Knowledge Representation: Semantics and Knowledge Combination.Chitta Ranjan Baral - 1991 - Dissertation, University of Maryland, College Park
Default semantics and the architecture of the mind.Alessandro Capone - 2011 - Journal of Pragmatics 43:1741–1754..
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Default reasoning from conditional knowledge bases: Complexity and tractable cases.Thomas Eiter & Thomas Lukasiewicz - 2000 - Artificial Intelligence 124 (2):169-241.
A base logic for default reasoning.Beihai Zhou & Yi Mao - 2006 - Frontiers of Philosophy in China 1 (4):688-709.
Projectual Abduction.Giovanni Tuzet - 2006 - Logic Journal of the IGPL 14 (2):151-160.
Deriving properties of belief update from theories of action.Alvaro Val & Yoav Shoham - 1994 - Journal of Logic, Language and Information 3 (2):81-119.
Cumulative default logic: Finite characterization, algorithms, and complexity.Georg Gottlob & Mingyi Zhang - 1994 - Artificial Intelligence 69 (1-2):329-345.
What should default reasoning be, by default?Jeff Pelletier - unknown

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,519,079)

6 months
3 (#992,575)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What makes propositional abduction tractable.Gustav Nordh & Bruno Zanuttini - 2008 - Artificial Intelligence 172 (10):1245-1284.
Abductive reasoning through filtering.Chitta Baral - 2000 - Artificial Intelligence 120 (1):1-28.
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 logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
Hard problems for simple default logics.Henry A. Kautz & Bart Selman - 1991 - Artificial Intelligence 49 (1-3):243-279.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.

View all 11 references / Add more references