Yet some more complexity results for default logic

Artificial Intelligence 139 (1):1-20 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00189-3

Links

PhilArchive



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

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.
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.
Proof complexity of propositional default logic.Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas & Heribert Vollmer - 2011 - Archive for Mathematical Logic 50 (7-8):727-742.
A modal logic for subjective default reasoning.Shai Ben-David & Rachel Ben-Eliyahu-Zohary - 2000 - Artificial Intelligence 116 (1-2):217-236.
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.
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P.Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz & Giuseppe Sanfilippo - 2002 - Journal of Applied Non-Classical Logics 12 (2):189-213.
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.
Representability in Default Logic.Paolo Liberatore - 2005 - Logic Journal of the IGPL 13 (3):335-351.
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Is default logic a reinvention of inductive-statistical reasoning?Yao-Hua Tan - 1997 - Synthese 110 (3):357-379.
Consistency Defaults.Paolo Liberatore - 2007 - Studia Logica 86 (1):89-110.
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.
Outlier detection using default reasoning.Fabrizio Angiulli, Rachel Ben-Eliyahu – Zohary & Luigi Palopoli - 2008 - Artificial Intelligence 172 (16-17):1837-1872.
Outlier detection for simple default theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 2010 - Artificial Intelligence 174 (15):1247-1253.
A Resource-bounded Default Logic.Gregory Wheeler - 2004 - In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,629,422)

6 months
3 (#984,212)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
Hard problems for simple default logics.Henry A. Kautz & Bart Selman - 1991 - Artificial Intelligence 49 (1-3):243-279.
Formalizing nonmonotonic reasoning systems.David W. Etherington - 1987 - Artificial Intelligence 31 (1):41-85.
Default reasoning using classical logic.Rachel Ben-Eliyahu & Rina Dechter - 1996 - Artificial Intelligence 84 (1-2):113-150.

Add more references