{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:49Z","timestamp":1725663949047},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578680"},{"type":"electronic","value":"9783540483656"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57868-4_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:33:27Z","timestamp":1330263207000},"page":"29-48","source":"Crossref","is-referenced-by-count":12,"title":["Inverting implication with small training sets"],"prefix":"10.1007","author":[{"given":"David W.","family":"Aha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Lapointe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles X.","family":"Ling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stan","family":"Matwin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"3_CR1","unstructured":"Aha, D. W., Ling, C. X., Matwin, S., & Lapointe, S. (1993). Learning singly-recursive relations from small datasets. In Proceedings of the IJCAI-93 Workshop on Inductive Logic Programming. Chambery, France: Unpublished."},{"key":"3_CR2","first-page":"73","volume-title":"Pac-learning a restricted class of recursive logic programs","author":"W. Cohen","year":"1993","unstructured":"Cohen, W. (1993). Pac-learning a restricted class of recursive logic programs. In Proceedings of the Third International Workshop on Inductive Logic Programming (pp. 73\u201386). Bled, Slovenia: J. Stefan Institute."},{"key":"3_CR3","volume-title":"Interactive theory revision: An inductive logic programming approach","author":"L. Raedt De","year":"1992","unstructured":"De Raedt, L. (1992). Interactive theory revision: An inductive logic programming approach. London: Academic Press."},{"key":"3_CR4","first-page":"241","volume-title":"Recursive anti-unification","author":"P. Idestam-Almquist","year":"1993","unstructured":"Idestam-Almquist, P. (1993). Recursive anti-unification. In Proceedings of the Third International Workshop on Inductive Logic Programming (pp. 241\u2013254). Bled, Slovenia: J. Stefan Institute."},{"key":"3_CR5","volume-title":"Constructive inductive logic programming","author":"S. Lapointe","year":"1993","unstructured":"Lapointe, S., Ling, X. C., & Matwin, S. (1993). Constructive inductive logic programming. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Chambery, France: Morgan Kaufmann."},{"key":"3_CR6","first-page":"273","volume-title":"Sub-unification: A tool for efficient induction of recursive programs","author":"S. Lapointe","year":"1992","unstructured":"Lapointe, S., & Matwin, S. (1992). Sub-unification: A tool for efficient induction of recursive programs. In Proceedings of the Ninth International Conference on Machine Learning (pp. 273\u2013281). Aberdeen, Scotland: Morgan Kaufmann."},{"key":"3_CR7","first-page":"751","volume-title":"Inductive learning from good examples","author":"X. C. Ling","year":"1991","unstructured":"Ling, X. C. (1991). Inductive learning from good examples. In Proceedings of the Twelvth International Conference on Artificial Intelligence (pp. 751\u2013756). Sydney, Australia: Morgan Kaufmann."},{"key":"3_CR8","unstructured":"Muggleton, S. (1992). Inverting implication. In Proceedings of the First European Workshop on Inductive Logic Programming. Vienna, Austria: Unpublished."},{"key":"3_CR9","first-page":"339","volume-title":"Machine invention of first order predicates by inverting resolution","author":"S. Muggleton","year":"1988","unstructured":"Muggleton, S., & Buntine, W. (1988). Machine invention of first order predicates by inverting resolution. In Proceedings of the Fifth International Conference on Machine Learning (pp. 339\u2013352). Ann Arbor, MI: Morgan Kaufmann."},{"key":"3_CR10","first-page":"368","volume-title":"Efficient induction of logic programs","author":"S. Muggleton","year":"1990","unstructured":"Muggleton, S., & Feng, C. (1990). Efficient induction of logic programs. Proceedings of the First International Workshop on Algorithmic Learning Theory (pp. 368\u2013381). Tokyo, Japan: Japanese Society for Artificial Intelligence."},{"key":"3_CR11","first-page":"746","volume-title":"Determinate literals in inductive logic programming","author":"J. R. Quinlan","year":"1991","unstructured":"Quinlan, J. R. (1991). Determinate literals in inductive logic programming. In Proceedings of the Twelvth International Joint Conference on Artificial Intelligence (pp. 746\u2013750). Sydney, Australia: Morgan Kaufmann."},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, 12, 23\u201341.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"3_CR13","first-page":"122","volume-title":"Beyond inversion of resolution","author":"C. Rouveirol","year":"1990","unstructured":"Rouveirol, C., & Puget, J. F. (1990). Beyond inversion of resolution. In Proceedings of the Seventh International Conference on Machine Learning (pp. 122\u2013130). Austin, TX: Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57868-4_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:09:10Z","timestamp":1619572150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57868-4_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578680","9783540483656"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-57868-4_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}