{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:23:59Z","timestamp":1760171039524,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319612515"},{"type":"electronic","value":"9783319612522"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-61252-2_13","type":"book-chapter","created":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T22:55:48Z","timestamp":1497308148000},"page":"184-198","source":"Crossref","is-referenced-by-count":8,"title":["An Online Tool for Tuning Fuzzy Logic Programs"],"prefix":"10.1007","author":[{"given":"Gin\u00e9s","family":"Moreno","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 A.","family":"Riaza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s00354-015-0201-y","volume":"33","author":"JM Almendros-Jim\u00e9nez","year":"2015","unstructured":"Almendros-Jim\u00e9nez, J.M., Luna, A., Moreno, G.: Fuzzy xpath through fuzzy logic programming. New Generation Comput. 33(2), 173\u2013209 (2015)","journal-title":"New Generation Comput."},{"key":"13_CR2","volume-title":"Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence","author":"JF Baldwin","year":"1995","unstructured":"Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. Wiley, New York (1995)"},{"issue":"1","key":"13_CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.fss.2003.10.017","volume":"144","author":"S Guadarrama","year":"2004","unstructured":"Guadarrama, S., Mu\u00f1oz, S., Vaucheret, C.: Fuzzy Prolog: a new approach using soft constraints propagation. Fuzzy Sets Syst. 144(1), 127\u2013150 (2004)","journal-title":"Fuzzy Sets Syst."},{"key":"13_CR4","doi-asserted-by":"publisher","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.), Proceeding of XIV Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2014, C\u00e1diz, Spain, vol. 173. EPTCS, pp. 71\u201386 (2015). doi:\n10.4204\/EPTCS.173.6","DOI":"10.4204\/EPTCS.173.6"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-319-42019-6_5","volume-title":"Rule Technologies. Research, Tools, and Applications","author":"P Juli\u00e1n-Iranzo","year":"2016","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: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 68\u201382. Springer, Cham (2016). doi:\n10.1007\/978-3-319-42019-6_5"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Cham (2015). doi:\n10.1007\/978-3-319-21542-6_13"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Ishizuka, M., Kanai, N.: Prolog-ELF incorporating fuzzy logic. In: Proceeding of the 9th International Joint Conference on Artificial Intelligence, IJCAI 1985, pp. 701\u2013703. Morgan Kaufmann (1985)","DOI":"10.1007\/BF03037082"},{"key":"13_CR8","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-10728-3_7","volume-title":"Foundations of Reasoning under Uncertainty","author":"P Juli\u00e1n","year":"2010","unstructured":"Juli\u00e1n, P., Medina, J., Moreno, G., Ojeda, M.: Efficient thresholded tabulation for fuzzy query answering. In: Bouchon-Meunier, B., Magdalena, L., Ojeda-Aciego, M., Verdegay, J.-L., Yager, R.R. (eds.) Foundations of Reasoning under Uncertainty. STUDFUZZ, vol. 249, pp. 125\u2013141. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-10728-3_7"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.fss.2008.05.006","volume":"160","author":"P Juli\u00e1n","year":"2009","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: An improved reductant calculus using fuzzy partial evaluation techniques. Fuzzy Sets Syst. 160, 162\u2013181 (2009). doi:\n10.1016\/j.fss.2008.05.006","journal-title":"Fuzzy Sets Syst."},{"key":"13_CR10","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 Programm. 12, 335\u2013367 (1992)","journal-title":"J. Logic Programm."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Lassez, J.L., Maher, M.J., Marriott, K.: Unification revisited. In: Foundations of Deductive Databases and Logic Programming, pp. 587\u2013625. Morgan Kaufmann, Los Altos (1988)","DOI":"10.1016\/B978-0-934613-40-8.50019-1"},{"issue":"1","key":"13_CR12","first-page":"119","volume":"19","author":"RCT Lee","year":"1972","unstructured":"Lee, R.C.T.: Fuzzy logic and the resolution principle. J. ACM 19(1), 119\u2013129 (1972)","journal-title":"J. ACM"},{"key":"13_CR13","volume-title":"A Fuzzy Prolog Database System","author":"D Li","year":"1990","unstructured":"Li, D., Liu, D.: A Fuzzy Prolog Database System. Wiley, New York (1990)"},{"key":"13_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":"13_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":"13_CR16","unstructured":"Moreno, G., Penabad, J., Vidal, G.: Tuning fuzzy logic programs with symbolic execution. CoRR, abs\/1608.04688 (2016)"},{"key":"13_CR17","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":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). doi:\n10.1007\/978-3-540-78969-7_20"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-85658-0_2","volume-title":"Reasoning Web","author":"U Straccia","year":"2008","unstructured":"Straccia, U.: Managing uncertainty and vagueness in description logics, logic programs and description logic programs. In: Baroglio, C., Bonatti, P.A., Maluszynski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 54\u2013103. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-85658-0_2"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61252-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T03:28:48Z","timestamp":1500434928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61252-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319612515","9783319612522"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61252-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}