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 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28:89–116.
A Hybrid Abductive Inductive Proof Procedure.Oliver Ray, Krysia Broda & Alessandra Russo - 2004 - Logic Journal of the IGPL 12 (5):371-397.
Citations of this work BETA
No citations found.
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.
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.
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 (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.
The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic.Ksenija Simic - 2007 - Journal of Symbolic Logic 72 (1):45 - 66.
A Word Extraction Method From Newspaper Articles Based on Time Infomation for Event Sequence Mining.Tomomichi Tada, Koji Iwanuma & Hidetomo Nabeshima - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:488-493.
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.
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.
Analytics
Added to PP index
2016-06-30
Total views
9 ( #788,528 of 2,273,199 )
Recent downloads (6 months)
6 ( #202,512 of 2,273,199 )
2016-06-30
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?
Downloads
