Learning first-order definitions of functions

Journal of Artificial Intelligence Research

Volumn 5, Issue , 1996, Pages 139-161

  Quinlan, J R ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000786695     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.308     Document Type: Article

References (11)

1. Bell, S., & Weber, S. (1993). On the close logical relationship between FOIL and the frameworks of Helft and Plotkin. In Proceedings Third International Workshop on Inductive Logic Programming, Bled, Slovenia, pp. 127-147.
2. Bergadano, F., & Gunetti, D. (1993). An interactive system to learn functional logic programs. In Proceedings Thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, pp. 1044-1049. San Francisco: Morgan Kaufmann.
3. Bratko, I. (1990). Prolog Programming for Artificial Intelligence (2nd edition). Wokingham, UK: Addison-Wesley.
4. Cameron-Jones, R. M., & Quinlan, J. R. (1994). Efficient top-down induction of logic programs. SIGART, 5, 33-42.
5. De Raedt, L. (Ed.). (1996). Advances in Inductive Logic Programming. Amsterdam: IOS Press.
6. Quinlan, J. R., & Cameron-Jones, R. M. (1995). Induction of logic programs: FOIL and related systems. New Generation Computing, 13, 287-312.
7. Rouveirol, C. (1994). Flattening and saturation: two representation changes for generalization. Machine Learning, 14, 219-232.
8. Srinivasan, A., Muggleton, S. H., Sternberg, M. J. E., & King, R. D. (1996). Theories for mutagenicity: a study in first-order and feature-based induction. Artificial Intelligence, 84, 277-299.
9. Ullman, J. D. (1988). Principles of Database and Knowledge-Base Systems. Rockville, MD: Computer Science Press.
10. Webb, G. I., & Brkič, N. (1993). Learning decision lists by prepending inferred rules. In Proceedings Australian Workshop on Machine Learning and Hybrid Systems, Melbourne, Australia, pp. 6-10.
11. Zelle, J. M., & Mooney, R. J. (1993). Combining FOIL and ebg to speed-up logic programs. In Proceedings Thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, pp. 1106-1111. San Francisco: Morgan Kaufmann.