scientific article; zbMATH DE number 67456

zbMATH Open0745.68088MaRDI QIDQ4012181FDOQ4012181

Authors: Robert Demolombe, Luis Fariñas del Cerro 

Publication date: 27 September 1992

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

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

zbMATH Keywords

abductive reasoninghypothesis generation\(L\)-inference rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (9)

• Title not available (Why is that?)
• Linear resolution for consequence finding
• Artificial Intelligence and Soft Computing - ICAISC 2004
• An assumption-based truth maintenance system dealing with non-ground justifications
• Title not available (Why is that?)
• Abductive Reasoning on Molecular Interaction Maps
• How to Produce Information About a Given Entity Using Automated Deduction Methods
• 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)