Peter Idestam-Almquist
-
Inductive logic programming and learnability
ACM SIGART Bulletin
Generalization of clauses under implication
Journal of Artificial Intelligence Research