Reconsideration of circumscriptive induction with pointwise circumscription

Journal of Applied Logic 7 (3):307-317 (2009)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.jal.2008.10.005
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,462
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Hybrid Abductive Inductive Proof Procedure.Oliver Ray, Krysia Broda & Alessandra Russo - 2004 - Logic Journal of the IGPL 12 (5):371-397.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Induction Based on Circumscription.Haruka Saito & Katsumi Inoue - 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.
Consistency Proof Via Pointwise Induction.Toshiyasu Arai - 1998 - Archive for Mathematical Logic 37 (3):149-165.
Decidability and Definability with Circumscription.John S. Schlipf - 1987 - Annals of Pure and Applied Logic 35 (2):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.
On Pretabular Logics in NExtK4 (Part I).Shan Du & Hongkui Kang - 2014 - Studia Logica 102 (3):499-523.
Learning Action Rules in Action Language A.Hideyuki Bando, Katsumi Inoue & Hidetomo Nabeshima - 2003 - Transactions of the Japanese Society for Artificial Intelligence 18:297-304.
The Frame Problem: An AI Fairy Tale. [REVIEW]Kevin B. Korb - 1998 - Minds and Machines 8 (3):317-351.


Added to PP index

Total views
9 ( #788,528 of 2,273,199 )

Recent downloads (6 months)
6 ( #202,512 of 2,273,199 )

How can I increase my downloads?


My notes

Sign in to use this feature