Hypothesis finding based on upward refinement of residue hypotheses.

DOI10.1016/S0304-3975(02)00416-4zbMath1038.68022MaRDI QIDQ1874226

Akihiro Yamamoto

Publication date: 22 May 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

logicInductive logic programmingInductive inferenceAbductive inferenceClausalHypothesis finding

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Nonmonotonic abductive inductive learning ⋮ Inverse subsumption for complete explanatory induction ⋮ Mode-Directed Inverse Entailment for Full Clausal Theories

Cites Work

• Learning elementary formal systems
• Linear resolution for consequence finding
• Monadic Elementary Formal Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hypothesis finding based on upward refinement of residue hypotheses.