ILPnet2 library: 2001

ILP publications in 2001

This is the list of all publications in the ILPnet2 on-line library that were published in 2001. The title of the article is a link to the full reference, including -- if provided by the author -- abstract and URL. It also allows easy access to related publications.

BibTeX file for 2001.

D. Malerba, F. Esposito, A. Lanza, and F. A. Lisi. Machine Learning for Information Extraction from Topographic Maps. In H. Miller and J. Han, editors, Geographic Data Mining and Knowledge Discovery, pages 291--314. Taylor \& Francis, December 2001.
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief Revision by Multi-Agent Genetic Search. In Proceedings of the 2nd International Workshop on Computational Logic for Multi-Agent Systems, December 2001. More behind this link.
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. A System for Multi-Agent Belief Revision by Genetic Search. In Proceedings of the 2nd International Workshop on Computational Logic for Multi-Agent Systems, December 2001. More behind this link.
S. H. Muggleton, C. H. Bryant, A. Srinivasan, A. Whittaker, S. Topp, and C. Rawlings. Are grammatical representations useful for learning from biological sequence data? - a case study. Journal of Computational Biology, 8(5):493--522, October 2001. More behind this link.
Jan Ramon, Tom Francis, and Hendrik Blockeel. Learning a Tsume-Go heuristic with Tilde. In T. Marsland and I. Frank, editors, Proceedings of the Second International Conference, CG 2001, 2000 Revised Papers, volume 2063 of Lecture Notes in Computer Science, pages 151--169. Springer-Verlag, October 2001.
Nada Lavrac and Peter A. Flach. An extended transformation approach to inductive logic programming. ACM Transactions on Computational Logic, 2(4):458--494, October 2001. More behind this link.
Hendrik Blockeel, Johannes Furnkranz, Alexia Prskawetz, and Francesco C. Billari. Detecting temporal changes in event sequences: An application to demographic data. In L. De Raedt and A. Siebes, editors, Proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery, volume 2168 of Lecture Notes in Artificial Intelligence, pages 29--41. Springer-Verlag, September 2001. More behind this link.
Luc Dehaspe and Hannu Toivonen. Discovery of Relational Association Rules. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 189--212. Springer-Verlag, September 2001. More behind this link.
Kurt Driessens, Jan Ramon, and Hendrik Blockeel. Speeding up relational reinforcement learning through the use of an incremental first order decision tree algorithm. In L. De Raedt and P. Flach, editors, Proceedings of the 12th European Conference on Machine Learning, volume 2167 of Lecture Notes in Artificial Intelligence, pages 97--108. Springer-Verlag, September 2001. More behind this link.
Saso Dzeroski. Data Mining in a Nutshell. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 3--28. Springer-Verlag, September 2001. More behind this link.
Saso Dzeroski and Nada Lavrac. Introduction to Inductive Logic Programming. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 48--73. Springer-Verlag, September 2001. More behind this link.
Saso Dzeroski. Relational Data Mining Applications: An Overview. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 339--364. Springer-Verlag, September 2001. More behind this link.
Saso Dzeroski and Nada Lavrac, editors. Relational Data Mining. Springer-Verlag, Berlin, September 2001. More behind this link.
Usama Fayyad. Knowledge Discovery in Databases: An Overview. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 28--47. Springer-Verlag, September 2001. More behind this link.
Lise Getoor, Nir Friedman, Daphne Koller, and Avi Pfeffer. Learning Probabilistic Relational Models. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 307--335. Springer-Verlag, September 2001. More behind this link.
Mathias Kirsten, Stefan Wrobel, and Tamas Horvath. Distance Based Approaches to Relational Learning and Clustering. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 213--232. Springer-Verlag, September 2001. More behind this link.
A.J. Knobbe, M. de Haas, and A. Siebes. Propositionalisation and Aggregates. In Proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery, pages 277--288. Springer-Verlag, September 2001. More behind this link.
Stefan Kramer, Nada Lavrac, and Peter Flach. Propositionalization Approaches to Relational Data Mining. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 262--291. Springer-Verlag, September 2001. More behind this link.
Stefan Kramer and Gerhard Widmer. Inducing Classification and Regression Trees in First Order Logic. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 140--159. Springer-Verlag, September 2001. More behind this link.
Wim Van Laer and Luc De Raedt. How to Upgrade Propositional Learners to First Order Logic: A Case Study. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 235--261. Springer-Verlag, September 2001. More behind this link.
Stephen Muggleton and John Firth. Relational Rule Induction with CProgol4.4: A Tutorial Introduction. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 160--188. Springer-Verlag, September 2001. More behind this link.
Ross Quinlan. Relational Learning and Boosting. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 292--306. Springer-Verlag, September 2001. More behind this link.
Luc De Raedt, Hendrik Blockeel, Luc Dehaspe, and Wim Van Laer. Three Companions for Data Mining in First Order Logic. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 105--139. Springer-Verlag, September 2001. More behind this link.
Giovanni Semeraro, Stefano Ferilli, Nicola Fanizzi, and Floriana Esposito. Document Classification and Interpretation through the Inference of Logic-Based Models. In Panos Constantopoulos and Ingeborg S\olvberg, editors, Proceedings of the 5th European Conference on Digital Libraries, volume 2163 of Lecture Notes in Computer Science, pages 59--70. Springer-Verlag, September 2001. More behind this link.
Ashwin Srinivasan. Four Suggestions and a Rule Concerning the Application of ILP. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 365--374. Springer-Verlag, September 2001. More behind this link.
Ljupco Todorovski, Irene Weber, Nada Lavrac, Olga Stepankova, Saso Dzeroski, Dimitar Kazakov, Darko Zupanic, and Peter Flach. Internet Resources on ILP for KDD. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 375--388. Springer-Verlag, September 2001. More behind this link.
Stefan Wrobel. Inductive Logic Programming for Knowledge Discovery in Databases. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining, pages 74--101. Springer-Verlag, September 2001. More behind this link.
Zoltán Alexin, Péter Leipold, János Csirik, Károly Bibok, and Tibor Gyimóthy. A Rule-Based Tagger Development Framework. In Lubos Popelínský and Miloslav Nepil, editors, Proceedings of the 3d Workshop on Learning Language in Logic, pages 1--10, Strasbourg, France, September 2001.
Thomas R. Amoth, Paul Cull, and Prasad Tadepalli. On Exact Learning of Unordered Tree Patterns. Machine Learning, 43(3):211--243, September 2001.
Jérôme Besombes and Jean-Yves Marion. Identification of reversible dependency tree languages. In Lubos Popelínský and Miloslav Nepil, editors, Proceedings of the 3d Workshop on Learning Language in Logic, pages 11--22, Strasbourg, France, September 2001.
Roberto Bonato and Christian Retoré. Learning Rigid Lamberk Grammars and Minimalist Grammars from Structured Sentences. In Lubos Popelínský and Miloslav Nepil, editors, Proceedings of the 3d Workshop on Learning Language in Logic, pages 23--34, Strasbourg, France, September 2001.
James Cussens. Parameter Estimation in Stochastic Logic Programs. Machine Learning, 43(3):245--271, September 2001.
Daniela Dudau-Sofronie, Isabelle Tellier, and Marc Tommasi. From Logic to Grammars via Types. In Lubos Popelínský and Miloslav Nepil, editors, Proceedings of the 3d Workshop on Learning Language in Logic, pages 35--46, Strasbourg, France, September 2001.
Peter A. Flach. On the state of the art in machine learning: A personal review. Artificial Intelligence, 13(1/2):199--222, September 2001. More behind this link.
Peter Flach and Saso Dzeroski. Editorial: Inductive Logic Programming is Coming of Age. Machine Learning, 43(3):207--209, September 2001.
Peter A. Flach and Dragan Gamberger. Subgroup evaluation and decision support for a direct mailing marketing problem. In Christophe Giraud-Carrier, Nada Lavrac, and Steve Moyle, editors, Integrating Aspects of Data Mining, Decision Support and Meta-Learning, pages 45--56. ECML/PKDD'01 workshop notes, September 2001. More behind this link.
Thomas Gärtner, Shaomin Wu, and Peter A. Flach. Data Mining on the Sisyphus Dataset: Evaluation and Integration of Results. In Christophe Giraud-Carrier, Nada Lavrac, and Steve Moyle, editors, Integrating Aspects of Data Mining, Decision Support and Meta-Learning, pages 69--80. ECML/PKDD'01 workshop notes, September 2001. More behind this link.
L. Badea. A Refinement Operator for Theories. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 1--14. Springer-Verlag, September 2001.
R. Basilio, G. Zaverucha, and V. C. Barbosa. Learning Logic Programs with Neural Networks. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 15--26. Springer-Verlag, September 2001.
A. Braud and C. Vrain. A Genetic Algorithm for Propositionalization. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 27--40. Springer-Verlag, September 2001.
M. Eineborg and H. Boström. Classifying Uncovered Examples by Rule Stretching. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 41--50. Springer-Verlag, September 2001.
S. Hoche and S. Wrobel. Relational Learning Using Constrained Confidence-Rated Boosting. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 51--64. Springer-Verlag, September 2001.
K. Inoue. Induction, Abduction, and Consequence-Finding. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 65--79. Springer-Verlag, September 2001.
N. Jacobs and H. Blockeel. From Shell Logs to Shell Scripts. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 80--90. Springer-Verlag, September 2001.
A. Karwath and R. D. King. An Automated ILP Server in the Field of Bioinformatics. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 91--1--03. Springer-Verlag, September 2001.
K. Kersting and L. De Raedt. Adaptive Bayesian Logic Programs. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 104--117. Springer-Verlag, September 2001.
K. Kersting and L. De Raedt. Towards Combining Inductive Logic Programming with Bayesian Networks. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 118--131. Springer-Verlag, September 2001.
S. Kramer. Demand-Driven Construction of Structural Features in ILP. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 132--141. Springer-Verlag, September 2001.
M.-A. Krogel and S. Wrobel. Transformation-Based Learning Using Multirelational Aggregation. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 142--155. Springer-Verlag, September 2001.
D. Malerba and F. A. Lisi. Discovering Associations between Sapatial Objects: An ILP Application. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 156--163. Springer-Verlag, September 2001.
J. Maloberti and M. Sebag. Theta-subsumption in a Constraint Satisfaction perspective. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 164--178. Springer-Verlag, September 2001.
Miloslav Nepil. Learning to Parse from a Treebank: Combining TBL and ILP. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 179--192. Springer-Verlag, September 2001.
R. P. Otero. Induction of Stable Models. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 193--205. Springer-Verlag, September 2001.
T. Ozaki and K. Furukawa. Application of Pruning Techniques for Propositional Learning to Progol. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, page 206. Springer-Verlag, September 2001.
R. Quiniou, M.-O. Cordier, G. Carrault, and F. Wang. Application of ILP to cardiac arrhythmia characterization for chronicle recognition. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 220--227. Springer-Verlag, September 2001.
J. Struyf and H. Blockeel. Efficient Cross-validation in ILP. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 228--239. Springer-Verlag, September 2001. More behind this link.
A. Yamamoto, K. Ito, A. Ishino, and H. Arimura. Modelling Semi-structured Documents with Hedges for Deduction and Induction. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 240--247. Springer-Verlag, September 2001.
F. Zelezný. Learning Functions from Imperfect Positive Data. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the 11th International Conference on Inductive Logic Programming, volume 2157 of Lecture Notes in Artificial Intelligence, pages 248--259. Springer-Verlag, September 2001.
E. Alphonse and S. Matwin. Feature Selection for Bottom-up Inductive Logic Programming Learners. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 1--12, September 2001.
L. Badea and M. Stanciu. An Algorithm for Refining Theories. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 13--18, September 2001.
M. Bernard and A. Habrard. Learning Stochastic Logic Programs. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 19--26, September 2001.
N. Fanizzi, S. Ferilli, G. Semeraro, and F. Esposito. On the Decidability of OI-implication. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 27--38, September 2001.
C. Ferri-Ramírez, J. Hernández-Orallo, and M.J. Ramírez-Quintana. Learning MDL-guided Decision Trees for Constructor-Based Languages. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 39--50, September 2001.
T. Horvàth and S. Wrobel. Toward Discovery of Deep and Wide First-Order Structures A Case Study in the Domain of Mutagenicity. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 51--64, September 2001.
S. Igarashi, T. Ozaki, K. Ueno, and K. Furukawa. Analysis of Respiration during Musical Performances by ILP. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 65--76, September 2001.
Masaki Ito and Hayato Ohwada. Efficient Databases Access for Implementing a Scalable ILP engine. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 77--88, September 2001.
K. Revoredo and G. Zaverucha. Theory Refinement of Bayesian Logic Programs. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 89--94, September 2001.
T. Turmeaux and C. Vrain. Generalization and Specialization for Constrained Clauses. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 95--106, September 2001.
A. Yamamoto and B. Fronhöfer. Finding Hypotheses by Generalizing Residues Hypotheses. In Céline Rouveirol and Michèle Sebag, editors, Proceedings of the Work-in-Progress Track at the 11th International Conference on Inductive Logic Programming, pages 107--118, September 2001.
Boonserm Kijsirikul, Sukree Sinthupinyo, and Kongsak Chongkasemwongse. Approximate Match of Rules Using Backpropagation Neural Networks. Machine Learning, 43(3):273--299, September 2001.
Chieko Nakabasami. Interactive Background Knowledge Acquisition for Inducing Differences among Documents. In Lubos Popelínský and Miloslav Nepil, editors, Proceedings of the 3d Workshop on Learning Language in Logic, pages 47--57, Strasbourg, France, September 2001.
Miloslav Nepil, Lubos Popelínský, and Eva Zácková. Part-of-Speech Tagging by Means of Shallow Parsing, ILP and Active Learning. In Lubos Popelínský and Miloslav Nepil, editors, Proceedings of the 3d Workshop on Learning Language in Logic, pages 58--66, Strasbourg, France, September 2001.
Ashwin Srinivasan. Context-Sensitive Models in Inductive Logic Programming. Machine Learning, 43(3):301--324, September 2001.
F. Esposito, N. Fanizzi, S. Ferilli, and G. Semeraro. OI-implication: Soundness and refutation completeness. In B. Nebel, editor, Proceedings of the 17th International Joint Conference on Artificial Intelligence, pages 847--852. Morgan Kaufmann, August 2001.
F. Esposito, N. Fanizzi, S. Ferilli, and G. Semeraro. A generalization model based on OI-implication for ideal theory refinement. Fundamenta Informaticae, 47(1-2):15--33, August 2001.
J. Ramon and M. Bruynooghe. A polynomial time computable metric between point sets. Acta Informatica, 37(10):765--780, August 2001. More behind this link.
Hendrik Blockeel and Jan Struyf. Efficient algorithms for decision tree cross-validation. In Carla Brodley and Andrea Danyluk, editors, Proceedings of the 18th International Conference on Machine Learning, pages 11--18, San Francisco, California, July 2001. Morgan Kaufmann More behind this link.
Nico Jacobs and Hendrik Blockeel. The learning shell : Automated macro construction. In M. Bauer and P. Gmytrasiewicz, editors, Proceedings of the 8th International Conference on User Modeling (UM 2001), volume 2109 of Lecture Notes in Artificial Intelligence, pages 34--43. Springer-Verlag, July 2001. More behind this link.
Miloslav Nepil. Automated Parser Construction from a Treebank by means of TBL and ILP. In Eleni Miltsakaki, Christof Monz, and António Ribeiro, editors, Proceedings of the Student Research Workshop at ACL/EACL 2001, Toulouse, France, pages 19--24, New Brunswick, July 2001. Association for Computational Linguistics More behind this link.
Thomas Gaertner and Peter A. Flach. WBC_SVM: Weighted Bayesian Classification based on Support Vector Machines. In Carla E. Brodley and Andrea Pohoreckyj Danyluk, editors, Proceedings of the Eighteenth International Conference on Machine Learning, pages 207--209. Morgan Kaufmann, June 2001.
T. Horvath and G. Turan. Learning logic programs with structured background knowledge. Artificial Intelligence, 128(1-2):31--97, May 2001. More behind this link.
Ross D. King, Andreas Karwath, Amanda Clare, and Luc Dehaspe. The utility of different representations of protein sequence for predicting functional class. Bioinformatics, 17(5):445--454, May 2001.
Jan Ramon and Hendrik Blockeel. A survey of the application of machine learning to the game of go. In Hahn and Sang-Dae, editors, Proceedings of the First International Conference on Baduk, pages 1--10. Myong-ji University, Korea, May 2001.
Mark Craven and Sean Slattery. Relational Learning with Statistical Predicate Invention: Better Models for Hypertext. Machine Learning, 43(1/2):97--119, April 2001.
Saso Dzeroski, Luc De Raedt, and Kurt Driessens. Relational Reinforcement Learning. Machine Learning, 43(1/2):5--52, April 2001.
Tamas Horvath, Stefan Wrobel, and Uta Bohnebeck. Relational Instance-Based Learning with Lists and Terms. Machine Learning, 43(1/2):53--80, April 2001.
Dimitar Kazakov and Suresh Manandhar. Unsupervised Learning of Word Segmentation Rules with Genetic Algorithms and Inductive Logic Programming. Machine Learning, 43(1/2):121--162, April 2001.
Luc De Raedt, C. David Page, and Stefan Wrobel. Guest Editorial. Machine Learning, 43(1/2):5--6, April 2001.
Marcel Turcotte, Stephen H. Muggleton, and Michael J. E. Sternberg. The Effect of Relational Background Knowledge on Learning of Protein Three-Dimensional Fold Signatures. Machine Learning, 43(1/2):81--95, April 2001.
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief Revision by Lamarckian Evolution. In E. J. W. Boers et al., editor, First European Workshop on Evolutionary Learning (EvoLEARN2001), number 2037 in Lecture Notes in Computer Science, pages 406--416. Springer-Verlag, April 2001.
D. Gamberger and N. Lavrac. Filtering noisy instances and outliers. In H. Liu and H. Motoda, editors, Instance Selection and Construction for Data Mining, pages 375--394. Kluwer Academic Publishers, Boston/Dordrecht/London, February 2001.
C.H. Bryant, S.H. Muggleton, S.G. Oliver, D.B. Kell, P. Reiser, and R.D. King. Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes. Electronic Transactions on Artificial Intelligence, 5(B1):1--36, 2001. More behind this link.
Peter A. Flach and Nicolas Lachiche. Confirmation-Guided Discovery of First-Order Rules with Tertius. Machine Learning, 42(1/2):61--95, January 2001.