{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:48:46Z","timestamp":1725504526256},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540784685"},{"type":"electronic","value":"9783540784692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78469-2_21","type":"book-chapter","created":{"date-parts":[[2008,2,21]],"date-time":"2008-02-21T23:17:25Z","timestamp":1203635845000},"page":"200-210","source":"Crossref","is-referenced-by-count":5,"title":["Revising First-Order Logic Theories from Examples Through Stochastic Local Search"],"prefix":"10.1007","author":[{"given":"Aline","family":"Paes","sequence":"first","affiliation":[]},{"given":"Gerson","family":"Zaverucha","sequence":"additional","affiliation":[]},{"given":"Vitor","family":"Santos Costa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-48751-4_6","volume-title":"Inductive Logic Programming","author":"I. Bratko","year":"1999","unstructured":"Bratko, I.: Refining complete hypotheses in ILP. In: D\u017eeroski, S., Flach, P.A. (eds.) ILP 1999. LNCS (LNAI), vol.\u00a01634, pp. 44\u201355. Springer, Heidelberg (1999)"},{"key":"21_CR2","unstructured":"Chisholm, M., Tadepalli, P.: Learning decision rules by randomized iterative local search. In: Proc. of the 19th ICML, pp. 75\u201382 (2002)"},{"issue":"3-4","key":"21_CR3","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/BF03037232","volume":"13","author":"R.D. King","year":"1995","unstructured":"King, R.D., Sternberg, M.J.E., Srinivasan, A.: Relating chemical activity to structure: An examination of ILP successes. New Generation Computing\u00a013(3-4), 411\u2013433 (1995)","journal-title":"New Generation Computing"},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and Progol. New Generation Computing\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing"},{"key":"21_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-540-73847-3_35","volume-title":"Inductive Logic Programming","author":"A. Paes","year":"2007","unstructured":"Paes, A., \u017delezn\u00fd, F., Zaverucha, G., Page, D., Srinivasan, A.: ILP through propositionalization and stochastic k-term DNF learning. In: Muggleton, S., Otero, R., Tamaddoni-Nezhad, A. (eds.) ILP 2006. LNCS (LNAI), vol.\u00a04455, pp. 379\u2013393. Springer, Heidelberg (2007)"},{"key":"21_CR6","unstructured":"Paes, A., Zaverucha, G., Costa, V.S.: Further results on revising first-order theories through Stochastic Local Search. In: Technical report, Federal University of Rio de Janeiro (2007)"},{"issue":"2","key":"21_CR7","first-page":"95","volume":"19","author":"B.L. Richards","year":"1995","unstructured":"Richards, B.L., Mooney, R.J.: Automated refinement of first-order Horn-clause domain theories. Machine Learning\u00a019(2), 95\u2013131 (1995)","journal-title":"Machine Learning"},{"key":"21_CR8","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":"21_CR9","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1090\/dimacs\/026\/25","volume":"26","author":"B. Selman","year":"1996","unstructured":"Selman, B., Kautz, H.A., Cohen, B.: Local search strategies for satisfiability testing. DIMACS Series in Discrete Mathematics and Theoretical Computer Science\u00a026, 521\u2013532 (1996)","journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"key":"21_CR10","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":"21_CR11","unstructured":"Srinivasan, A.: The Aleph Manual (2001)"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/3540635149_56","volume-title":"Inductive Logic Programming","author":"A. Srinivasan","year":"1997","unstructured":"Srinivasan, A., King, R.D., Muggleton, S., Sternberg, M.J.E.: Carcinogenesis predictions using ILP. In: D\u017eeroski, S., Lavra\u010d, N. (eds.) ILP 1997. LNCS, vol.\u00a01297, pp. 273\u2013287. Springer, Heidelberg (1997)"},{"issue":"1-2","key":"21_CR13","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-3","key":"21_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10994-006-7733-9","volume":"64","author":"F. \u017delezn\u00fd","year":"2006","unstructured":"\u017delezn\u00fd, F., Srinivasan, A., Page, D.: Randomised restarted search in ILP. Machine Learning\u00a064(1-3), 183\u2013208 (2006)","journal-title":"Machine Learning"},{"key":"21_CR15","first-page":"14","volume-title":"Advances in Inductive Logic Programming","author":"S. Wrobel","year":"1996","unstructured":"Wrobel, S.: First-order theory refinement. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 14\u201333. IOS Press, Amsterdam (1996)"}],"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-78469-2_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:10:11Z","timestamp":1619507411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78469-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540784685","9783540784692"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78469-2_21","relation":{},"subject":[]}}