Clausal Discovery

Machine Learning

Volumn 26, Issue 2-3, 1997, Pages 99-146

  De Raedt, Luc ^a   Dehaspe, Luc ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

Data Mining; Induction; Inductive Logic Programming; Knowledge Discovery in Databases; Learning; Logic of Induction; Parallel Learning; Semantics for Induction

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATABASE SYSTEMS; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS;

DATA MINING; INDUCTION; INDUCTIVE LOGIC PROGRAMMING; KNOWLEDGE DISCOVERY IN DATABASES; LEARNING; LOGIC OF INDUCTION; PARALLEL LEARNING; SEMANTICS FOR INDUCTION;

LOGIC PROGRAMMING;

EID: 0031073733     PISSN: 08856125     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1007361123060     Document Type: Article

References (56)

1. Adé, H., De Raedt, L. and Bruynooghe, M. 1995. Declarative Bias for Specific-to-General ILP Systems. Machine Learning, 20(1/2):119-154.
2. Agrawal, R., Imielinski, T. and Swami, A. 1993. Mining association rules between sets of items in large databases. In Proceedings of the 1993 International Conference on Management of Data (SIGMOD 93), pages 207-216.
3. Bergadano, F. & Gunetti, D. 1993. An interactive system to learn functional logic programs. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1044-1049. Morgan Kaufmann.
4. Bergadano, F. 1993. Towards an inductive logic programming language. Technical Report ESPRIT project no. 6020 ILP Deliverable TO1, Computer Science Department, University of Torino.
5. Bratko, I. & Grobelnik, M. 1993. Inductive learning applied to program construction and verification. In Proceedings of the 3rd International Workshop on Inductive Logic Programming, pages 279-292.
6. Bratko, I. 1986. Prolog Programming for Artificial Intelligence. Addison-Wesley.
7. Cameron-Jones, R.M. & Quinlan, J.R. 1993. Avoiding pitfalls when learning recursive theories. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1050-1055. Morgan Kaufmann.
8. Clark, P. & Niblett, T. 1989. The CN2 algorithm. Machine Learning, 3(4):261-284.
9. Clocksin, W.F. & Mellish, C.S. 1981. Programming in Prolog. Springer-Verlag, Berlin.
10. Cohen, W.W. 1994. Grammatically biased learning: learning logic programs using an explicit antecedent description language. Artificial Intelligence, 68:303-366.
11. De Raedt, L. & Bruynooghe, M. 1993. A theory of clausal discovery. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1058-1063. Morgan Kaufmann.
12. De Raedt, L. & Džeroski, S. 1994. First order jk-clausal theories are PAC-learnable. Artificial Intelligence, 70:375-392.
13. De Raedt, L. & Van Laer, W. 1995. Inductive constraint logic. In Proceedings of the 5th Workshop on Algorithmic Learning Theory, Volume 997 of Lecture Notes in Artificial Intelligence. Springer-Verlag.
14. De Raedt, L., Lavrač, N. & Džeroski, S. 1993. Multiple predicate learning. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1037-1042. Morgan Kaufmann.
15. De Raedt, L. 1996. Induction in logic. In R.S. Michalski and Wnek J., editors, Proceedings of the 3rd International Workshop on Multistrategy Learning, pages 29-38.
16. Dehaspe, L. & De Raedt, L. 1996. DLAB: A declarative language bias formalism. In Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS96), volume 1079 of Lecture Notes in Artificial Intelligence, pages 613-622. Springer-Verlag.
17. Dolšak, B. & Muggleton, S. 1992. The application of Inductive Logic Programming to finite element mesh design. In S. Muggleton, editor, Inductive logic programming, pages 453-472. Academic Press.
18. Džeroski, S., Cestnik, B. & Petrovski, I. 1993. Using the m-estimate in rule induction. Journal of Computing and Information Technology, 1(1):37-46.
19. Džeroski, S., Dehaspe, L., Ruck, B. & Walley, W. 1994. Classification of river water quality data using machine learning. In Proceedings of the 5th International Conference on the Development and Application of Computer Techniques to Environmental Studies.
20. Džeroski, S. 1995. Inductive logic programming and knowledge discovery in databases. In U. Fayyad, G. Piatetsky-Shapiro, P. Smyth, and R. Uthurusamy, editors, Advances in Knowledge Discovery and Data Mining, pages 118-152. The MIT Press.
21. Emde, W., Habel, C.U. & Rollinger, C.R. 1983. The discovery of the equator or concept driven learning. In Proceedings of the 8th International Joint Conference on Artificial Intelligence, pages 455-458. Morgan Kaufmann.
22. Fayyad, U., Piatetsky-Shapiro, G., Smyth, P. & Uthurusamy, R. editors. 1995. Advances in Knowledge Discovery and Data Mining. The MIT Press.
23. Fensel, D., Zickwolff, M. & Wiese, M. 1995. Are substitutions the better examples? In L. De Raedt, editor, Proceedings of the 5th International Workshop on Inductive Logic Programming.
24. Flach, P. 1992. A framework for inductive logic programming. In S. Muggleton, editor, Inductive logic programming. Academic Press.
25. Flach, P. 1993. Predicate invention in inductive data engineering. In P. Brazdil, editor, Proceedings of the 6th European Conference on Machine Learning, Volume 667 of Lecture Notes in Artificial Intelligence, pages 83-94. Springer-Verlag.
26. Flach, P.R. 1994. Inductive logic programming and philosophy of science. In S. Wrobel, editor, Proceedings of the 4th International Workshop on Inductive Logic Programming, volume 237 of GMD-Studien, Sankt Augustin, Germany. Gesellschaft für Mathematik und Datenverarbeitung MBH.
27. Flach, P. 1995. An inquiry concerning the logic of induction. PhD thesis, Tilburg University, Institute for Language Technology and Artificial Intelligence.
28. Genesereth, M. & Nilsson, N. 1987. Logical foundations of artificial intelligence. Morgan Kaufmann.
29. Helft, N. 1989. Induction as nonmonotonic inference. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, pages 149-156. Morgan Kaufmann.
30. Kantola, M., Mannila, H., Raiha, K.J. & Siirtola, H. 1992. Discovering functional and inclusion dependencies in relational databases. International Journal of Intelligent Systems, 7(7):561-607.
31. Kietz, J-U. & Wrobel, S. 1992. Controlling the complexity of learning in logic through syntactic and task-oriented models. In S. Muggleton, editor, Inductive logic programming, pages 335-359. Academic Press.
32. Klösgen, W. 1996. Explora: A multipattern and multistrategy discovery assistant. In U. Fayyad, G. Piatetsky-Shapiro, P. Smyth, and R. Uthurusamy, editors, Advances in Knowledge Discovery and Data Mining. The MIT Press.
33. Lavrač, N. & Džeroski, S. 1994. Inductive Logic Programming: Techniques and Applications. Ellis Horwood.
34. Lloyd, J.W. 1987. Foundations of logic programming. Springer-Verlag, 2nd edition.
35. MacDonald, I.G. 1979. Symmetric functions and Hall polynomials. Clarendon Oxford.
36. Mannila, H. 1995. Aspects of data mining. In Y. Kodratoff, G. Nakhaeizadeh, and G. Taylor, editors, Proceedings of the MLnet Familiarization Workshop on Statistics, Machine Learning and Knowledge Discovery in Databases, pages 1-6, Heraklion, Crete, Greece.
37. Manthey, R. & Bry, F. 1988. SATCHMO: a theorem prover implemented in Prolog. In Proceedings of the 9th International Conference on Automated Deduction (CADE88), pages 415-434. Springer-Verlag.
38. Michalski, R.S. 1983. A theory and methodology of inductive learning. In R.S Michalski, J.G. Carbonell, and TM. Mitchell, editors, Machine Learning: an artificial intelligence approach, volume 1. Morgan Kaufmann.
39. Mitchell, T.M. 1982. Generalization as search. Artificial Intelligence, 18:203-226.
40. Morik, K. & Brockhausen, P. 1996. A multistrategy approach to relational discovery in databases. In R.S. Michalski and Wnek J., editors, Proceedings of the 3rd International Workshop on Multistrategy Learning, pages 17-28.
41. Muggleton, S. & De Raedt, L. 1994. Inductive logic programming : Theory and methods. Journal of Logic Programming, 19,20:629-679.
42. Muggleton, S. & Feng, C. 1990. Efficient induction of logic programs. In Proceedings of the 1st conference on algorithmic learning theory, pages 368-381. Ohmsma, Tokyo, Japan.
43. Muggleton, S. 1995. Inverse entailment and Progol. New Generation Computing, 13.
44. Piatetsky-Shapiro, G. 1991. Discovery, analysis, and presentation of strong rules. In G. Piatetsky-Shapiro and W. Frawley, editors, Knowledge Discovery in Databases, pages 229-248. The MIT Press.
45. Plotkin, G. 1970. A note on inductive generalization. In Machine Intelligence, volume 5, pages 153-163. Edinburgh University Press.
46. Quinlan, J.R. 1990. Learning logical definitions from relations. Machine Learning, 5:239-266.
47. Rouveirol, C. 1994. Flattening and saturation: Two representation changes for generalization. Machine Learning, 14:219-232.
48. Savnik, I. & Flach, P.A. 1993. Bottom-up induction of functional dependencies from relations. In Proceedings of the AAAI'93 Workshop on Knowledge Discovery in Databases, pages 174-185. AAAI Press. Washington DC.
49. Schlimmer, J. 1991. Learning determinations and checking databases. In Proceedings of the AAAI'91 Workshop on Knowledge Discovery in Databases, pages 64-761. Washington DC.
50. Shen, W.M. 1992. Discovering regularities from knowledge bases. International Journal of Intelligent Systems, 7(7).
51. Srinivasan, A., Muggleton, S. & Bain, M. 1992. Distinguishing exceptions from noise in non-monotonic learning. In Proceedings of the 2nd International Workshop on Inductive Logic Programming, 1992.
52. Srinivasan, A., Muggleton, S.H. & King, R.D. 1995. Comparing the use of background knowledge by inductive logic programming systems. In L. De Raedt, editor, Proceedings of the 5th International Workshop on Inductive Logic Programming. IOS Press.
53. Srinivasan, A., Muggleton, S.H., Sternberg, M.J.E. & King, R.D. 1995. Theories for mutagenicity: a study in first-order and feature-based induction. Artificial Intelligence. To appear.
54. Sterling, L. & Shapiro, E. 1986. The art of Prolog. The MIT Press.
55. van der Laag, P.R.J. & Nienhuys-Cheng, S.-H. 1994. Existence and nonexistence of complete refinement operators. In F. Bergadano and L. De Raedt, editors, Proceedings of the 7th European Conference on Machine Learning, volume 784 of Lecture Notes in Artificial Intelligence, pages 307-322. Springer-Verlag.
56. Wrobel, S. & Džeroski, S. 1995. The ILP description learning problem: Towards a general model-level definition of data mining in ILP. Technical report, Presented at the 1995 Workshop of the GI Special Interest Group Machine Learning (FGML-95).