The approximation of implicates and explanations

DOI10.1016/0888-613X(93)90015-6zbMath0784.68085MaRDI QIDQ1308780

Alex Kean

Publication date: 10 December 1993

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

zbMATH Keywords

ATMS-based implicatescomputational abductionlength-based implicatesquery-based implicates

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (2)

Unnamed Item ⋮ The approximation of implicates and explanations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An incremental method for generating prime implicants/implicates
• Computational complexity of terminological reasoning in BACK
• The computational complexity of abduction
• On the number of prime implicants
• The approximation of implicates and explanations

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