Learnability of quantified formulas. (Q1426470): Difference between revisions

@@ Property / cites work @@
+Queries and concept learning
@@ Property / cites work: Queries and concept learning / rank @@
+Normal rank
@@ Property / cites work @@
+Learning conjunctions of Horn clauses
@@ Property / cites work: Learning conjunctions of Horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+When won't membership queries help?
@@ Property / cites work: When won't membership queries help? / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial interpolation and the Chinese remainder theorem for algebraic systems
+Normal rank
@@ Property / cites work @@
+Exact learning Boolean functions via the monotone theory
+Normal rank
@@ Property / cites work @@
+Learning counting functions with queries
@@ Property / cites work: Learning counting functions with queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising tractable constraints
@@ Property / cites work: Characterising tractable constraints / rank @@
+Normal rank
@@ Property / cites work @@
+A dichotomy theorem for learning quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Group-theoretic algorithms and graph isomorphism
@@ Property / cites work: Group-theoretic algorithms and graph isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient membership-query algorithm for learning DNF with respect to the uniform distribution
+Normal rank
@@ Property / cites work @@
+Constraints, consistency and closure
@@ Property / cites work: Constraints, consistency and closure / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of constraints
@@ Property / cites work: Closure properties of constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable constraints on ordered domains
@@ Property / cites work: Tractable constraints on ordered domains / rank @@
+Normal rank
@@ Property / cites work @@
+Cryptographic limitations on learning Boolean formulae and finite automata
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004339
@@ Property / cites work: Q4004339 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Theory and methods
@@ Property / cites work: Inductive Logic Programming: Theory and methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354427
@@ Property / cites work: Q4354427 / rank @@
+Normal rank
@@ Property / cites work @@
+Prediction-preserving reducibility
@@ Property / cites work: Prediction-preserving reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Q3739182
@@ Property / cites work: Q3739182 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739181
@@ Property / cites work: Q3739181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3770585
@@ Property / cites work: Q3770585 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of the learnable
@@ Property / cites work: A theory of the learnable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3281057
@@ Property / cites work: Q3281057 / rank @@
+Normal rank