{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T14:19:47Z","timestamp":1772633987760,"version":"3.50.1"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319115573","type":"print"},{"value":"9783319115580","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_40","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"573-581","source":"Crossref","is-referenced-by-count":6,"title":["ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santiago","family":"Escobar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Espert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.ic.2014.01.006","volume":"235","author":"M. Alpuente","year":"2014","unstructured":"Alpuente, M., Escobar, S., Espert, J., Meseguer, J.: A Modular Order-sorted Equational Generalization Algorithm. Information and Computation\u00a0235, 98\u2013136 (2014)","journal-title":"Information and Computation"},{"key":"40_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-00515-2_3","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. Alpuente","year":"2009","unstructured":"Alpuente, M., Escobar, S., Meseguer, J., Ojeda, P.: A Modular Equational Generalization Algorithm. In: Hanus, M. (ed.) LOPSTR 2008. LNCS, vol.\u00a05438, pp. 24\u201339. Springer, Heidelberg (2009)"},{"key":"40_CR3","first-page":"27","volume":"246","author":"M. Alpuente","year":"2009","unstructured":"Alpuente, M., Escobar, S., Meseguer, J., Ojeda, P.: Order\u2013Sorted Generalization. ENTCS\u00a0246, 27\u201338 (2009)","journal-title":"ENTCS"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"Alpuente, M., Espert, J., Escobar, S., Meseguer, J.: ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. Tech. rep., DSIC-UPV (2013), \n                      http:\/\/www.dsic.upv.es\/users\/elp\/papers.html","DOI":"10.1007\/978-3-319-11558-0_40"},{"key":"40_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-74141-1_3","volume-title":"Case-Based Reasoning Research and Development","author":"E. Armengol","year":"2007","unstructured":"Armengol, E.: Usages of Generalization in Case-Based Reasoning. In: Weber, R.O., Richter, M.M. (eds.) ICCBR 2007. LNCS (LNAI), vol.\u00a04626, pp. 31\u201345. Springer, Heidelberg (2007)"},{"key":"40_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L.: Reflection, metalevel computation, and strategies. In: All About Maude [6], pp. 419\u2013458","DOI":"10.1007\/978-3-540-71999-1_14"},{"issue":"2","key":"40_CR8","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1207\/s15516709cog0702_3","volume":"7","author":"D. Gentner","year":"1983","unstructured":"Gentner, D.: Structure-Mapping: A Theoretical Framework for Analogy*. Cognitive Science\u00a07(2), 155\u2013170 (1983)","journal-title":"Cognitive Science"},{"key":"40_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-540-76928-6_29","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"U. Krumnack","year":"2007","unstructured":"Krumnack, U., Schwering, A., Gust, H., K\u00fchnberger, K.-U.: Restricted higher order anti unification for analogy making. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 273\u2013282. Springer, Heidelberg (2007)"},{"key":"40_CR10","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s10817-013-9285-6","volume":"520","author":"T. Kutsia","year":"2014","unstructured":"Kutsia, T., Levy, J., Villaret, M.: Anti-Unification for Unranked Terms and Hedges. Journal of Automated Reasoning\u00a0520, 155\u2013190 (2014)","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"40_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theor. Comput. Sci.\u00a096(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"issue":"1-2","key":"40_CR12","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0004-3702(99)00067-3","volume":"114","author":"S. Muggleton","year":"1999","unstructured":"Muggleton, S.: Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic. Artif. Intell.\u00a0114(1-2), 283\u2013296 (1999)","journal-title":"Artif. Intell."},{"issue":"1","key":"40_CR13","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10994-011-5274-3","volume":"87","author":"S. Onta\u00f1\u00f3n","year":"2012","unstructured":"Onta\u00f1\u00f3n, S., Plaza, E.: Similarity measures over refinement graphs. Machine Learning\u00a087(1), 57\u201392 (2012)","journal-title":"Machine Learning"},{"key":"40_CR14","unstructured":"Plotkin, G.: A note on inductive generalization. In: Machine Intelligence, vol.\u00a05, pp. 153\u2013163. Edinburgh University Press (1970)"},{"key":"40_CR15","unstructured":"Pottier, L.: Generalisation de termes en theorie equationelle: Cas associatif-commutatif. Tech. Rep. INRIA 1056, Norwegian Computing Center (1989)"},{"key":"40_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-13025-0_35","volume-title":"Trends in Applied Intelligent Systems","author":"U. Schmid","year":"2010","unstructured":"Schmid, U., Hofmann, M., Bader, F., H\u00e4berle, T., Schneider, T.: Incident Mining using Structural Prototypes. In: Garc\u00eda-Pedrajas, N., Herrera, F., Fyfe, C., Ben\u00edtez, J.M., Ali, M. (eds.) IEA\/AIE 2010, Part II. LNCS, vol.\u00a06097, pp. 327\u2013336. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,21]],"date-time":"2023-01-21T02:44:50Z","timestamp":1674269090000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}