{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:01:47Z","timestamp":1743037307261,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642239533"},{"type":"electronic","value":"9783642239540"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23954-0_6","type":"book-chapter","created":{"date-parts":[[2011,9,11]],"date-time":"2011-09-11T00:30:34Z","timestamp":1315701034000},"page":"33-44","source":"Crossref","is-referenced-by-count":3,"title":["Plugging Numeric Similarity in First-Order Logic Horn Clauses Comparison"],"prefix":"10.1007","author":[{"given":"S.","family":"Ferilli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. M. A.","family":"Basile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Di Mauro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Esposito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Biba, M., Esposito, F., Ferilli, S., Di Mauro, N., Basile, T.M.A.: Unsupervised discretization using kernel density estimation. In: IJCAI 2007, pp. 696\u2013701 (2007)"},{"key":"6_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottl\u00f6b, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)"},{"issue":"1-2","key":"6_CR3","first-page":"15","volume":"47","author":"F. Esposito","year":"2001","unstructured":"Esposito, F., Fanizzi, N., Ferilli, S., Semeraro, G.: A generalization model based on oi-implication for ideal theory refinement. Fundamenta Informatic\u00e6\u00a047(1-2), 15\u201333 (2001)","journal-title":"Fundamenta Informatic\u00e6"},{"issue":"1-2","key":"6_CR4","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/FI-2009-0004","volume":"90","author":"S. Ferilli","year":"2009","unstructured":"Ferilli, S., Basile, T.M.A., Biba, M., Di Mauro, N., Esposito, F.: A general similarity framework for horn clause logic. Fundamenta Informatic\u00e6\u00a090(1-2), 43\u201346 (2009)","journal-title":"Fundamenta Informatic\u00e6"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-10291-2_14","volume-title":"AI*IA 2009: Emergent Perspectives in Artificial Intelligence","author":"S. Ferilli","year":"2009","unstructured":"Ferilli, S., Biba, M., Mauro, N., Basile, T.M., Esposito, F.: Plugging taxonomic similarity in first-order logic horn clauses comparison. In: Serra, R., Cucchiara, R. (eds.) AI*IA 2009. LNCS, vol.\u00a05883, pp. 131\u2013140. Springer, Heidelberg (2009)"},{"key":"6_CR6","first-page":"296","volume-title":"Proc. 15th International Conf. on Machine Learning","author":"D. Lin","year":"1998","unstructured":"Lin, D.: An information-theoretic definition of similarity. In: Proc. 15th International Conf. on Machine Learning, pp. 296\u2013304. Morgan Kaufmann, San Francisco (1998)"},{"key":"6_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"Muggleton, S.: Inductive logic programming. New Generation Computing\u00a08(4), 295\u2013318 (1991)","journal-title":"New Generation Computing"},{"key":"6_CR9","first-page":"64","volume-title":"Inductive Logic Programming","author":"C. Rouveirol","year":"1992","unstructured":"Rouveirol, C.: Extensions of inversion of resolution applied to theory completion. In: Inductive Logic Programming, pp. 64\u201390. Academic Press, London (1992)"},{"key":"6_CR10","unstructured":"Srinivasan, A., Muggleton, S., King, R., Sternberg, M.: Mutagenesis: ILP experiments in a non-determinate biological domain. In: Wrobel, S. (ed.) Proceedings of the 4th International Workshop on Inductive Logic Programming. GMD-Studien, vol.\u00a0237, pp. 217\u2013232 (1994)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2011: Artificial Intelligence Around Man and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23954-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T15:45:15Z","timestamp":1592927115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23954-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642239533","9783642239540"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23954-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}