Reconsideration of circumscriptive induction with pointwise circumscription

DOI10.1016/j.jal.2008.10.005zbMath1172.03015OpenAlexW2037849955MaRDI QIDQ833732

Hidetomo Nabeshima, Katsumi Inoue, Koji Iwanuma

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)

Cites Work

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