Reconsideration of circumscriptive induction with pointwise circumscription
type: Item
instance of: scholarly article
title: Reconsideration of circumscriptive induction with pointwise circumscription
zbMATH Open document ID: 1172.03015
author: Koji Iwanuma
author: Katsumi Inoue
author: Hidetomo Nabeshima
published in: Journal of Applied Logic
publication date: 2009-08-14T00:00:00Z
Mathematics Subject Classification ID: 03B48
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 5595383
zbMATH Keywords: descriptive induction
zbMATH Keywords: explanatory induction
zbMATH Keywords: circumscription
zbMATH Keywords: pointwise circumscription
MaRDI profile type: Publication
full work available at URL: j.jal.2008.10.005
OpenAlex ID: W2037849955
cites work: Q4537965
cites work: Q4692605
cites work: Q3972029
cites work: Linear resolution for consequence finding
cites work: Inductive Logic Programming
cites work: Induction as consequence finding
cites work: Conservative query normalization on parallel circumscription
cites work: An extension of pointwise circumscription
cites work: Some computational aspects of circumscription
cites work: Q4530875
cites work: Q4296748
cites work: Q4012238
cites work: Mode-Directed Inverse Entailment for Full Clausal Theories
cites work: A Hybrid Abductive Inductive Proof Procedure
cites work: SCAN—Elimination of predicate quantifiers
cites work: An algorithm to compute circumscription
DOI: 10.1016/J.JAL.2008.10.005
description: scientific article; zbMATH DE number 5595383