{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:04:57Z","timestamp":1725552297054},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540325291"},{"type":"electronic","value":"9783540325307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11676935_11","type":"book-chapter","created":{"date-parts":[[2006,2,14]],"date-time":"2006-02-14T13:53:46Z","timestamp":1139925226000},"page":"89-98","source":"Crossref","is-referenced-by-count":4,"title":["Programming with Fuzzy Logic and Mathematical Functions"],"prefix":"10.1007","author":[{"given":"Gin\u00e9s","family":"Moreno","sequence":"first","affiliation":[]},{"given":"Vicente","family":"Pascual","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BFb0013825","volume-title":"Algebraic and Logic Programming","author":"S. Antoy","year":"1992","unstructured":"Antoy, S.: Definitional trees. In: Kirchner, H., Levi, G. (eds.) ALP 1992. LNCS, vol.\u00a0632, pp. 143\u2013157. Springer, Heidelberg (1992)"},{"issue":"4","key":"11_CR2","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. Journal of the ACM\u00a047(4), 776\u2013822 (2000)","journal-title":"Journal of the ACM"},{"key":"11_CR3","series-title":"Artificial Intelligence and Computational Logic","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/298151.298348","volume-title":"Proc. of the ACM Symposium on Applied Computing (SAC 1999)","author":"F. Arcelli","year":"1999","unstructured":"Arcelli, F., Formato, F.: Likelog: A logic programming language for flexible data retrieval. In: Proc. of the ACM Symposium on Applied Computing (SAC 1999). Artificial Intelligence and Computational Logic, pp. 260\u2013267. ACM, New York (1999)"},{"key":"11_CR4","volume-title":"Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence","author":"J.F. Baldwin","year":"1995","unstructured":"Baldwin, J.F., Martin, T.P., Pilsworth, B.W.: Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley &; Sons, Inc., Chichester (1995)"},{"key":"11_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-540-27774-3_29","volume-title":"Modeling Decisions for Artificial Intelligence","author":"L. Garmendia","year":"2004","unstructured":"Garmendia, L., Salvador, A.: Comparing transitive closure with other new T-transivization methods. In: Torra, V., Narukawa, Y. (eds.) MDAI 2004. LNCS (LNAI), vol.\u00a03131, pp. 306\u2013315. Springer, Heidelberg (2004)"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","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 and Systems, Elsevier\u00a0144(1), 127\u2013150 (2004)","journal-title":"Fuzzy Sets and Systems, Elsevier"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/0743-1066(94)90034-5","volume":"19,20","author":"M. Hanus","year":"1994","unstructured":"Hanus, M.: The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming\u00a019,20, 583\u2013628 (1994)","journal-title":"Journal of Logic Programming"},{"key":"11_CR8","first-page":"395","volume-title":"Computational Logic \u2013 Essays in Honor of Alan Robinson","author":"G. Huet","year":"1992","unstructured":"Huet, G., L\u00e9vy, J.J.: Computations in orthogonal rewriting systems, Part I + II. In: Lassez, J.L., Plotkin, G.D. (eds.) Computational Logic \u2013 Essays in Honor of Alan Robinson, pp. 395\u2013443. The MIT Press, Cambridge (1992)"},{"key":"11_CR9","first-page":"701","volume-title":"Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 1985)","author":"M. Ishizuka","year":"1985","unstructured":"Ishizuka, M., Kanai, N.: Prolog-ELF Incorporating Fuzzy Logic. In: Joshi, A.K. (ed.) Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI 1985), Los Angeles, CA, August 1985, pp. 701\u2013703. Morgan Kaufmann, San Francisco (1985)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/321679.321688","volume":"19","author":"R.C.T. Lee","year":"1972","unstructured":"Lee, R.C.T.: Fuzzy Logic and the Resolution Principle. Journal of the ACM\u00a019(1), 119\u2013129 (1972)","journal-title":"Journal of the ACM"},{"key":"11_CR11","volume-title":"A fuzzy Prolog database system","author":"D. Li","year":"1990","unstructured":"Li, D., Liu, D.: A fuzzy Prolog database system. John Wiley & Sons, Inc., Chichester (1990)"},{"key":"11_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","edition":"2"},{"issue":"1","key":"11_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\u00a0146(1), 43\u201362 (2004)","journal-title":"Fuzzy Sets and Systems"},{"issue":"2","key":"11_CR14","first-page":"3","volume":"15","author":"G. Moreno","year":"2002","unstructured":"Moreno, G.: Transformation Rules and Strategies for Functional-Logic Programs. AI Communications\u00a015(2), 3 (2002)","journal-title":"AI Communications"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/11611257_39","volume-title":"SOFSEM 2006: Theory and Practice of Computer Science","author":"G. Moreno","year":"2006","unstructured":"Moreno, G.: Building a Fuzzy Transformation System. In: Wiedermann, J., Tel, G., Pokorn\u00fd, J., Bielikov\u00e1, M., \u0160tuller, J. (eds.) SOFSEM 2006. LNCS, vol.\u00a03831, p. 10 pages. Springer, Heidelberg (2006)"},{"key":"11_CR16","unstructured":"Moreno, G., Pascual, V.: Functional Logic Programming with Similarity. In: L\u00f3pez-Fraguas, F. (ed.) Proc. of the V Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2005, pp. 121\u2013126. University of Granada (2005)"},{"key":"11_CR17","volume-title":"A First Course in Fuzzy Logic","author":"H.T. Nguyen","year":"2000","unstructured":"Nguyen, H.T., Walker, E.A.: A First Course in Fuzzy Logic. Chapman & Hall\/CRC, Boca Rat\u00f3n (2000)"},{"key":"11_CR18","first-page":"389","volume":"275","author":"M.I. Sessa","year":"2002","unstructured":"Sessa, M.I.: Approximate reasoning by similarity-based SLD resolution. Fuzzy Sets and Systems\u00a0275, 389\u2013426 (2002)","journal-title":"Fuzzy Sets and Systems"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-60983-0_20","volume-title":"Extensions of Logic Programming","author":"P. Vojt\u00e1\u0161","year":"1996","unstructured":"Vojt\u00e1\u0161, P., Paul\u00edk, L.: Soundness and completeness of non-classical extended SLD-resolution. In: Dyckhoff, R., et al. (eds.) ELP 1996. LNCS, vol.\u00a01050, pp. 289\u2013301. Springer, Heidelberg (1996)"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0020-0255(71)80005-1","volume":"3","author":"L.A. Zadeh","year":"1971","unstructured":"Zadeh, L.A.: Similarity relations and fuzzy orderings. Informa. Sci.\u00a03, 177\u2013200 (1971)","journal-title":"Informa. Sci."}],"container-title":["Lecture Notes in Computer Science","Fuzzy Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11676935_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:48Z","timestamp":1619507688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11676935_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540325291","9783540325307"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11676935_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}