Reconsideration of circumscriptive induction with pointwise circumscription

, &
Journal of Applied Logic 7 (3):307-317 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2008.10.005

Links

PhilArchive



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

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

Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
Circumscription within monotonic inferences.E. G. K. López-Escobar - 1988 - Journal of Symbolic Logic 53 (3):888-904.
Consistency proof via pointwise induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.
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.
Pointwise hereditary majorization and some applications.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (4):227-241.
Consistency Proof via Pointwise Induction.Andreas Weiermann & Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (4):536.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic.Ksenija Simic - 2007 - Journal of Symbolic Logic 72 (1):45 - 66.
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.
The frame problem: An AI fairy tale. [REVIEW]Kevin B. Korb - 1998 - Minds and Machines 8 (3):317-351.
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.
Equivalence issues in abduction and induction.Chiaki Sakama & Katsumi Inoue - 2009 - Journal of Applied Logic 7 (3):318-328.
Towards a logical reconstruction of CF-induction.Yoshitaka Yamamoto, Oliver Ray & Katsumi Inoue - 2008 - In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 330--343.

Analytics

Added to PP
2016-06-30

Downloads
18 (#808,169)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.
An extension of pointwise circumscription.Koji Iwanuma & Kazuhiko Oota - 1996 - Artificial Intelligence 86 (2):391-402.

View all 6 references / Add more references