Journal of the ACM (JACM)
Generating all maximal independent sets of bounded-degree hypergraphs
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
Structural results about exact learning with unspecified attribute values
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
The query complexity of finding local minima in the lattice
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
Computing intersections of Horn theories for reasoning with models
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
On learning in the presence of unspecified attribute values
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
Learning to Reason with a Restricted View
Machine Learning
Learning functions represented as multiplicity automata
Journal of the ACM (JACM)
Predicting nearly as well as the best pruning of a decision tree through dynamic programming scheme
Theoretical Computer Science
Almost all monotone Boolean functions are polynomially learnable using membership queries
Information Processing Letters
Exact learning of DNF formulas using DNF hypotheses
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Decision tree approximations of Boolean functions
Theoretical Computer Science
Remarks on computational learning theory
Annals of Mathematics and Artificial Intelligence
Adaptive Versus Nonadaptive Attribute-Efficient Learning
Machine Learning
Translation among CNFs, characteristic models and ordered binary decision diagrams
Information Processing Letters
Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams
ISAAC '01 Proceedings of the 12th International Symposium on Algorithms and Computation
Algebraic Characterizations of Small Classes of Boolean Functions
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Exact Learning when Irrelevant Variables Abound
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Learnability of Quantified Formulas
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Analysis of Case-Based Representability of Boolean Functions by Monotone Theory
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Learning Taxonomic Relation by Case-Based Reasoning
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Constructing a Critical Casebase to Represent a Lattice-Based Relation
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
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
On the Proper Learning of Axis Parallel Concepts
COLT '02 Proceedings of the 15th Annual Conference on Computational Learning Theory
Variations on extending partially defined boolean functions with missing bits
Information and Computation
Learning from examples with unspecified attribute values
Information and Computation
On the proper learning of axis-parallel concepts
The Journal of Machine Learning Research
Learnability of quantified formulas
Theoretical Computer Science
The monotone theory for the PAC-model
Information and Computation
Theory revision with queries: horn, read-once, and parity formulas
Artificial Intelligence
On learning monotone DNF under product distributions
Information and Computation
Exact learning of DNF formulas using DNF hypotheses
Journal of Computer and System Sciences - Special issue on COLT 2002
Learning DNF from random walks
Journal of Computer and System Sciences - Special issue: Learning theory 2003
Learning a circuit by injecting values
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing
Learning taxonomic relation by case-based reasoning
Theoretical Computer Science - Algorithmic learning theory (ALT 2000)
The Journal of Machine Learning Research
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Learning attribute-efficiently with corrupt oracles
Theoretical Computer Science
ALT '08 Proceedings of the 19th international conference on Algorithmic Learning Theory
Learning a circuit by injecting values
Journal of Computer and System Sciences
Redescription mining: structure theory and algorithms
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Learning conditional preference networks with queries
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Learning large-alphabet and analog circuits with value injection queries
COLT'07 Proceedings of the 20th annual conference on Learning theory
Learning conditional preference networks
Artificial Intelligence
Computing minimal models by positively minimal disjuncts
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Comparing learning algorithms in automated assume-guarantee reasoning
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Automatically inferring quantified loop invariants by algorithmic learning from simple templates
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Predicate generation for learning-based quantifier-free loop invariant inference
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Learning attribute-efficiently with corrupt oracles
ALT'05 Proceedings of the 16th international conference on Algorithmic Learning Theory
On PAC learning algorithms for rich boolean function classes
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Automated assume-guarantee reasoning through implicit learning
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Learning boolean functions incrementally
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Termination analysis with algorithmic learning
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
ALLQBF solving by computational learning
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
BULL: a library for learning algorithms of boolean functions
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |