History of circumscription

Artificial Intelligence 59 (1-2):23-26 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(93)90164-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

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.
FDE Circumscription.Daniel Skurt - 2017 - Australasian Journal of Logic 14 (2).
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
Expressiveness and definability in circumscription.Francicleber Martins Ferreira & Ana Teresa Martins - 2011 - Manuscrito 34 (1):233-266.
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.
Trinity as Circumscription of Divine Love according to Friedrich Schleiermacher.Gregory A. Walter - 2008 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 50 (1):62-74.
Formal Dialectic in Fallacy Inquiry: An Unintelligible Circumscription of Argumentative Rationality? [REVIEW]Louise Cummings - 2003 - Argumentation 17 (2):161-183.
Method and Truth in "Truth and Method": The Disruption of the Circumscription of Truth to Statement.Jose Antonio Solis-Silva - 2001 - Dissertation, Duquesne University
Honesty in partial logic.Wiebe Hoek, Jan Jaspars & Elias Thijsse - 1996 - Studia Logica 56 (3):323-360.
Actions and other events in situation calculus.John McCarthy - manuscript
Circumscription.Manfred Jaeger - 1993 - Artificial Intelligence 60 (2):293-301.
The expressive power of circumscription.Tom Costello - 1998 - Artificial Intelligence 104 (1-2):313-329.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,010,467)

6 months
13 (#182,749)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John C. McCarthy
Catholic University of America

Citations of this work

Dynamic reasoning with qualified syllogisms.Daniel G. Schwartz - 1997 - Artificial Intelligence 93 (1-2):103-167.
Sources of, and exploiting, inconsistency: preliminary report.Don Perlis - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):13-24.

Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.

Add more references