{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:08:04Z","timestamp":1759032484437},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311980"},{"type":"electronic","value":"9783540322177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11611257_39","type":"book-chapter","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T11:37:18Z","timestamp":1136461038000},"page":"409-418","source":"Crossref","is-referenced-by-count":9,"title":["Building a Fuzzy Transformation System"],"prefix":"10.1007","author":[{"given":"Gin\u00e9s","family":"Moreno","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/3-540-44411-4_17","volume-title":"SOFSEM 2000: Theory and Practice of Informatics","author":"M. Alpuente","year":"2000","unstructured":"Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.: An Automatic Composition Algorithm for Functional Logic Programs. In: Jeffery, K., Hlav\u00e1\u010d, V., Wiedermann, J. (eds.) SOFSEM 2000. LNCS, vol.\u00a01963, pp. 289\u2013297. Springer, Heidelberg (2000)"},{"key":"39_CR2","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/j.tcs.2003.10.033","volume":"311","author":"M. Alpuente","year":"2004","unstructured":"Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.: Rules + Strategies for Transforming Lazy Functional Logic Programs. Theoretical Computer Science\u00a0311, 479\u2013525 (2004)","journal-title":"Theoretical Computer Science"},{"key":"39_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0743-1066(93)90023-A","volume":"16","author":"A. Bossi","year":"1993","unstructured":"Bossi, A., Cocco, N.: Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. Journal of Logic Programming\u00a016, 47\u201387 (1993)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"39_CR4","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Darlington, J.: A Transformation System for Developing Recursive Programs. Journal of the ACM\u00a024(1), 44\u201367 (1977)","journal-title":"Journal of the ACM"},{"key":"39_CR5","first-page":"565","volume-title":"Computational Logic, Essays in Honor of Alan Robinson","author":"P.A. Gardner","year":"1991","unstructured":"Gardner, P.A., Shepherdson, J.C.: Unfold\/Fold Transformation of Logic Programs. In: Lassez, J.L., Plotkin, G. (eds.) Computational Logic, Essays in Honor of Alan Robinson, pp. 565\u2013583. The MIT Press, Cambridge (1991)"},{"key":"39_CR6","first-page":"16","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 and Systems, Elsevier\u00a0154, 16\u201333 (2005)","journal-title":"A Multi-Adjoint Approach. Fuzzy Sets and Systems, Elsevier"},{"key":"39_CR7","unstructured":"Juli\u00e1n, P., Moreno, G., Penabad, J.: Operational\/Interpretive Unfolding of Multi-adjoint Logic Programs. In: L\u00f3pez-Fraguas, F. (ed.) Proc. of V Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2005, Granada, Spain, University of Granada, September 14-16, pp. 239\u2013248 (2005)"},{"key":"39_CR8","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1016\/B978-0-934613-40-8.50019-1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J.-L. Lassez","year":"1988","unstructured":"Lassez, J.-L., Maher, M.J., Marriott, K.: Unification Revisited. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 587\u2013625. Morgan Kaufmann, Los Altos (1988)"},{"key":"39_CR9","series-title":"Lecture Notes in Artificial Intelligence","first-page":"351","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: Multi-Adjoint Logic Programming with Continuous Semantics. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 351\u2013364. Springer, Heidelberg (2001)"},{"key":"39_CR10","series-title":"Lecture Notes in Artificial Intelligence","first-page":"290","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"J. Medina","year":"2001","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: A Procedural Semantics for Multiadjoint Logic Programing. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol.\u00a02258, pp. 290\u2013297. Springer, Heidelberg (2001)"},{"key":"39_CR11","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\u00a0Multi-Adjoint Approach. Fuzzy Sets and Systems, Elsevier\u00a0146, 43\u201362 (2004)","journal-title":"Fuzzy Sets and Systems, Elsevier"},{"key":"39_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-36131-6_14","volume-title":"Advances in Artificial Intelligence - IBERAMIA 2002","author":"G. Moreno","year":"2002","unstructured":"Moreno, G.: Automatic Optimization of Multi-Paradigm Declarative Programs. In: Garijo, F.J., Riquelme, J.-C., Toro, M. (eds.) IBERAMIA 2002. LNCS (LNAI), vol.\u00a02527, pp. 131\u2013140. Springer, Heidelberg (2002)"},{"issue":"2, 3","key":"39_CR13","first-page":"163","volume":"15","author":"G. Moreno","year":"2002","unstructured":"Moreno, G.: Transformation Rules and Strategies for Functional-Logic Programs. AI Communications\u00a015(2, 3), 163\u2013165 (2002)","journal-title":"AI Communications"},{"key":"39_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/11676935_11","volume-title":"Fuzzy Logic and Applications","author":"G. Moreno","year":"2006","unstructured":"Moreno, G., Pascual, V.: Programming with Fuzzy\u2013logic and Mathematical Functions. In: Bloch, I., Petrosino, A., Tettamanzi, A.G.B. (eds.) WILF 2005. LNCS (LNAI), vol.\u00a03849, pp. 89\u201398. Springer, Heidelberg (2006)"},{"issue":"2","key":"39_CR15","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/234528.234529","volume":"28","author":"A. Pettorossi","year":"1996","unstructured":"Pettorossi, A., Proietti, M.: Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys\u00a028(2), 360\u2013414 (1996)","journal-title":"ACM Computing Surveys"},{"key":"39_CR16","unstructured":"Tamaki, H., Sato, T.: Unfold\/Fold Transformations of Logic Programs. In: T\u00e4rnlund, S. (ed.) Proc. of Second Int\u2019l Conf. on Logic Programming, pp. 127\u2013139 (1984)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2006: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11611257_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:09:36Z","timestamp":1619492976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11611257_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540311980","9783540322177"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11611257_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}