{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:15:04Z","timestamp":1725491704363},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540738466"},{"type":"electronic","value":"9783540738473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73847-3_35","type":"book-chapter","created":{"date-parts":[[2007,9,18]],"date-time":"2007-09-18T23:23:12Z","timestamp":1190157792000},"page":"379-393","source":"Crossref","is-referenced-by-count":4,"title":["ILP Through Propositionalization and Stochastic k-Term DNF Learning"],"prefix":"10.1007","author":[{"given":"Aline","family":"Paes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filip","family":"\u017delezn\u00fd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerson","family":"Zaverucha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Page","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashwin","family":"Srinivasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1162\/153244304773936018","volume":"4","author":"M. Botta","year":"2003","unstructured":"Botta, M., Giordana, A., Saitta, L., Sebag, M.: Relational learning as search in a critical region. J. Mach. Learn. Res.\u00a04, 431\u2013463 (2003)","journal-title":"J. Mach. Learn. Res."},{"key":"35_CR2","unstructured":"Chisholm, M., Tadepalli, P.: Learning decision rules by randomized iterative local search. In: Proc. of the 19th ICML, pp. 75\u201382 (2002)"},{"key":"35_CR3","first-page":"115","volume-title":"Proc. of 12th ICML","author":"W.W. Cohen","year":"1995","unstructured":"Cohen, W.W.: Fast effective rule induction. In: Proc. of 12th ICML, pp. 115\u2013123. Morgan Kaufmann, San Francisco (1995)"},{"key":"35_CR4","first-page":"144","volume-title":"Proc. of 15th ICML","author":"E. Frank","year":"1998","unstructured":"Frank, E., Witten, I.H.: Generating accurate rule sets without global optimization. In: Proc. of 15th ICML, pp. 144\u2013151. Morgan Kaufmann, San Francisco (1998)"},{"key":"35_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","volume-title":"An Introduction to Computational Learning Theory","author":"M.J. Kearns","year":"1994","unstructured":"Kearns, M.J., Vazirani, U V.: An Introduction to Computational Learning Theory. Cambridge, Massachusetts (1994)"},{"key":"35_CR6","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1038\/nature02236","volume":"427","author":"R.D. King","year":"2004","unstructured":"King, R.D., Whelan, K.E., Jones, F.M., Reiser, P.K.G., Bryant, C.H., Muggleton, S.H., Kell, D.B., Oliver, S.G.: Functional genomic hypothesis generation and experimentation by a robot scientist. Nature\u00a0427, 247\u2013252 (2004)","journal-title":"Nature"},{"key":"35_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-3-540-39917-9_14","volume-title":"Inductive Logic Programming","author":"M.-A. Krogel","year":"2003","unstructured":"Krogel, M.-A., Rawles, S., \u017delezn\u00fd, F., Flach, P.A., Lavrac, N., Wrobel, S.: Comparative evaluation of approaches to propositionalization. In: Horv\u00e1th, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol.\u00a02835, pp. 197\u2013214. Springer, Heidelberg (2003)"},{"key":"35_CR8","unstructured":"Lavra\u010d, N., D\u017eeroski, S.: Inductive Logic Programming: Techniques and Applications. Ellis Horwood (1994)"},{"issue":"4","key":"35_CR9","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/383779.383781","volume":"2","author":"N. Lavra\u010d","year":"2001","unstructured":"Lavra\u010d, N., Flach, P.A.: An extended transformation approach to inductive logic programming. ACM Trans. on Comp. Logic\u00a02(4), 458\u2013494 (2001)","journal-title":"ACM Trans. on Comp. Logic"},{"key":"35_CR10","first-page":"38","volume-title":"Workshop in pattern-Directed Inference Systems, SIGART Newsletter","author":"R.S. Michalski","year":"1977","unstructured":"Michalski, R.S., Larson, J.B.: Inductive inference of vl decision rules. In: Workshop in pattern-Directed Inference Systems, SIGART Newsletter, vol.\u00a063, pp. 38\u201344. ACM, New York (1977)"},{"key":"35_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and progol. New Generation Computing Journal\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing Journal"},{"issue":"11","key":"35_CR12","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/319382.319390","volume":"42","author":"S. Muggleton","year":"1999","unstructured":"Muggleton, S.: Scientific knowledge discovery using inductive logic programming. Communications of the ACM\u00a042(11), 42\u201346 (1999)","journal-title":"Communications of the ACM"},{"key":"35_CR13","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1162\/153244304773936009","volume":"4","author":"D. Page","year":"2003","unstructured":"Page, D., Srinivasan, A.: Ilp: A short look back and a longer look forward. Journal of Machine Learning Research\u00a04, 415\u2013430 (2003)","journal-title":"Journal of Machine Learning Research"},{"key":"35_CR14","unstructured":"R\u00fcckert, U.: Machine learning in the phase transition framework. Master\u2019s thesis, Albert-Ludwigs-Universit\u00e4t Freiburg (2002)"},{"key":"35_CR15","unstructured":"R\u00fcckert, U., Kramer, S.: Stochastic local search in k-term dnf learning. In: Proc. of the 20th ICML, pp. 648\u2013655 (2003)"},{"key":"35_CR16","unstructured":"Selman, B., Kautz, H.A.: Domain-independent extensions to gsat: Solving large structured satisfiability problems. In: Proc. of the 13th IJCAI, pp. 290\u2013295 (1993)"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Selman, B., Kautz, H.A., Cohen, B.: Local search strategies for satisfiability testing. In: Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, October 11-13, 1993. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a026, pp. 521\u2013532 (1996)","DOI":"10.1090\/dimacs\/026\/25"},{"key":"35_CR18","unstructured":"Selman, B., Levesque, H.J., Mitchell, D.G.: A new method for solving hard satisfiability problems. In: Proc. of the 10th AAAI, pp. 440\u2013446 (1992)"},{"key":"35_CR19","unstructured":"Srinivasan, A.: The Aleph Manual (2001), \n                    \n                      http:\/\/web.comlab.ox.ac.uk\/oucl\/research\/areas\/machlearn\/Aleph\/aleph.html"},{"issue":"1-2","key":"35_CR20","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0004-3702(95)00122-0","volume":"85","author":"A. Srinivasan","year":"1996","unstructured":"Srinivasan, A., Muggleton, S., Sternberg, M.J.E., King, R.D.: Theories for mutagenicity: A study in first-order and feature-based induction. Artificial Intelligence\u00a085(1-2), 277\u2013299 (1996)","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"35_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10994-006-5834-0","volume":"62","author":"F. \u017delezn\u00fd","year":"2006","unstructured":"\u017delezn\u00fd, F., Lavrac, N.: Propositionalization-based relational subgroup discovery with RSD. Machine Learning\u00a062(1\u20132), 33\u201363 (2006)","journal-title":"Machine Learning"},{"key":"35_CR22","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Inductive Logic Programming","author":"F. \u017delezn\u00fd","year":"2004","unstructured":"\u017delezn\u00fd, F., Srinivasan, A., Page, D.: A monte carlo study of randomised restarted search in ILP. In: Camacho, R., King, R., Srinivasan, A. (eds.) ILP 2004. LNCS (LNAI), vol.\u00a03194, Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73847-3_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:02:51Z","timestamp":1619503371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73847-3_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540738466","9783540738473"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73847-3_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}