A cost effective question-asking strategy for Horn clause systems
From MaRDI portal
(Redirected from Publication:1380433)
Recommendations
Cites work
- scientific article; zbMATH DE number 194580 (Why is no real title available?)
- Diagnosing multiple faults
- Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Optimal Testing Procedures for Special Structures of Coherent Systems
- Question-asking strategies for Horn clause systems
- Some Reliability Fault-Testing Models
- 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)