The approximation of implicates and explanations

DOI10.1016/0888-613X(93)90015-6MaRDI QIDQ1308780zbMATH OpenFDO

Authors Alex Kean

Publication date 10 December 1993

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0888-613X(93)90015-6

zbMATH Keywords

ATMS-based implicatescomputational abductionlength-based implicatesquery-based implicates

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 2086980
• On computing all abductive explanations from a propositional Horn theory
• scientific article; zbMATH DE number 2086469
• Support set selection for abductive and default reasoning
• scientific article; zbMATH DE number 512816

Cites work

• An incremental method for generating prime implicants/implicates
• Computational complexity of terminological reasoning in BACK
• scientific article; zbMATH DE number 4174360 (Why is no real title available?)
• scientific article; zbMATH DE number 4162321 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 3185204 (Why is no real title available?)
• scientific article; zbMATH DE number 4185071 (Why is no real title available?)
• On the number of prime implicants
• The approximation of implicates and explanations
• The computational complexity of abduction

Cited in

(5)

• The approximation of implicates and explanations
• scientific article; zbMATH DE number 991162 (Why is no real title available?)
• scientific article; zbMATH DE number 1508978 (Why is no real title available?)
• Restricted ideals and the groupability property. Tools for temporal reasoning.
• Representation theorems for explanatory reasoning based on cumulative models

This page was built for publication: The approximation of implicates and explanations

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