Building a fuzzy transformation system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3831 LNCS, Issue , 2006, Pages 409-418

  Moreno, Ginés ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

FUZZY LOGIC PROGRAMS; FUZZY LOGIC SETTING; FUZZY TRANSFORMATION SYSTEM; TRANSFORMATION RULES;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION;

FUZZY SETS;

EID: 33745673779     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11611257_39     Document Type: Conference Paper

References (16)

1. Alpuente, M., Falaschi, M., Moreno, G., and Vidal, G.: An Automatic Composition Algorithm for Functional Logic Programs. In V. Hlaváč, K.G. Jeffery, and J. Wiedermann (eds): Proc. of the 27th Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'2000, Springer LNCS 1963 (2000) 289-297
2. Alpuente, M., Falaschi, M., Moreno, G., and Vidal, G.: Rules + Strategies for Transforming Lazy Functional Logic Programs. Theoretical Computer Science 311 (2004) 479-525
3. Bossi, A., and Cocco, N.: Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. Journal of Logic Programming 16 (1993) 47-87
4. Burstall, R.M., and Darlington, J.: A Transformation System for Developing Recursive Programs. Journal of the ACM 24 1 (1977) 44-67
5. Gardner, P.A., and Shepherdson, J.C: Unfold/Fold Transformation of Logic Programs. In J.L. Lassez and G. Plotkin (eds), Computational Logic, Essays in Honor of Alan Robinson, the MIT Press, Cambridge, MA (1991) 565-583
6. Julián, P., Moreno, G., and Penabad, J.: On Fuzzy Unfolding. A Multi-Adjoint Approach. Fuzzy Sets and Systems, Elsevier 154 (2005) 16-33
7. Julián, P., Moreno, G., and Penabad, J.: Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. In F. López-Fraguas (ed), Proc. of V Jornadas sobre Programación y Lenguajes, PROLE'2005, Granada, Spain, September 14-16, University of Granada (2005) 239-248
8. Lassez, J.-L., Maher, M.J., and Marriott, K.: Unification Revisited. In J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, Ca. (1988) 587-625
9. Medina, J., Ojeda-Aciego, M., and Vojtáš, P.: Multi-Adjoint Logic Programming with Continuous Semantics. In Proc. of Logic Programming and Non-Monotonic Reasoning, LPNMR'01, Springer LNAI 2173 (2001) 351-364
10. Medina, J., Ojeda-Aciego, M., and Vojtáš, P.: A Procedural Semantics for Multi-adjoint Logic Programing. In Proc. of Progress in Artificial Intelligence, EPIA'01, Springer LNAI 2258 (2001) 290-297
11. Medina, J., Ojeda-Aciego, M., and Vojtáš, P.: Similarity-Based Unification: a Multi-Adjoint Approach. Fuzzy Sets and Systems, Elsevier 146 (2004) 43-62
12. Moreno, G.: Automatic Optimization of Multi-Paradigm Declarative Programs. In F.J. Garijo, J.C. Riquelme, and M. Toro (eds), Proc. of the 8th Ibero-American Conference on Artificial Intelligence, IBERAMIA'02, Springer LNAI 2527 (2002) 131-140
13. Moreno, G.: Transformation Rules and Strategies for Functional-Logic Programs. AI Communications, IO Press (Amsterdam) 15 2,3 (2002) 163-165
14. Moreno, G., and Pascual, V.: Programming with Fuzzy-logic and Mathematical Functions. In I. Bloch, A. Petrosino, and A. Tettamanzi (eds), Proc. of the 6th International Whorshop on Fuzzy Logic and Applications, WILF'05, University of Milan, Crema (Italy), 10 pages. Springer LNCS (to appear) (2005)
15. Pettorossi, A., and Proietti, M.: Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys 28 2 (1996) 360-414
16. Tamaki, H., and Sato, T.: Unfold/Fold Transformations of Logic Programs. In S. Tärnlund (ed.), Proc. of Second Int'l Conf. on Logic Programming (1984) 127-139