scientific article; zbMATH DE number 4016224

MaRDI QIDQ3028367zbMATH OpenFDO

Authors Makoto Haraguchi, S. Arikawa

Publication date 1987

zbMATH Keywords

logic programminganalogical union of logic programsreasoning by analogy between logic programs

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 4049141
• Analogical reasoning using transformations of rules
• scientific article; zbMATH DE number 3887108
• scientific article; zbMATH DE number 140380
• scientific article; zbMATH DE number 4033138

Cited in

(9)

• Logic program forms
• An analogical approach of resolution
• scientific article; zbMATH DE number 3887108 (Why is no real title available?)
• scientific article; zbMATH DE number 4033138 (Why is no real title available?)
• Analogical logic program synthesis algorithm that can refute inappropriate similarities
• scientific article; zbMATH DE number 4108193 (Why is no real title available?)
• Analogical reasoning using transformations of rules
• scientific article; zbMATH DE number 458996 (Why is no real title available?)
• Analogy calculus

This page was built for publication:

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