A cost effective question-asking strategy for Horn clause systems (Q1380433): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Testing Procedures for Special Structures of Coherent Systems
+Normal rank
@@ Property / cites work @@
+Some Reliability Fault-Testing Models
@@ Property / cites work: Some Reliability Fault-Testing Models / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosing multiple faults
@@ Property / cites work: Diagnosing multiple faults / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
+Normal rank
@@ Property / cites work @@
+Q4692548
@@ Property / cites work: Q4692548 / rank @@
+Normal rank
@@ Property / cites work @@
+The problem of asking the minimum number of questions in Horn clause systems
+Normal rank
@@ Property / cites work @@
+Question-asking strategies for Horn clause systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1380433