1. Learning conjunctions of horn clauses;Angluin;Machine Learning,1992
2. Learning prepositional horn sentences with hints;Angluin,1987
3. Polynomial learnability and inductive logic programming: methods and results;Cohen;New Generation Comput.,1995
4. PAC-learning non-recursive Prolog clauses;Cohen;Artificial Intelligence,1995
5. L. De Raedt and L. Dehaspe, Learning from satisfiability, Tech. Rept. KUL-CW, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, to appear.