- 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
Circumscription — A Form of Non-Monotonic Reasoning
Artificial Intelligence 13 (1-2):27–39 (1980)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
The mathematics of non-monotonic reasoning.Martin Davis - 1980 - Artificial Intelligence 13 (1-2):73-80.
Circumscription: formalization of non-monotonic reasoning in second order logic.Michal Tyburski - 2009 - Filozofia Nauki 17 (1):107.
Redundancy in logic III: Non-monotonic reasoning.Paolo Liberatore - 2008 - Artificial Intelligence 172 (11):1317-1359.
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.
Theory and Computation of Uncertain Inference and Decision.Ronald Prescott Loui - 1987 - Dissertation, The University of Rochester
Invited ACM Lecture on Cognitive Heuristics for Commonsense Reasoning.Antonio Lieto - 2021 - ACM Invited Lectures.
Recovery of (non)monotonic theories.Cees Witteveen & Wiebe van der Hoek - 1998 - Artificial Intelligence 106 (1):139-159.
Analytics
Added to PP
2013-09-16
Downloads
29 (#538,060)
6 months
9 (#437,668)
2013-09-16
Downloads
29 (#538,060)
6 months
9 (#437,668)
Historical graph of downloads
Citations of this work
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.
Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.
Book: Cognitive Design for Artificial Minds.Antonio Lieto - 2021 - London, UK: Routledge, Taylor & Francis Ltd.
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
References found in this work
Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
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-6686886f5-5pqs9 uwo