Applications of Circumscription to Formalizing Common Sense Knowledge

Artificial Intelligence 28 (1):89–116 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(86)90032-9

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,533

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

Formalizing narratives using nested circumscription.Chitta Baral, Alfredo Gabaldon & Alessandro Provetti - 1998 - Artificial Intelligence 104 (1-2):107-164.
Toward formalizing common-sense psychology: an analysis of the false-belief task.Konstantine Arkoudas & Selmer Bringsjord - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 17--29.
Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator.Fangzhen Lin - 1998 - Artificial Intelligence 103 (1-2):273-294.
Logic-Based Artificial Intelligence.Jack Minker (ed.) - 2000 - Boston and Dordrecht: Kluwer Academic Publishers.
Human-Type Common Sense Needs Extensions to Logic.John McCarthy - unknown
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
Circumscription.Manfred Jaeger - 1993 - Artificial Intelligence 60 (2):293-301.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.

Analytics

Added to PP
2013-09-16

Downloads
29 (#648,380)

6 months
6 (#688,448)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John C. McCarthy
Catholic University of America

Citations of this work

A theory of diagnosis from first principles.Raymond Reiter - 1987 - Artificial Intelligence 32 (1):57-95.
Generic Generalizations.Sarah-Jane Leslie & Adam Lerner - 2016 - Stanford Encyclopedia of Philosophy.
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.

View all 177 citations / Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.

Add more references