A method for finding consistent hypotheses using abstraction

DOI10.1007/3-540-44914-0_22MaRDI QIDQ4536737zbMATH OpenFDO

Authors Yoshiaki Okubo, Makoto Haraguchi, Yanfang Zheng

Publication date 6 August 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44914-0_22

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies and applications (68U99)

Recommendations

• Induction, abduction, and consequence-finding
• Induction as consequence finding
• Induction as consequence finding
• Inductive logic programming as abductive search
• scientific article; zbMATH DE number 2080447

Cited in

(1)

• Pruning hypothesis spaces using learned domain theories

This page was built for publication: A method for finding consistent hypotheses using abstraction

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