The approximation of implicates and explanations
From MaRDI portal
Publication:1308780
DOI10.1016/0888-613X(93)90015-6zbMath0784.68085MaRDI QIDQ1308780
Publication date: 10 December 1993
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
68T30: Knowledge representation
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item