On the learnability of Boolean formulae

Learning in the presence of malicious errors

STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing

Crytographic limitations on learning Boolean formulae and finite automata

STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing

Learnability and the Vapnik-Chervonenkis dimension

Journal of the ACM (JACM)

Learnable and Nonlearnable Visual Concepts

IEEE Transactions on Pattern Analysis and Machine Intelligence

When won't membership queries help?

STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing

On-line learning of linear functions

STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing

Computational learning theory: survey and selected bibliography

STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing

An O(nlog log n) learning algorithm for DNF under the uniform distribution

COLT '92 Proceedings of the fifth annual workshop on Computational learning theory

Exact learning of read-k disjoint DNF and not-so-disjoint DNF

COLT '92 Proceedings of the fifth annual workshop on Computational learning theory

Learning DNF formulae under classes of probability distributions

COLT '92 Proceedings of the fifth annual workshop on Computational learning theory

Toward efficient agnostic learning

COLT '92 Proceedings of the fifth annual workshop on Computational learning theory

Robust trainability of single neurons

COLT '92 Proceedings of the fifth annual workshop on Computational learning theory

Learning read-once formulas with queries

Journal of the ACM (JACM)

Original Contribution: Training a 3-node neural network is NP-complete

Neural Networks

Efficient noise-tolerant learning from statistical queries

STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing

Parameterized learning complexity

COLT '93 Proceedings of the sixth annual conference on Computational learning theory

Statistical queries and faulty PAC oracles

COLT '93 Proceedings of the sixth annual conference on Computational learning theory

On learning visual concepts and DNF formulae

COLT '93 Proceedings of the sixth annual conference on Computational learning theory

On learning embedded symmetric concepts

COLT '93 Proceedings of the sixth annual conference on Computational learning theory

Analysis of upper bound in Valiant's model for learning bounded CNF expressions

SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice

Cryptographic limitations on learning Boolean formulae and finite automata

Journal of the ACM (JACM)

On a learnability question associated to neural networks with continuous activations (extended abstract)

COLT '94 Proceedings of the seventh annual conference on Computational learning theory

On the limits of proper learnability of subclasses of DNF formulas

COLT '94 Proceedings of the seventh annual conference on Computational learning theory

Learning monotone log-term DNF formulas

COLT '94 Proceedings of the seventh annual conference on Computational learning theory

Weakly learning DNF and characterizing statistical query learning using Fourier analysis

STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing

Learning Boolean formulas

Journal of the ACM (JACM)

Learning DNF over the uniform distribution using a quantum example oracle

COLT '95 Proceedings of the eighth annual conference on Computational learning theory

Proper learning algorithm for functions of k terms under smooth distributions

COLT '95 Proceedings of the eighth annual conference on Computational learning theory

On learning bounded-width branching programs

COLT '95 Proceedings of the eighth annual conference on Computational learning theory

Approximating hyper-rectangles: learning and pseudo-random sets

STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing

On-line evaluation and prediction using linear functions

COLT '97 Proceedings of the tenth annual conference on Computational learning theory

Efficient noise-tolerant learning from statistical queries

Journal of the ACM (JACM)

Learning binary matroid ports

SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms

Structural Results About On-line Learning Models With and Without Queries

Machine Learning

More theory revision with queries (extended abstract)

STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing

The Relaxed Online Maximum Margin Algorithm

Machine Learning

Learning cost-sensitive active classifiers

Artificial Intelligence

Generalized Graph Colorability and Compressibility of Boolean Formulae

ISAAC '98 Proceedings of the 9th International Symposium on Algorithms and Computation

Learning Sub-classes of Monotone DNF on the Uniform Distribution

ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory

On Learning Monotone DNF under Product Distributions

COLT '01/EuroCOLT '01 Proceedings of the 14th Annual Conference on Computational Learning Theory and and 5th European Conference on Computational Learning Theory

Bounds for the Minimum Disagreement Problem with Applications to Learning Theory

COLT '02 Proceedings of the 15th Annual Conference on Computational Learning Theory

Complexity in the case against accuracy estimation

Theoretical Computer Science

Learning monotone dnf from a teacher that almost does not answer membership queries

The Journal of Machine Learning Research

Feasible learnability of formal grammars and the theory of natural language acquisition

COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1

Theory revision with queries: horn, read-once, and parity formulas

Artificial Intelligence

On learning monotone DNF under product distributions

Information and Computation

Representing knowledge in learning systems by pseudo boolean functions

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge

Hardness of approximate two-level logic minimization and PAC learning with membership queries

Proceedings of the thirty-eighth annual ACM symposium on Theory of computing

Simulation-Based Functional Test Generation for Embedded Processors

IEEE Transactions on Computers

Binary analysis and automated hot patching for Web-based applications

Information and Software Technology

Self-improved gaps almost everywhere for the agnostic approximation of monomials

Theoretical Computer Science

The complexity of properly learning simple concept classes

Journal of Computer and System Sciences

An incremental learning framework for estimating signal controllability in unit-level verification

Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design

Review:

Neural Computation

Learning one-counter languages in polynomial time

SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science

Learning quickly when irrelevant attributes abound: A new linear-threshold algorithm

SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science

Hardness of approximate two-level logic minimization and PAC learning with membership queries

Journal of Computer and System Sciences

Sign-representation of Boolean functions using a small number of monomials

Neural Networks

Inducing interpretable voting classifiers without trading accuracy for simplicity: theoretical results, approximation algorithms, and experiments

Journal of Artificial Intelligence Research

The minimum description length principle and its application to online learning of handprinted characters

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1

The problem of induction and machine learning

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2

Apple tasting

Information and Computation

Extracting a simplified view of design functionality based on vector simulation

HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing

A complete and tight average-case analysis of learning monomials

STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science

An algebraic perspective on Boolean function learning

ALT'09 Proceedings of the 20th international conference on Algorithmic learning theory

Probably approximately correct learning

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2

Analyses of instance-based learning algorithms

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2

Pac-learning a restricted class of recursive logic programs

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence

Autonomous hot patching for web-based applications

COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference

On exact learning from random walk

ALT'06 Proceedings of the 17th international conference on Algorithmic Learning Theory

Exact learning composed classes with a small number of mistakes

COLT'06 Proceedings of the 19th annual conference on Learning Theory