Computing with default logic

, , &
Artificial Intelligence 112 (1-2):105-146 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(99)00053-3

Links

PhilArchive



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

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.
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.
Splitting finite default theories: A comparison of two approaches. [REVIEW]Grigoris Antoniou - 1999 - Journal of Logic, Language and Information 8 (2):205-216.
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.
Uniform semantic treatment of default and autoepistemic logics.Marc Denecker, Victor W. Marek & Mirosław Truszczyński - 2003 - Artificial Intelligence 143 (1):79-122.
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Consistency Defaults.Paolo Liberatore - 2007 - Studia Logica 86 (1):89-110.
Reasoning dynamically about what one says.Nicholas Asher & Alex Lascarides - 2011 - Synthese 183 (S1):5-31.
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.
A Resource-bounded Default Logic.Gregory Wheeler - 2004 - In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI.
The Dramatic True Story of the Frame Default.Vladimir Lifschitz - 2015 - Journal of Philosophical Logic 44 (2):163-176.
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.
Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.
Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
Default logic and hafta.Anthony Gillies - manuscript

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,550,102)

6 months
4 (#678,769)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

No references found.

Add more references