Explaining AI decisions using efficient methods for learning sparse Boolean formulae (Q2331079): Difference between revisions

@@ Property / cites work @@
+When won't membership queries help?
@@ Property / cites work: When won't membership queries help? / rank @@
+Normal rank
@@ Property / cites work @@
+Q2896115
@@ Property / cites work: Q2896115 / rank @@
+Normal rank
@@ Property / cites work @@
+The coupon-collector problem revisited — a survey of engineering problems and computational methods
+Normal rank
@@ Property / cites work @@
+Sigma*
@@ Property / cites work: Sigma* / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking function synthesis for bit-vector relations
+Normal rank
@@ Property / cites work @@
+A general lower bound on the number of examples needed for learning
+Normal rank
@@ Property / cites work @@
+Theory revision with queries: Horn, read-once, and parity formulas
+Normal rank
@@ Property / cites work @@
+On PAC learning algorithms for rich Boolean function classes
+Normal rank
@@ Property / cites work @@
+Explaining AI decisions using efficient methods for learning sparse Boolean formulae
+Normal rank
@@ Property / cites work @@
+A theory of formal synthesis via inductive learning
+Normal rank
@@ Property / cites work @@
+Learning Boolean formulas
@@ Property / cites work: Learning Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptographic limitations on learning Boolean formulae and finite automata
+Normal rank
@@ Property / cites work @@
+Planning Algorithms
@@ Property / cites work: Planning Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4839061
@@ Property / cites work: Q4839061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational limitations on learning from examples
+Normal rank
@@ Property / cites work @@
+Counterexample-guided quantifier instantiation for synthesis in SMT
+Normal rank
@@ Property / cites work @@
+Automatic invariant generation for hybrid systems using ideal fixed points
+Normal rank
@@ Property / cites work @@
+Constructing invariants for hybrid systems
@@ Property / cites work: Constructing invariants for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3112634
@@ Property / cites work: Q3112634 / rank @@
+Normal rank