Negation as failure

&
Artificial Intelligence 30 (3):273-287 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(86)90001-9

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

On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.
Negation in the language of theology – some issues.Adam Olszewski - 2018 - Philosophical Problems in Science 65:87-107.
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.
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
Hegel's Glutty Negation.Elena Ficara - 2015 - History and Philosophy of Logic 36 (1):29-38.
Three Logicians. [REVIEW]Ignacio Angelelli - 1983 - Review of Metaphysics 36 (4):926-929.
Review: Michael Gelfond, Vladimir Lifschitz, Robert A. Kowalski, Kenneth A. Bowen, The Stable Model Semantics for Logic Programming; Kit Fine, Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen, The Justification of Negation as Failure. [REVIEW]Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
Negation of the Negation in Logical and Historical Analysis.M. F. Vorob'ev - 1969 - Russian Studies in Philosophy 8 (2):190-205.
From the "Negation of the Negation" to "Affirmation and Negation" in Mao Zedong's Thought.Xu Quanxing - 1992 - Contemporary Chinese Thought 23 (3):219-232.
N-prolog and equivalence of logic programs.Nicola Olivetti & Lea Terracini - 1992 - Journal of Logic, Language and Information 1 (4):253-340.
Rejectivism and the Challenge of Pragmatic Contradictions.Ben Martin - 2016 - Disputatio 8 (43):253-267.
Negation in English: An Essay in Game-Theoretical Semantics.Michael Robert Hand - 1985 - Dissertation, The Florida State University
Négation, contrariété et contradiction.Jean-Philippe Narboux - 2005 - Archives de Philosophie 3 (3):419-446.
Classical and Empirical Negation in Subintuitionistic Logic.Michael De & Hitoshi Omori - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 217-235.
Mao Zedong on the "Negation of the Negation": A Bibliographical Essay.Xu Kun - 1992 - Contemporary Chinese Thought 23 (3):190-218.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,540,694)

6 months
1 (#1,471,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.

View all 8 citations / Add more citations

References found in this work

On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.

Add more references