{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:29:43Z","timestamp":1743010183402,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319215419"},{"type":"electronic","value":"9783319215426"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21542-6_13","type":"book-chapter","created":{"date-parts":[[2015,7,11]],"date-time":"2015-07-11T10:59:32Z","timestamp":1436612372000},"page":"193-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Similarity-Based Strict Equality in a Fully Integrated Fuzzy Logic Language"],"prefix":"10.1007","author":[{"given":"Pascual","family":"Juli\u00e1n-Iranzo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gin\u00e9s","family":"Moreno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"V\u00e1zquez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,12]]},"reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s00500-002-0178-6","volume":"7","author":"F Arcelli","year":"2002","unstructured":"Arcelli, F.: Likelog for flexible query answering. Soft Computing 7(2), 107\u2013114 (2002)","journal-title":"Soft Computing"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068412000014","volume":"14","author":"R Caballero","year":"2014","unstructured":"Caballero, R., Rodr\u00edguez-Artalejo, M., Romero-D\u00edaz, C.A.: A transformation-based implementation for clp with qualification and proximity. Theory and Practice of Logic Programming 14(1), 1\u201363 (2014)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"4","key":"13_CR3","doi-asserted-by":"crossref","first-page":"393","DOI":"10.3233\/FI-2000-41402","volume":"41","author":"F Formato","year":"2000","unstructured":"Formato, F., Gerla, G., Sess, M.I.: Similarity-based unification. Fundamenta Informaticae 41(4), 393\u2013414 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Hall, C.V., Hammond, K., Partain, W., Peyton Jones, S.L., Wadler, P.: The glasgow haskell compiler: a retrospective. In: Launchbury, J., Sansom, P.M. (Eds.) Functional Programming, Workshops in Computing, pp. 62\u201371. Springer (1992)","DOI":"10.1007\/978-1-4471-3215-8_6"},{"key":"13_CR5","unstructured":"Hanus, M. (ed.): Curry: An Integrated Functional Logic Language (2003). http:\/\/www.informatik.uni-kiedl.de\/~mh\/curry\/"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n Iranzo, P., Moreno, G., Penabad, J., V\u00e1zquez, C.: A fuzzy logic programming environment for managing similarity and truth degrees. In: Escobar, S. (Eds.) Proc. of XIV Jornadas Sobre Programaci\u00f3n y Lenguajes, PROLE 2015, vol. 173, pp. 71\u201386. EPTCS, C\u00e1diz (2015)","DOI":"10.4204\/EPTCS.173.6"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-02478-8_32","volume-title":"Bio-Inspired Systems: Computational and Ambient Intelligence","author":"P Juli\u00e1n","year":"2009","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: On the declarative semantics of multi-adjoint logic programs. In: Cabestany, J., Sandoval, F., Prieto, A., Corchado, J.M. (eds.) IWANN 2009, Part I. LNCS, vol. 5517, pp. 253\u2013260. Springer, Heidelberg (2009)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n-Iranzo, P., Moreno, G., Penabad, J., V\u00e1zquez, C.: A declarative semantics for a fuzzy logic language managing similarities and truth degrees. In: Submitted to the 13th Int. Work-Conference on Artificial Neural Networks, IWANN 2015 (2015)","DOI":"10.1007\/978-3-319-42019-6_5"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n-Iranzo, P., Rubio-Manzano, C.: A declarative semantics for Bousi$$\\sim $$Prolog. In: Proc. of 11th Int. ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming, PPDP 2009, Coimbra, Portugal, pp. 149\u2013160. ACM (2009)","DOI":"10.1145\/1599410.1599430"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n-Iranzo, P., Rubio-Manzano, C.: An efficient fuzzy unification method and its implementation into the Bousi$$\\sim $$Prolog system. In: Proc. of the 2010 IEEE Int. Conference on Fuzzy Systems, pp. 1\u20138 (2010)","DOI":"10.1109\/FUZZY.2010.5584193"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, 335\u2013367 (1992)","journal-title":"Journal of Logic Programming"},{"key":"13_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag, Heidelberg (1987)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.fss.2003.11.005","volume":"146","author":"J Medina","year":"2004","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Similarity-based Unification: a multi-adjoint approach. Fuzzy Sets and Systems 146, 43\u201362 (2004)","journal-title":"Fuzzy Sets and Systems"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-16289-3_4","volume-title":"Semantic Web Rules","author":"PJ Morcillo","year":"2010","unstructured":"Morcillo, P.J., Moreno, G., Penabad, J., V\u00e1zquez, C.: A practical management of fuzzy truth-degrees using FLOPER. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 20\u201334. Springer, Heidelberg (2010)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-88808-6_14","volume-title":"Rule Representation, Interchange and Reasoning on the Web","author":"PJ Morcillo","year":"2008","unstructured":"Morcillo, P.J., Moreno, G.: Programming with fuzzy logic rules by using the FLOPER tool. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 119\u2013126. Springer, Heidelberg (2008)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-22546-8_14","volume-title":"Rule-Based Reasoning, Programming, and Applications","author":"P-J Morcillo","year":"2011","unstructured":"Morcillo, P.-J., Moreno, G., Penabad, J., V\u00e1zquez, C.: Declarative traces into fuzzy computed answers. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 170\u2013185. Springer, Heidelberg (2011)"},{"key":"13_CR17","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-642-14055-6_12","volume-title":"Information Processing and Management of Uncertainty in Knowledge-Based Systems","author":"G Moreno","year":"2010","unstructured":"Moreno, G.: Similarity-based equality with lazy evaluation. In: H\u00fcllermeier, E., Kruse, R., Hoffmann, F. (eds.) IPMU 2010. CCIS, vol. 80, pp. 108\u2013117. Springer, Heidelberg (2010)"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"237","DOI":"10.4236\/jsea.2014.74028","volume":"7","author":"G Moreno","year":"2014","unstructured":"Moreno, G., V\u00e1zquez, C.: Fuzzy logic programming in action with floper. Journal of Software Engineering and Applications 7, 237\u2013298 (2014)","journal-title":"Journal of Software Engineering and Applications"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Moreno, G., Penabad, J., V\u00e1zquez, C.: Fuzzy logic rules modeling similarity-based strict equality. In: Proc. of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw, Poland, September 7\u201310, pp. 119\u2013128 (2014)","DOI":"10.15439\/2014F387"},{"issue":"10","key":"13_CR20","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1016\/j.ins.2010.07.033","volume":"181","author":"S Mu\u00f1oz-Hern\u00e1ndez","year":"2011","unstructured":"Mu\u00f1oz-Hern\u00e1ndez, S., Ceruelo, V.P., Strass, H.: Rfuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over prolog. Information Sciences 181(10), 1951\u20131970 (2011)","journal-title":"Information Sciences"},{"key":"13_CR21","volume-title":"A First Course in Fuzzy Logic","author":"HT Nguyen","year":"2000","unstructured":"Nguyen, H.T., Walker, E.A.: A First Course in Fuzzy Logic. Chapman & Hall\/CRC, Boca Rat\u00f3n (2000)"},{"issue":"3","key":"13_CR22","doi-asserted-by":"crossref","first-page":"1503","DOI":"10.3233\/IFS-130834","volume":"26","author":"C Rubio-Manzano","year":"2014","unstructured":"Rubio-Manzano, C., Juli\u00e1n-Iranzo, P.: A fuzzy linguistic prolog and its applications. Journal of Intelligent and Fuzzy Systems 26(3), 1503\u20131516 (2014)","journal-title":"Journal of Intelligent and Fuzzy Systems"},{"issue":"1\u20132","key":"13_CR23","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. Theoretical Computer Science 275(1\u20132), 389\u2013426 (2002)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Rule Technologies: Foundations, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21542-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T09:49:00Z","timestamp":1676972940000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21542-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319215419","9783319215426"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21542-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}