Next: Logic and Logic Programming Up: COMP9417 Project Shapiro's Model Previous: Conclusion

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.



Peter Gammie
2002-03-01