On the relationship between circumscription and negation as failure

, &
Artificial Intelligence 38 (1):75-94 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(89)90068-4

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

Negation as failure.Michael Gelfond & Halina Przymusinska - 1986 - Artificial Intelligence 30 (3):273-287.
An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.
Negation in the language of theology – some issues.Adam Olszewski - 2018 - Philosophical Problems in Science 65:87-107.
Expressiveness and definability in circumscription.Francicleber Martins Ferreira & Ana Teresa Martins - 2011 - Manuscrito 34 (1):233-266.
Minimal Consequence: A Semantic Approach to Reasoning with Incomplete Information.Mary-Angela Papalaskari - 1988 - Dissertation, The University of Edinburgh (United Kingdom)
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations.Satoru Niki - 2020 - Bulletin of the Section of Logic 49 (3):231-253.
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Hegel's Glutty Negation.Elena Ficara - 2015 - History and Philosophy of Logic 36 (1):29-38.
Decidability and definability with circumscription.John S. Schlipf - 1987 - Annals of Pure and Applied Logic 35 (C):173-191.
FDE Circumscription.Daniel Skurt - 2017 - Australasian Journal of Logic 14 (2).
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
Belnap's epistemic states and negation-as-failure.Gerd Wagner - 1996 - In Heinrich Wansing (ed.), Negation: a notion in focus. New York: W. de Gruyter. pp. 7--233.
Method and Truth in "Truth and Method": The Disruption of the Circumscription of Truth to Statement.Jose Antonio Solis-Silva - 2001 - Dissertation, Duquesne University
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
Three Logicians. [REVIEW]Ignacio Angelelli - 1983 - Review of Metaphysics 36 (4):926-929.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,540,694)

6 months
3 (#976,418)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.

View all 14 citations / Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

View all 10 references / Add more references