{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:21:15Z","timestamp":1740097275327,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319420189"},{"type":"electronic","value":"9783319420196"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-42019-6_5","type":"book-chapter","created":{"date-parts":[[2016,6,27]],"date-time":"2016-06-27T02:04:53Z","timestamp":1466993093000},"page":"68-82","source":"Crossref","is-referenced-by-count":8,"title":["A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees"],"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":"Jaime","family":"Penabad","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":[[2016,6,28]]},"reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"crossref","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 Comput. 7(2), 107\u2013114 (2002)","journal-title":"Soft Comput."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Arcelli, F., Formato, F.: Likelog: a logic programming language for flexible data retrieval. In: Proceedings of the ACM Symposium on Applied Computing, SAC 1999, San Antonio, Texas, pp. 260\u2013267. ACM, Artificial Intelligence and Computational Logic (1999)","DOI":"10.1145\/298151.298348"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Caballero, R., Rodr\u00edguez-Artalejo, M., Romero-D\u00edaz, C.A.: Similarity-based reasoning in qualified logic programming. In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2008, pp. 185\u2013194. ACM, New York (2008)","DOI":"10.1145\/1389449.1389472"},{"issue":"1","key":"5_CR4","doi-asserted-by":"crossref","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 Pract. Logic Program. 14(1), 1\u201363 (2014)","journal-title":"Theory Pract. Logic Program."},{"key":"5_CR5","volume-title":"Fuzzy Sets and Systems: Theory and Applications","author":"D Dubois","year":"1980","unstructured":"Dubois, D., Prade, H.: Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York (1980)"},{"issue":"4","key":"5_CR6","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., Sessa, M.I.: Similarity-based unification. Fundamenta Informaticae 41(4), 393\u2013414 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR7","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. (ed.) Proceedings of XIV Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2014, C\u00e1diz, Spain. EPTCS, vol. 173, pp. 71\u201386 (2015). http:\/\/dx.doi.org\/10.4204\/EPTCS.173.6","DOI":"10.4204\/EPTCS.173.6"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.fss.2005.03.013","volume":"154","author":"P Juli\u00e1n","year":"2005","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: On fuzzy unfolding. A multi-adjoint approach. Fuzzy Sets Syst. 154, 16\u201333 (2005)","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-319-21542-6_13","volume-title":"Rule Technologies: Foundations, Tools, and Applications","author":"P Juli\u00e1n-Iranzo","year":"2015","unstructured":"Juli\u00e1n-Iranzo, P., Moreno, G., V\u00e1zquez, C.: Similarity-based strict equality in a fully integrated fuzzy logic language. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 193\u2013207. Springer, Heidelberg (2015)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n-Iranzo, P., Rubio-Manzano, C.: A declarative semantics for Bousi $$\\sim $$ \u223c Prolog. In: Proceedings of 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2009, Coimbra, Portugal, pp. 149\u2013160. ACM (2009)","DOI":"10.1145\/1599410.1599430"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n-Iranzo, P., Rubio-Manzano, C.: An efficient fuzzy unification method and its implementation into the Bousi $$\\sim $$ \u223c Prolog system. In: Proceedings of the 2010 IEEE International Conference on Fuzzy Systems, Barcelona, Spain, pp. 1\u20138 (2010). http:\/\/dx.doi.org\/10.1109\/FUZZY.2010.5584193","DOI":"10.1109\/FUZZY.2010.5584193"},{"key":"5_CR13","doi-asserted-by":"crossref","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. J. Logic Program. 12, 335\u2013367 (1992)","journal-title":"J. Logic Program."},{"key":"5_CR14","doi-asserted-by":"crossref","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, Berlin (1987)"},{"key":"5_CR15","doi-asserted-by":"crossref","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 Syst. 146, 43\u201362 (2004)","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"issue":"9","key":"5_CR17","doi-asserted-by":"crossref","first-page":"1956","DOI":"10.1080\/00207160.2014.975218","volume":"92","author":"G Moreno","year":"2014","unstructured":"Moreno, G., Penabad, J., V\u00e1zquez, C.: Beyond multi-adjoint logic programming. Int. J. Comput. Math. 92(9), 1956\u20131975 (2014)","journal-title":"Int. J. Comput. Math."},{"key":"5_CR18","doi-asserted-by":"crossref","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. J. Softw. Eng. Appl. 7, 237\u2013298 (2014)","journal-title":"J. Softw. Eng. Appl."},{"issue":"10","key":"5_CR19","doi-asserted-by":"crossref","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. Inform. Sci. 181(10), 1951\u20131970 (2011)","journal-title":"Inform. Sci."},{"key":"5_CR20","volume-title":"A First Course in Fuzzy Logic","author":"HT Nguyen","year":"2006","unstructured":"Nguyen, H.T., Walker, E.A.: A First Course in Fuzzy Logic. Chapman & Hall, Boca Rat\u00f3n (2006)"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/978-3-540-78969-7_20","volume-title":"Functional and Logic Programming","author":"M Rodr\u00edguez-Artalejo","year":"2008","unstructured":"Rodr\u00edguez-Artalejo, M., Romero-D\u00edaz, C.A.: Quantitative logic programming revisited. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 272\u2013288. Springer, Heidelberg (2008)"},{"issue":"3","key":"5_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. J. Intell. Fuzzy Syst. 26(3), 1503\u20131516 (2014)","journal-title":"J. Intell. Fuzzy Syst."},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Sessa, M.I.: Translations and similarity-based logic programming. Soft Comput. 5(2), 160\u2013170 (2001). http:\/\/dx.doi.org\/10.1007\/PL00009891","DOI":"10.1007\/PL00009891"},{"issue":"1\u20132","key":"5_CR24","doi-asserted-by":"crossref","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. Theoret. Comput. Sci. 275(1\u20132), 389\u2013426 (2002)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"5_CR25","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"3","author":"MH Emden van","year":"1986","unstructured":"van Emden, M.H.: Quantitative deduction and its fixpoint theory. J. Logic Program. 3(1), 37\u201353 (1986)","journal-title":"J. Logic Program."}],"container-title":["Lecture Notes in Computer Science","Rule Technologies. Research, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42019-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T23:40:49Z","timestamp":1600818049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42019-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319420189","9783319420196"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42019-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}