scientific article; zbMATH DE number 4016224

zbMATH Open0625.68066MaRDI QIDQ3028367FDOQ3028367

Authors: Makoto Haraguchi, S. Arikawa 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

logic programminganalogical union of logic programsreasoning by analogy between logic programs

Mathematics Subject Classification ID

Cited In (9)

• An analogical approach of resolution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analogical logic program synthesis algorithm that can refute inappropriate similarities
• Title not available (Why is that?)
• Analogical reasoning using transformations of rules
• Title not available (Why is that?)
• Analogy calculus
• Logic program forms

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)