Bibliography

BGT93

F. Bergadano, D. Gunetti, and U. Trinchero.
The Difficulties of Learning Logic Programs with Cut.
Journal of AI Research, 1:91-107, 1993.

CM81

William F. Clocksin and Christopher S. Mellish.
Programming in Prolog.
Springer-Verlag, 1981.

FY99

Pierre Flener and Serap Yilmaz.
Inductive synthesis of recursive logic programs: Achievements and prospects.
Journal of Logic Programming, 41(2-3):141-195, 1999.

Gol67

E. M. Gold.
Language identication in the limit.
Information and Control, 10(5):447-474, 1967.

Hum85

David Hume.
A Treatise on Human Nature.
Penguin Classics, 1985.

JORS99

S. Jain, D. Osherson, J. Royer, and A. Sharma.
Systems That Learn: An Introduction to Learning Theory.
MIT Press, second edition, 1999.

Llo87a

J. W. Lloyd.
Declarative error diagnosis.
New Generation Computing, 5:133-154, 1987.

Llo87b

J.W. Lloyd.
Foundations of logic programming.
Symbolic Computation - Artificial Intelligence. Springer-Verlag, 1987.

Mit97

Tom M. Mitchell.
Machine Learning.
McGraw-Hill, 1997.

MR99

Eric McCreath and Mark Reid.
A noise resistant model inference system.
In Discovery Science, pages 252-263, 1999.

Mug95

S. Muggleton.
Inverse entailment and Progol.
New Generation Computing Journal, 13:245-286, 1995.

NCdW97

S. Nienhuys-Cheng and R. de Wolf.
Foundations of Inductive Logic Programming, volume 1228 of Lecture Notes In Artificial Intelligence.
Springer-Verlag, 1997.

QCJ93

J. R. Quinlan and R. M. Cameron-Jones.
FOIL: A midterm report.
In P. Brazdil, editor, Proceedings of the 6th European Conference on Machine Learning, volume 667, pages 3-20. Springer-Verlag, 1993.

Ric00

Peter Rickwood.
Automatic characterisation of humpback whale song.
School of Computer Science and Engineering, UNSW, June 2000.

Rob92

J. A. Robinson.
Logic and logic programming.
Communications of the ACM, 35(3):40-65, March 1992.

Sam93

Claude Sammut.
The Origins of Inductive Logic Programming: A Prehistoric Tale.
In S. Muggleton, editor, Third International Workshop on Inductive Logic Programming, 1993.

SB86

C. A. Sammut and R. B Banerji.
Machine Learning: An Artificial Intelligence Approach, volume 2, chapter Learning Concepts by Asking Questions., pages 167-192.
Morgan Kaufmann, 1986.

Sha81

E.Y. Shapiro.
Inductive inference of theories from facts.
Technical report, Department of Computer Science, Yale University, 1981.

Sha83

E.Y. Shapiro.
Algorithmic Program Debugging.
MIT Press, 1983.

SS94

Leon Sterling and Ehud Shapiro.
The Art of Prolog: advanced programming techniques.
Logic programming. MIT Press, 2nd edition, 1994.