Inductive constraint logic

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

Volumn 997, Issue , 1995, Pages 80-94

  De Raedt, Luc ^a   Van Laer, Wim ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; FORMAL LOGIC;

ATTRIBUTE VALUES; CONJUCTIVE NORMAL FORMS; DISJUNCTIVE NORMAL FORM; FIRST ORDER LOGIC; INDUCTIVE LOGIC; LEARNING TECHNIQUES; NEGATIVE EXAMPLES; POSITIVE EXAMPLES;

INDUCTIVE LOGIC PROGRAMMING (ILP);

EID: 84947905415     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (24)

1. H. Adé, L. De Raedt, and M. Bruynooghe. Declarative Bias for Specific- To-General ILP Systems. Machine Learning, 1995. To appear.
2. P. Clark and T. Niblett. The CN2 algorithm. Machine Learning, 3(4):261-284, 1989.
3. L. De Raedt and S. Džeroski. First order jk-clausal theo­ries are pac-learnable. Artificial Intelligence, 70:375-392, 1994.
4. L. De Raedt, N. Lavrač, and S. Džeroski. Multiple predicate learn­ing. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1037-1042. Morgan Kaufmann, 1993.
5. T. G. Dietterich and R.S. Michalski. Discovering patterns in sequences of events. Artificial Intelligence, 25:257-294, 1985.
6. M. Genesereth and N. Nilsson. Logical foundations of ar­tificial intelligence. Morgan Kaufmann, 1987.
7. D. Haussler. Quantifying inductive bias : Al learning algorithms and Valiant’s learning framework. Artificial Intelligence, 36:177-221, 1988.
8. R. D. King, S. Muggleton, R.A. Lewis, and M.J.E. Sternberg. Drug de­sign by machine learning: the use of inductive logic programming to model the structure- activity relationships of trimethoprim analogues binding to dihydrofolate reductase. Pro­ceedings of the National Academy of Sciences, 89(23), 1992.
9. N. Lavrač and S. Džeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, 1994.
10. J. W. Lloyd. Foundations of logic programming. Springer-Verlag, 2nd edition, 1987.
11. R. S. Michalski and R.E. Stepp. Learning from observation: conceptual clustering. In R.S Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Ma­chine Learning: an artificial intelligence approach, volume 1. Tioga Publishing Company, 1983.
12. R. S. Michalski. A theory and methodology of inductive learning. In R.S Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: an artificial intelligence approach, volume 1. Morgan Kaufmann, 1983.
13. R. J. Mooney. Encouraging experimented results on learning cnf. Machine Learning, 19:79-92, 1995.
14. S. Muggleton and L. De Raedt. Inductive logic program­ming : Theory and methods. Journal of Logic Programming, 19, 20:629-679, 1994.
15. S. Muggleton, M. Bain, J. Hayes-Michie, and D. Michie. An ex­perimental comparison of human and machine learning formalisms. In Proceedings of the 6th International Workshop on Machine Learning, pages 113-118. Morgan Kaufmann, 1989.
16. S. Muggleton, editor. Inductive Logic Programming. Academic Press, 1992.
17. G. Plotkin. A note on inductive generalization. In Machine Intelligence, volume 5, pages 153-163. Edinburgh University Press, 1970.
18. J. R. Quinlan. Induction of decision trees. Machine Learning, 1:81-106, 1986.
19. J. R. Quinlan. Learning logical definitions from relations. Machine Learn­ing, 5:239-266, 1990.
20. C. Rouveirol. Flattening and saturation: Two representation changes for generalization. Machine Learning, 14:219-232, 1994.
21. E. Y. Shapiro. Algorithmic Program Debugging. The MIT Press, 1983.
22. A. Srinivasan, S. H. Muggleton, R. D. King, and M. J. E. Sternberg. Mutagenesis: Dp experiments in a non-determinate biological domain. In S. Wrobel, ed­itor, Proceedings of the 4th International Workshop on Inductive Logic Programming, volume 237 of GMD-Studien, pages 217-232. Gesellschaft fur Mathematik und Datenver- arbeitung MBH, 1994.
23. P. R. J. van der Laag and S.-H. Nienhuys-Cheng. Subsumption and refinement in model inference. In P. Brazdil, editor, Proceedings of the 6th European Conference on Machine Learning, volume 667 of Lecture Notes in Artificial Intelligence, pages 95-114. Springer-Verlag, 1993.
24. W. Van Laer, L. Dehaspe, and L. De Raedt. Applications of a log­ical discovery engine. In Proceedings of the AAAI Workshop on Knowledge Discovery in Databases, pages 263-274, 1994.