Anti-unification in constraint logics: foundations and applications to learnability in first-order logic, to speed-up learning, and to deduction

Learning Function-Free Horn Expressions

Machine Learning - The Eleventh Annual Conference on computational Learning Theory

On Exact Learning of Unordered Tree Patterns

Machine Learning

Higher order generalization and its application in program verification

Annals of Mathematics and Artificial Intelligence

Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming

ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming

Building theories into instantiation

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

CLP(BN): constraint logic programming for probabilistic knowledge

Probabilistic inductive logic programming

CLP(BN): constraint logic programming for probabilistic knowledge

UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence

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