Reconsideration of circumscriptive induction with pointwise circumscription

DOI10.1016/J.JAL.2008.10.005MaRDI QIDQ833732zbMATH OpenOpenAlexFDO

Authors Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima

Publication date 14 August 2009

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2008.10.005

zbMATH Keywords

circumscriptionexplanatory inductiondescriptive inductionpointwise circumscription

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Mechanization of proofs and logical operations (03B35)

Recommendations

• Inductive Logic Programming
• Non-monotonic characterization of induction and its application to inductive learning
• scientific article; zbMATH DE number 4158607
• An extension of pointwise circumscription
• Brave Induction

Cites work

• scientific article; zbMATH DE number 15386 (Why is no real title available?)
• scientific article; zbMATH DE number 67498 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1746694 (Why is no real title available?)
• scientific article; zbMATH DE number 1759246 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• A Hybrid Abductive Inductive Proof Procedure
• An algorithm to compute circumscription
• An extension of pointwise circumscription
• Conservative query normalization on parallel circumscription
• Induction as consequence finding
• Inductive Logic Programming
• Linear resolution for consequence finding
• Mode-Directed Inverse Entailment for Full Clausal Theories
• SCAN -- elimination of predicate quantifiers
• Some computational aspects of circumscription

Cited in

(1)

• Inductive Logic Programming

This page was built for publication: Reconsideration of circumscriptive induction with pointwise circumscription

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q833732)