Learning comprehensible theories from structured data

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

Volumn 2600, Issue , 2003, Pages 203-225

  Lloyd, J W ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

COMPLEX STRUCTURE; HIGHER ORDER LOGIC; KNOWLEDGE REPRESENTATION LANGUAGE; ON-MACHINES; STRUCTURED DATA;

LEARNING SYSTEMS;

EID: 35248847818     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36434-x_6     Document Type: Article

References (18)

1. A.F. Bowers, C. Giraud-Carrier, and J.W. Lloyd. Classification of individuals with complex structure. In P. Langley, editor, Machine Learning: Proceedings of the Seventeenth International Conference (ICML2000), pages 81-88. Morgan Kaufmann, 2000.
2. ∼jvl, 2001.
3. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
4. T.G. Dietterich, R.H. Lathrop, and T. Lozano-Pérez. Solving the multiple instance problem with axis-parallel rectangles. Artificial Intelligence, 89:31-71, 1997.
5. P. Finn, S. Muggleton, D. Page, and A. Srinivasan. Pharmacophore discovery using the inductive logic programming system PROGOL. Machine Learning, 30:241-270, 1998.
6. T. Gärtner, J.W. Lloyd, and P. Flach. Kernels for structured data. In Proceeedings of the 12th International Conference on Inductive Logic Programming (ILP2002). Springer-Verlag, 2002. Lecture Notes in Computer Science.
7. D. Haussier. Convolution kernels on discrete structures. Technical Report UCSC-CRL-99-10, University of California in Santa Cruz, Department of Computer Science, 1999.
8. Home page of ILP workshops., http://www.cs.york.ac.uk/ILP-events/.
9. J.W. Lloyd. Programming in an integrated functional and logic language. Journal of Functional and Logic Programming, 1999(3), March 1999.
10. ∼jwl, 2001.
11. J.W. Lloyd. Higher-order computational logic. In A. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond, pages 105-137. Springer-Verlag, LNAI 2407, 2002. Essays in Honour of Robert A. Kowalski, Part I.
12. JAV. Lloyd. Predicate construction in higher-order logic. Electronic Transactions on Artificial Intelligence, 4(2000):21-51, Section B. http://www.ep.liu.se/ej/etai/2000/009/.
13. T.M. Mitchell. Machine Learning. McGraw-Hill, 1997.
14. S. Muggleton. Inductive logic programming. New Generation Computing, 8(4):295-318, 1991.
15. S. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19/20:629-679, 1994.
16. S.H. Nienhuys-Cheng and R. de Wolf. Foundations of Inductive Logic Programming. Lecture Notes in Artificial Intelligence, 1228. Springer-Verlag, 1997.
17. B. Schölkopf and A. Smola. Learning with Kernels. MIT Press, 2002.
18. Home page of Machine Learning Group, The University of York, http://www.cs.york.ac.uk/mlg/.