Circumscribing with sets

Artificial Intelligence 31 (2):201-211 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(87)90020-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,674

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

Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Circumscribing constant-width bodies with polytopes.Kuperberg Greg - unknown
${\Cal d}$-maximal sets.Peter A. Cholak, Peter Gerdes & Karen Lange - 2015 - Journal of Symbolic Logic 80 (4):1182-1210.
-Maximal sets.Peter A. Cholak, Peter Gerdes & Karen Lange - 2015 - Journal of Symbolic Logic 80 (4):1182-1210.
About the coexistence of “classical sets” with “non-classical” ones: A survey.Roland Hinnion - 2003 - Logic and Logical Philosophy 11:79-90.
The maternal operation: Circumscribing the alliance.Kelly Oliver - 1997 - In Ellen K. Feder, Mary C. Rawlinson & Emily Zakin (eds.), Derrida and Feminism: Recasting the Question of Woman. Routledge. pp. 53--68.
Toward an Alliance Between the Issue-Processing Approach and Pragma-Dialectical Analysis.David Braybrooke - 2003 - Argumentation 17 (4):513-535.
Circumscribing expertise: membership categories in courtroom testimony.Michael Lynch - 2004 - In Sheila Jasanoff (ed.), States of knowledge: the co-production of science and social order. New York: Routledge. pp. 161--80.
Index sets in the arithmetical Hierarchy.Ulrike Brandt - 1988 - Annals of Pure and Applied Logic 37 (2):101-110.
Effectively and Noneffectively Nowhere Simple Sets.Valentina S. Harizanov - 1996 - Mathematical Logic Quarterly 42 (1):241-248.
Recursively enumerable generic sets.Wolfgang Maass - 1982 - Journal of Symbolic Logic 47 (4):809-823.
The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
On subcreative sets and S-reducibility.John T. Gill & Paul H. Morris - 1974 - Journal of Symbolic Logic 39 (4):669-677.
On Subcreative Sets and S-Reducibility.John T. Gill Iii & Paul H. Morris - 1974 - Journal of Symbolic Logic 39 (4):669 - 677.
Living Standards and Capabilities: Equal Values or Equal Sets?Marc Fleurbaey - 2007 - Analyse & Kritik 29 (2):226-234.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,335,414)

6 months
4 (#843,989)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dynamic reasoning with qualified syllogisms.Daniel G. Schwartz - 1997 - Artificial Intelligence 93 (1-2):103-167.
Autocircumscription.Donald Perlis - 1988 - Artificial Intelligence 36 (2):223-236.

Add more citations

References found in this work

Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
The mathematics of non-monotonic reasoning.Martin Davis - 1980 - Artificial Intelligence 13 (1-2):73-80.
Completeness results for circumscription.Donald Perlis & Jack Minker - 1986 - Artificial Intelligence 28 (1):29-42.

View all 6 references / Add more references