- 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
Eliminating the fixed predicates from a circumscription
Artificial Intelligence 39 (3):391-398 (1989)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
An efficient method for eliminating varying predicates from a circumscription.Marco Cadoli, Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 54 (3):397-410.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Decidability and definability with circumscription.John S. Schlipf - 1987 - Annals of Pure and Applied Logic 35 (C):173-191.
Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.
Minimal Predicates. Fixed-Points, and Definability.Johan Van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696 - 712.
The Logic of Description and Valuation.Robert S. Hartman - 1960 - Review of Metaphysics 14 (2):191 - 230.
Expressiveness and definability in circumscription.Francicleber Martins Ferreira & Ana Teresa Martins - 2011 - Manuscrito 34 (1):233-266.
A force-theoretic framework for event structure.Bridget Copley & Heidi Harley - 2015 - Linguistics and Philosophy 38 (2):103-158.
Vague Predicates and Language Games.Rohit Parikh - 1996 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 11 (3):97-107.
Must Synonymous Predicates be Coextensive?Charles Sayward - 1981 - Logique Et Analyse 95 (95):430-435.
Analytics
Added to PP
2020-12-22
Downloads
3 (#1,717,189)
6 months
2 (#1,206,545)
2020-12-22
Downloads
3 (#1,717,189)
6 months
2 (#1,206,545)
Historical graph of downloads
Citations of this work
A consistency-based approach for belief change.James P. Delgrande & Torsten Schaub - 2003 - Artificial Intelligence 151 (1-2):1-41.
Reducing belief revision to circumscription.Paolo Liberatore & Marco Schaerf - 1997 - Artificial Intelligence 93 (1-2):261-296.
An efficient method for eliminating varying predicates from a circumscription.Marco Cadoli, Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 54 (3):397-410.
The expressive power of circumscription.Tom Costello - 1998 - Artificial Intelligence 104 (1-2):313-329.
Redundancy in logic III: Non-monotonic reasoning.Paolo Liberatore - 2008 - Artificial Intelligence 172 (11):1317-1359.
References found in this work
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
The mathematics of non-monotonic reasoning.Martin Davis - 1980 - Artificial Intelligence 13 (1-2):73-80.
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-5ff6c685cb-ldh8k uwo