FOIL: A midterm report

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 667 LNAI, Issue , 1993, Pages 3-20

  Quinlan, J R ^a   Cameron Jones, R M ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; MACHINE LEARNING;

A-PROLOG; HORN CLAUSE; LEARNING TASKS; NON-TRIVIAL;

PROLOG (PROGRAMMING LANGUAGE);

EID: 8844252892     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56602-3_124     Document Type: Conference Paper

References (19)

1. Bratko, I. (1986). Prolog Programming for Artificial Intelligence. Wokingham, UK: Addison-Wesley.
2. Breiman, L., Friedman, J.H., Olshen, R.A. and Stone, C.J. (1984). Classification and Regression Trees. Belmont: Wadsworth International.
3. Cameron-Jones, R.M., and Quinlan, J.R. (1993). Avoiding pitfalls when learning recursive theories (draft). Available by anonymous ftp from 129.78.8.1, file pub/recurse.tex.
4. Cestnik, B., Kononenko, I. and Bratko, I. (1987). ASSISTANT 86: a knowledge elicitation tool for sophisticated users. In Bratko and Lavrač (Eds.) Progress in Machine Learning. Wilmslow: Sigma Press.
5. Clark, P and Niblett, T. (1987). Induction in noisy domains. In Bratko and Lavrač (Eds.) Progress in Machine Learning. Wilmslow: Sigma Press.
6. Kietz, J. and Morik, K. (1993). A polynomial approach to the constructive induction of structural knowledge. Machine Learning, to appear.
7. Kijsirikul, B., Numao, M. and Shimura, M. (1991). Efficient learning of logic programs with non-determinate, non-discriminating literals. Proceedings Eighth International Workshop on Machine Learning, Evanston, Illinois, 417-421.
8. Michalski, R.S., Mozetič, I., Hong, J. and Lavrač, N. (1986). The multipurpose incremental learning system AQ15 and its testing application to three medical domains. Proceedings Fifth National Conference on Artificial Intelligence, Philadelphia, 1041-1045.
9. Muggleton, S., and Buntine, W. (1988). Machine invention of first-order predicates by inverting resolution. Proceedings Fifth International Conference Machine Learning, Ann Arbor, 339-352.
10. Muggleton, S., and Feng, C. (1990). Efficient induction of logic programs. Proceedings First Conference on Algorithmic Learning Theory, Tokyo.
11. Pazzani, M.J., Brunk, C.A. and Silverstein, G. (1991). A knowledge-intensive approach to learning relational concepts. Proceedings Eighth International Workshop on Machine Learning, Evanston, Illinois, 432-436.
12. Pazzani, M.J. and Kibler, D. (1992). The utility of knowledge in inductive learning. Machine Learning 9, 1, 57-94.
13. Quinlan, J.R. (1990). Learning logical definitions from relations. Machine Learning 5, 239-266.
14. Quinlan, J.R. (1991). Determinate literals in inductive logic programming. Proceedings Twelfth International Joint Conference on Artificial Intelligence, Sydney, 746-750.
15. Quinlan, J.R. (1992). C4.5: Programs for Machine Learning. San Mateo: Morgan Kaufmann.
16. Richards, B.L. and Mooney, R.J. (1991). First-order theory revision. Proceedings Eighth International Workshop on Machine Learning, Evanston, Illinois, 447-451.
17. Rouveirol, C. (1991). Completeness for induction procedures. Proceedings Eighth International Workshop on Machine Learning, Evanston, Illinois, 452-456.
18. Sammut, C.A., and Banerji, R.B. (1986). Learning concepts by asking questions. In R.S. Michalski, J.G. Carbonell and T.M. Mitchell (Eds.) Machine Learning: An Artificial Intelligence Approach (Vol 2). Los Altos: Morgan Kaufmann.
19. Shapiro, E.Y. (1983). Algorithmic Program Debugging. Cambridge, MA: MIT Press.