An extension of pointwise circumscription

&
Artificial Intelligence 86 (2):391-402 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(96)00028-8

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

Reconsideration of circumscriptive induction with pointwise circumscription.Koji Iwanuma, Katsumi Inoue & Hidetomo Nabeshima - 2009 - Journal of Applied Logic 7 (3):307-317.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
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.
The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic.Ksenija Simic - 2007 - Journal of Symbolic Logic 72 (1):45 - 66.
Circumscription within monotonic inferences.E. G. K. López-Escobar - 1988 - Journal of Symbolic Logic 53 (3):888-904.
On Pretabular Logics in NExtK4 (Part I).Shan Du & Hongkui Kang - 2014 - Studia Logica 102 (3):499-523.
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.
Pointwise hereditary majorization and some applications.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (4):227-241.
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.
The Pseudocompactness of [0.1] Is Equivalent to the Uniform Continuity Theorem.Douglas Bridges & Hannes Diener - 2007 - Journal of Symbolic Logic 72 (4):1379 - 1384.
Method and Truth in "Truth and Method": The Disruption of the Circumscription of Truth to Statement.Jose Antonio Solis-Silva - 2001 - Dissertation, Duquesne University

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,430,516)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
Completeness results for circumscription.Donald Perlis & Jack Minker - 1986 - Artificial Intelligence 28 (1):29-42.
A circumscriptive theorem prover.Matthew L. Ginsberg - 1989 - Artificial Intelligence 39 (2):209-230.
An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.

View all 8 references / Add more references