{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T17:40:10Z","timestamp":1751737210916,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319944593"},{"type":"electronic","value":"9783319944609"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94460-9_13","type":"book-chapter","created":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T15:36:38Z","timestamp":1531150598000},"page":"218-234","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures"],"prefix":"10.1007","author":[{"given":"Hassan","family":"A\u00eft-Kaci","sequence":"first","affiliation":[]},{"given":"Gabriella","family":"Pasi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,10]]},"reference":[{"key":"13_CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"A Aho","year":"1974","unstructured":"Aho, A., Hopcroft, J., Ullmann, J.: The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading (1974)"},{"key":"13_CR2","unstructured":"A\u00eft-Kaci, H., Pasi, G.: Fuzzy lattice operations on first-order terms over signatures with similar constructors. Journal Submission Preprint (2017). http:\/\/hassan-ait-kaci.net\/pdf\/fuzfotlat-preprint.pdf"},{"key":"13_CR3","unstructured":"A\u00eft-Kaci, H., Pasi, G.: Fuzzy lattice-theoretic operations over data and knowledge structures. Technical report, HAK Language Technologies (2017, in preparation). http:\/\/hassan-ait-kaci.net\/pdf\/fuzlatopdks.pdf"},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0743-1066(96)00053-2","volume":"30","author":"H A\u00eft-Kaci","year":"1997","unstructured":"A\u00eft-Kaci, H., Podelski, A., Goldstein, S.C.: Order-sorted feature theory unification. J. Logic Program. 30(2), 99\u2013124 (1997). http:\/\/www.hassan-ait-kaci.net\/pdf\/osf-theory-unification.pdf","journal-title":"J. Logic Program."},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0743-1066(96)00053-2","volume":"30","author":"H A\u00eft-Kaci","year":"1997","unstructured":"A\u00eft-Kaci, H., Podelski, A., Goldstein, S.C.: Order-sorted feature theory unification. J. Logic Program. 30(2), 99\u2013124 (1997). www.hassan-ait-kaci.net\/pdf\/ecml01.pdf","journal-title":"J. Logic Program."},{"key":"13_CR6","unstructured":"Baziz, M., Boughanem, M., Pasi, G., Prade, H.: A fuzzy set approach to concept-based information retrieval. In: Montseny, E., Sobrevilla, P. (eds.) Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology, Barcelona, Spain, pp. 1287\u20131292, 7\u20139 September 2005. https:\/\/www.irit.fr\/publis\/ADRIA\/BougPetal001a.pdf"},{"key":"13_CR7","unstructured":"Dubois, D., Prade, H.: Fuzzy sets and systems: theory and applications. In: Ames, W.F. (ed.) Mathematics in Science and Engineering, Georgia Institute of Technology, vol. 144. Academic Press (1980). ftp:\/\/ftp.micronet-rostov.ru\/linux-support\/books\/computer%20science\/Fuzzy%20systems\/Fuzzy%20Sets%20And%20Systems%20Theory%20And%20Applications%20-%20Didier%20Dubois%20,%20Henri%20Prade.pdf"},{"key":"13_CR8","unstructured":"Herbrand, J.: Recherches sur la th\u00e9orie de la d\u00e9monstration. Ph.D. thesis, Facult\u00e9 des sciences de l\u2019universit\u00e9 de Paris, Paris, France (1930)"},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF03037057","volume":"2","author":"J Jaffar","year":"1984","unstructured":"Jaffar, J.: Efficient unification over infinite terms. New Gener. Comput. 2(3), 207\u2013219 (1984). https:\/\/link.springer.com\/article\/10.1007\/BF03037057","journal-title":"New Gener. Comput."},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-642-02478-8_31","volume-title":"Bio-Inspired Systems: Computational and Ambient Intelligence","author":"P Juli\u00e1n-Iranzo","year":"2009","unstructured":"Juli\u00e1n-Iranzo, P., Rubio-Manzano, C.: A similarity-based WAM for Bousi\u00a0Prolog. In: Cabestany, J., Sandoval, F., Prieto, A., Corchado, J.M. (eds.) IWANN 2009. LNCS, vol. 5517, pp. 245\u2013252. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02478-8_31"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/62029.62030","volume":"21","author":"Kevin Knight","year":"1989","unstructured":"Knight, K.: Unification: a multidisciplinary survey. ACM Comput. Surv. 21(1), 93\u2013124 (1989). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download;jsessionid=92AF7CA745E2C0B8EB619F09FFB5D3CA?doi=10.1.1.64.8967&rep=rep1&type=pdf","journal-title":"ACM Computing Surveys"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Lacoste-Julien, S., Palla, K., Davies, A., Kasneci, G., Graepel, T., Ghahramani, Z.: SiGMa: simple greedy matching for aligning large knowledge bases. In: Proceedings of the 19th ACM International Conference on Knowledge Discovery and Data Mining (SIGKDD 2013), Chicago, IL, USA, pp. 572\u2013580. ACM, New York, 11\u201314 August 2013. http:\/\/snap.stanford.edu\/social2012\/papers\/lacostejulien-palla-etal.pdf ; see also https:\/\/arxiv.org\/pdf\/1207.4525.pdf","DOI":"10.1145\/2487575.2487592"},{"issue":"2","key":"13_CR13","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A Martelli","year":"1982","unstructured":"Martelli, A., Montanari, U.: An efficient unification algorithm. ACM Trans. Program. Lang. Syst. 4(2), 258\u2013282 (1982). http:\/\/moscova.inria.fr\/levy\/courses\/X\/IF\/03\/pi\/levy2\/martelli-montanari.pdf","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"13_CR14","unstructured":"Plotkin, G.D.: Lattice theoretic properties of subsumption. Technical Memo MIP-R-77, Department of Machine Intelligence and Perception, University of Edinburgh, Edinburgh, Scotland, UK, June 1970"},{"key":"13_CR15","unstructured":"Plotkin, G.D.: A note on inductive generalization. In: Metzer, B., Michie, D. (eds.) Machine Intelligence, Chap. 8, vol. 5, pp. 154\u2013163. Edinburgh University Press, Edinburgh (UK) (1970), http:\/\/homepages.inf.ed.ac.uk\/gdp\/publications\/MI5_note_ind_gen.pdf"},{"key":"13_CR16","unstructured":"Reynolds, J.C.: Transformational systems and the algebraic nature of atomic formulas. In: Metzer, B., Michie, D. (eds.) Machine Intelligence, Chap. 7, vol. 5, pp. 135\u2013151. Edinburgh University Press, Edinburgh (1970). http:\/\/www.cs.cmu.edu\/afs\/cs\/user\/jcr\/ftp\/transysalg.pdf"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0304-3975(01)00188-8","volume":"275","author":"MI Sessa","year":"2002","unstructured":"Sessa, M.I.: Approximate reasoning by similarity-based SLD resolution. Theor. Comput. Sci. 275, 389\u2013426 (2002). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0304397501001888","journal-title":"Theor. Comput. Sci."},{"key":"13_CR18","unstructured":"Wayne, K.: Union-find. Tutorial lecture slides based on book \u201cAlgorithm Design\u201d by Jon Kleinberg and \u00c9va Tardos. Addison-Wesley (2015). https:\/\/www.cs.princeton.edu\/wayne\/kleinberg-tardos\/pdf\/UnionFind.pdf"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94460-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T17:25:59Z","timestamp":1751736359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94460-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319944593","9783319944609"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94460-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}