Reconsideration of circumscriptive induction with pointwise circumscription

DOI10.1016/J.JAL.2008.10.005zbMATH Open1172.03015OpenAlexW2037849955MaRDI QIDQ833732FDOQ833732

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

Recommendations

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

zbMATH Keywords

circumscriptionexplanatory inductiondescriptive inductionpointwise circumscription

Mathematics Subject Classification ID

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

Cites Work

• Linear resolution for consequence finding
• An algorithm to compute circumscription
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mode-Directed Inverse Entailment for Full Clausal Theories
• Induction as consequence finding
• Title not available (Why is that?)
• Some computational aspects of circumscription
• Title not available (Why is that?)
• An extension of pointwise circumscription
• Title not available (Why is that?)
• Title not available (Why is that?)
• SCAN—Elimination of predicate quantifiers
• A Hybrid Abductive Inductive Proof Procedure
• Conservative query normalization on parallel circumscription
• Inductive Logic Programming

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)