scientific article; zbMATH DE number 67456

MaRDI QIDQ4012181zbMATH OpenFDO

Authors Robert Demolombe, Luis Fariñas del Cerro

Publication date 27 September 1992

zbMATH Keywords

abductive reasoninghypothesis generation\(L\)-inference rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 898328
• scientific article; zbMATH DE number 2077154
• On rules of abduction.
• scientific article; zbMATH DE number 2080447
• Cut-Based Abduction

Cited in

(9)

• Abductive reasoning on molecular interaction maps
• How to produce information about a given entity using automated deduction methods
• Linear resolution for consequence finding
• scientific article; zbMATH DE number 4070815 (Why is no real title available?)
• Artificial Intelligence and Soft Computing - ICAISC 2004
• An assumption-based truth maintenance system dealing with non-ground justifications
• scientific article; zbMATH DE number 2077154 (Why is no real title available?)
• Using Abduction to Compute Efficient Proofs
• Temporal abductive reasoning about biochemical reactions

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 Q4012181)