- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Minimal belief and negation as failure
Artificial Intelligence 70 (1-2):53-72 (1994)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
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 as failure.Michael Gelfond & Halina Przymusinska - 1986 - Artificial Intelligence 30 (3):273-287.
On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.
Propositional belief base update and minimal change.Andreas Herzig & Omar Rifi - 1999 - Artificial Intelligence 115 (1):107-138.
A non-minimal but very weak axiomatization of common belief.Luc Lismont & Philippe Mongin - 1994 - Artificial Intelligence 70 (1-2):363-374.
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics.Marc Aiguier, Jamal Atif, Isabelle Bloch & Céline Hudelot - 2018 - Artificial Intelligence 256 (C):160-180.
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Revision of Spatial Information by Containment.Omar Doukari, Robert Jeansoulin & Eric Würbel - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 939--944.
Analytics
Added to PP
2020-12-22
Downloads
18 (#858,528)
6 months
14 (#200,889)
2020-12-22
Downloads
18 (#858,528)
6 months
14 (#200,889)
Historical graph of downloads
Citations of this work
A non-monotonic Description Logic for reasoning about typicality.L. Giordano, V. Gliozzi, N. Olivetti & G. L. Pozzato - 2013 - Artificial Intelligence 195 (C):165-202.
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty.Didier Dubois, Henri Prade & Steven Schockaert - 2017 - Artificial Intelligence 252 (C):139-174.
Logic programming as classical inference.Eric A. Martin - 2015 - Journal of Applied Logic 13 (3):316-369.
Prioritized logic programming and its application to commonsense reasoning.Chiaki Sakama & Katsumi Inoue - 2000 - Artificial Intelligence 123 (1-2):185-222.
On the decidability and complexity of reasoning about only knowing.Riccardo Rosati - 2000 - Artificial Intelligence 116 (1-2):193-215.
References found in this work
Foundations of a functional approach to knowledge representation.Hector J. Levesque - 1984 - Artificial Intelligence 23 (2):155-212.
All I know: A study in autoepistemic logic.Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):263-309.
A logic of knowledge and justified assumptions.Fangzhen Lin & Yoav Shoham - 1992 - Artificial Intelligence 57 (2-3):271-289.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-kftwx uwo