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: 93,774

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

極小限定を用いた帰納推論.井上 克巳 齋藤 悠 - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:143-152.
Circumscription within monotonic inferences.E. G. K. López-Escobar - 1988 - Journal of Symbolic Logic 53 (3):888-904.
An extension of pointwise circumscription.Koji Iwanuma & Kazuhiko Oota - 1996 - Artificial Intelligence 86 (2):391-402.
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
Consistency Proof via Pointwise Induction.Andreas Weiermann & Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (4):536.
Toshiyasu Arai. Consistency proof via pointwise induction. Archive for mathematical logic, vol. 37 no. 3 , pp. 149–165. [REVIEW]Andreas Weiermann - 2002 - Bulletin of Symbolic Logic 8 (4):536-537.
生成と検査の論理プログラムの統合による極小限定・定理証明器の構築.富田 一夫 若木 利子 - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22 (5):472-481.
Review: Katsumi Nakamura, On the Concept of Isomorphism in Mathematical Logic. [REVIEW]Shizuo Kakutani - 1941 - Journal of Symbolic Logic 6 (2):65-65.
Review: Katsumi Nakamura, Logic and Scientific Method. [REVIEW]Takeo Sugihara - 1954 - Journal of Symbolic Logic 19 (2):148-148.
Nakamura Katsumi. Ronrigaku risetsu—Kagahuronrigahu ni totte—. Baihukan, Tokyo 1942, 3 + 280 pp.Nakamura Katsumi. Zum logistischen Gestaltbegriffe. Appendix to the foregoing, pp. 257–280. [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (1):61-62.

Analytics

Added to PP
2016-06-30

Downloads
18 (#201,463)

6 months
4 (#1,635,958)

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