Inductive resolution

DOI10.1007/3-540-57370-4_40MaRDI QIDQ4267823zbMATH OpenFDO

Authors Taisuke Sato, Sumitaka Akiba

Publication date 20 October 1999

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

Full work available at URL https://doi.org/10.1007/3-540-57370-4_40

zbMATH Keywords

inductive inference

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of computability and recursion theory (03D80) Logic in artificial intelligence (68T27)

Recommendations

• Induction as consequence finding
• Induction as consequence finding
• Induction, abduction, and consequence-finding
• scientific article; zbMATH DE number 2086334
• scientific article; zbMATH DE number 970718

Cited in

(1)

• Hypothesis finding based on upward refinement of residue hypotheses.

This page was built for publication: Inductive resolution

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