{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:37:51Z","timestamp":1752230271596,"version":"3.40.4"},"reference-count":38,"publisher":"Unmaintained records","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["CrossRef Listing of Deleted DOIs"],"published-print":{"date-parts":[[2000]]},"DOI":"10.1162\/153244304773936027","type":"journal-article","created":{"date-parts":[[2004,5,6]],"date-time":"2004-05-06T14:35:03Z","timestamp":1083854103000},"source":"Crossref","is-referenced-by-count":14,"title":["10.1162\/153244304773936027"],"prefix":"10.50505","volume":"1","member":"53084","reference":[{"key":"p_1_92","doi-asserted-by":"crossref","unstructured":"H. Blockeel. Top-down induction of first order logical decision trees. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, 1998. URL http:\/\/www.cs.kuleuven.ac.be\/~ml\/PS\/blockeel98:phd.ps.gz.","DOI":"10.1016\/S0004-3702(98)00034-4"},{"key":"p_2_93","doi-asserted-by":"crossref","unstructured":"H. Blockeel, B. Demoen, L. Dehaspe, G. Janssens, J. Ramon, and H. Vandecasteele. Executing query packs in ILP. In J. Cussens and A. Frisch, editors, Proceedings of the 10th International Conference in Inductive Logic Programming, volume 1866 of Lecture Notes in Artificial Intelligence, pages 60-77, London, UK, July 2000a. Springer.","DOI":"10.1007\/3-540-44960-4_4"},{"key":"p_3_94","unstructured":"H. Blockeel, B. Demoen, G. Janssens, H. Vandecasteele, and W. Van Laer. Two advanced transformations for improving the efficiency of an ILP system. In 10th International Conference on Inductive Logic Programming, Work-in-Progress Reports, pages 43-59, London, UK, July 2000b."},{"key":"p_4_95","unstructured":"I. Bratko and M. Grobelnik. Inductive learning applied to program construction and verification. In Stephen Muggleton, editor, Proceedings of the Third International Workshop on Inductive Logic Programming, pages 279-292. Joz?ef Stefan Institute, 1993."},{"key":"p_5_96","unstructured":"F. Bueno, M. Garci?a de la Banda, and M. Hermenegildo. Effectiveness of global analysis in strict independence-based automatic program parallelization. In International Symposium on Logic Programming, pages 320-337. MIT Press, 1994."},{"key":"p_6_97","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Bruynooghe, M. Garci?a de la Banda, and M. Hermenegildo. Exploiting goal independence in the analysis of logic programs. Journal of Logic Programming, 32(3), 1997.","DOI":"10.1016\/S0743-1066(96)00143-4"},{"key":"p_7_98","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"p_8_99","doi-asserted-by":"crossref","unstructured":"J. Cussens. Part-of-speech tagging using Progol. In Nada Lavrac and Saso Dz?eroski, editors, Proceedings of the Seventh International Workshop on Inductive Logic Programming, Lecture Notes in Artificial Intelligence, pages 93-108. Springer-Verlag, 1997.","DOI":"10.1007\/3540635149_38"},{"key":"p_9_100","doi-asserted-by":"crossref","unstructured":"L. De Raedt and W. Van Laer. Inductive constraint logic. In Klaus P. Jantke, Takeshi Shinohara, and Thomas Zeugmann, editors, Proceedings of the Sixth International Workshop on Algorithmic Learning Theory, volume 997 of Lecture Notes in Artificial Intelligence, pages 80-94. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60454-5_30"},{"key":"p_10_101","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009863704807"},{"key":"p_11_102","unstructured":"B. Dolsak and S. Muggleton. The application of Inductive Logic Programming to finite element mesh design. In S. Muggleton, editor, Inductive Logic Programming, pages 453-472. Academic Press, 1992."},{"key":"p_12_103","unstructured":"S. Dz?eroski, L. Dehaspe, B. Ruck, and W. Walley. 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, 1994."},{"key":"p_13_104","unstructured":"W. Emde and D. Wettschereck. Relational instance-based learning. In L. Saitta, editor, Proceedings of the Thirteenth International Conference on Machine Learning, pages 122-130. Morgan Kaufmann, 1996."},{"key":"p_14_105","doi-asserted-by":"crossref","unstructured":"C. Feng. Inducing temporal fault dignostic rules from a qualitative model. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, London, 1992.","DOI":"10.1016\/B978-1-55860-200-7.50083-0"},{"key":"p_15_106","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90034-Z"},{"key":"p_16_107","doi-asserted-by":"crossref","unstructured":"J.U. Kietz and M. Lubbe. An efficient subsumption algorithm for inductive logic programming. In W.W. Cohen and H Hirsh, editors, Proceedings of the 11th International Conference on Machine Learning, pages 130-138. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-55860-335-6.50024-6"},{"key":"p_17_108","doi-asserted-by":"crossref","unstructured":"R.D. King, S. Muggleton, R.A. Lewis, and M.J.E. Sternberg. Drug design by machine learning: the use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase. Proceedings of the National Academy of Sciences, 89(23), 1992.","DOI":"10.1073\/pnas.89.23.11322"},{"key":"p_18_109","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.93.1.438"},{"key":"p_19_110","unstructured":"Stefan Kramer. Structural regression trees. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, pages 812-819, Cambridge\/Menlo Park, 1996. AAAI Press\/MIT Press."},{"key":"p_20_111","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"1","key":"p_21_112","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/321992.322000","volume":"24","author":"Loveman D. B.","year":"1977","journal-title":"Journal of the Association for Computing Machinery"},{"key":"p_22_113","unstructured":"E. McCreath. Induction in First Order Logic from Noisy Training Examples and Fixed Example Set Sizes. PhD thesis, University of New South Wales, 1999."},{"issue":"1","key":"p_23_114","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/181668.181671","volume":"5","author":"Muggleton S.","year":"1994","journal-title":"SIGART Bulletin"},{"key":"p_24_115","doi-asserted-by":"crossref","unstructured":"S. Muggleton. Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13(3-4):245-286, 1995.","DOI":"10.1007\/BF03037227"},{"key":"p_25_116","unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the First Conference on Algorithmic Learning Theory, pages 368-381. Ohmsma, Tokyo, Japan, 1990."},{"key":"p_26_117","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1093\/protein\/5.7.647","volume":"7","author":"Muggleton S.","year":"1992","journal-title":"Protein Engineering"},{"key":"p_27_118","unstructured":"C. Nedellec, H. Ade, F. Bergadano, and B. Tausend. Declarative bias in ILP. In L. De Raedt, editor, Advances in Inductive Logic Programming, volume 32 of Frontiers in Artificial Intelligence and Applications, pages 82-103. IOS Press, 1996."},{"key":"p_28_119","doi-asserted-by":"crossref","unstructured":"S.H. Nienhuys-Cheng and R. De Wolf. Foundations of Inductive Logic Programming, volume 1228 of Lecture Notes in Computer Science and Lecture Notes in Artificial Intelligence. Springer-Verlag, New York, NY, USA, 1997.","DOI":"10.1007\/3-540-62927-0"},{"key":"p_29_120","first-page":"239","volume":"5","author":"Quinlan J.R.","year":"1990","journal-title":"Machine Learning"},{"key":"p_30_121","doi-asserted-by":"crossref","unstructured":"V. Santos Costa, A. Srinivasan, and R. Camacho. A note on two simple transformations for improving the efficiency of an ILP system. In J. Cussens and A. Frisch, editors, Proceedings of the Tenth International Conference on Inductive Logic Programming, volume 1866 of Lecture Notes in Artificial Intelligence, pages 225-242. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-44960-4_14"},{"key":"p_31_122","doi-asserted-by":"crossref","unstructured":"T. Scheffer, R. Herbrich, and F. Wysotzki. Efficient theta-subsumption based on graph algorithms. In Inductive Logic Programming, 6th International Workshop, Proceedings, volume 1314 of Lecture Notes in Artificial Intelligence, pages 212-228, 1996.","DOI":"10.1007\/3-540-63494-0_57"},{"key":"p_32_123","unstructured":"M. Sebag and C. Rouveirol. Tractable induction and classification in first-order logic via stochastic matching. In Proceedings of the 15th International Joint Conference on Artificial Intelligence, pages 888-893. Morgan Kaufmann, 1997."},{"key":"p_33_124","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009824123462"},{"key":"p_34_125","doi-asserted-by":"crossref","unstructured":"A. Srinivasan, R.D. King, and D.W. Bristol. An assessment of ILP-assisted models for toxicology and the PTE-3 experiment. In Proceedings of the Ninth International Workshop on Inductive Logic Programming, volume 1634 of Lecture Notes in Artificial Intelligence, pages 291-302. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48751-4_27"},{"key":"p_35_126","unstructured":"A. Srinivasan, S.H. Muggleton, M.J.E. Sternberg, and R.D. King. Theories for mutagenicity: A study in first-order and feature-based induction. Artificial Intelligence, 85(1,2):277-299, 1996."},{"key":"p_36_127","unstructured":"Ashwin Srinivasan. The Aleph Manual. University of Oxford, 2001."},{"key":"p_37_128","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)00077-0"},{"key":"p_38_129","unstructured":"J. Zelle and R. J. Mooney. Learning semantic grammars with constructive inductive logic programming. In Proceedings of the 10th National Conference on Artificial Intelligence (AAAI-93), pages 817-822, 1993."}],"container-title":["CrossRef Listing of Deleted DOIs"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T23:11:54Z","timestamp":1745104314000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.crossref.org\/deleted_DOI.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1162\/153244304773936027","relation":{},"ISSN":["0003-6951"],"issn-type":[{"type":"print","value":"0003-6951"}],"subject":[],"published":{"date-parts":[[2000]]}}}