A cost effective question-asking strategy for Horn clause systems
From MaRDI portal
Publication:1380433
DOI10.1007/BF02127975zbMATH Open0891.68036MaRDI QIDQ1380433FDOQ1380433
Authors: Jinchang Wang, Evangelos Triantaphyllou
Publication date: 4 March 1998
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Recommendations
Cites Work
- Diagnosing multiple faults
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Optimal Testing Procedures for Special Structures of Coherent Systems
- Some Reliability Fault-Testing Models
- Title not available (Why is that?)
- Question-asking strategies for Horn clause systems
- Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
- The problem of asking the minimum number of questions in Horn clause systems
Cited In (4)
This page was built for publication: A cost effective question-asking strategy for Horn clause systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1380433)