Learning Function-Free Horn Expressions
Machine Learning - The Eleventh Annual Conference on computational Learning Theory
Polynomial-time learnability of logic programs with local variables from entailment
Theoretical Computer Science - Algorithmic learning theory
Learning closed horn expressions
Information and Computation
Learning Range Restricted Horn Expressions
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Learning from Entailment of Logic Programs with Local Variables
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Logical Aspects of Several Bottom-Up Fittings
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Hypotheses Finding via Residue Hypotheses with the Resolution Principle
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
On the Hardness of Learning Acyclic Conjunctive Queries
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Knowledge Discovery from Semistructured Texts
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
A Theory of Hypothesis Finding in Clausal Logic
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
A Bounded Search Space of Clausal Theories
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
On Sufficient Conditions for Learnability of Logic Programs from Positive Data
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
A New Algorithm for Learning Range Restricted Horn Expressions
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
DS '01 Proceedings of the 4th International Conference on Discovery Science
Learning elementary formal systems with queries
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Hypothesis finding with proof theoretical appropriateness criteria
Theoretical Computer Science - Algorithmic learning theory(ALT 2002)
Polynomial certificates for propositional classes
Information and Computation
Complexity parameters for first order classes
Machine Learning
Prediction-hardness of acyclic conjunctive queries
Theoretical Computer Science - Algorithmic learning theory (ALT 2000)
The Journal of Machine Learning Research
Learning Horn Expressions with LOGAN-H
The Journal of Machine Learning Research
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM (JACM)
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
Polynomial certificates for propositional classes
Information and Computation
The subsumption lattice and query learning
Journal of Computer and System Sciences
Learning hereditary and reductive prolog programs from entailment
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
Learnability of simply-moded logic programs from entailment
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Generalization behaviour of alkemic decision trees
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Inductive logic programming: yet another application of logic
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Hi-index | 0.00 |