On fuzzy unfolding: A multi-adjoint approach

Fuzzy Sets and Systems

Volumn 154, Issue 1, 2005, Pages 16-33

  Julián, Pascual ^a   Moreno, Ginés ^a   Penabad, Jaime ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Fuzzy inference systems; Fuzzy logic programming; Unfolding

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTATIONAL METHODS; FORMAL LANGUAGES; LOGIC PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION; PROGRAM DEBUGGING; SEMANTICS;

ALGORITHMIC COMPLEXITY; FUZZY INFERENCE SYSTEMS; FUZZY LOGIC PROGRAMMING; UNFOLDING;

FUZZY SETS;

EID: 19044371747     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2005.03.013     Document Type: Article

References (18)

1. M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal Rules + strategies for transforming lazy functional logic programs Theor. Comput. Sci. 311 2004 479 525
2. F. Arcelli, F. Formato, Likelog: a logic programming language for flexible data retrieval, in: Proc. 1999 ACM Symp. on Applied Computing (SAC'99), San Antonio, Texas, USA, ACM, New York, 1999, pp. 260-267.
3. R. Burstall, and J. Darlington A transformation system for developing recursive programs J. Assoc. Comput. Mach. 24 1 1977 44 67
4. S. Guadarrama, S. Muñoz, and C. Vaucheret Fuzzy prolog: a new approach using soft constraints propagation Fuzzy Sets and Systems 144 1 2004 127 150
5. P. Julian, G. Moreno, J. Penabad, Unfolding fuzzy logic programs, in: Proc. 4th Internat. Conf. on Intelligent Systems Design and Applications, ISDA'04, Budapest, Hungary (Sponsored by IEEE), 2004, pp. 595-600.
6. P. Julian, C. Villamizar, Analyzing definitional trees: looking for determinism, in: Y. Kameyama, M.P.J. Stuckey (Eds.), Proc. 7th Fuji Internat. Symp. on Functional and Logic Programming, FLOPS'04, Nara, Japan, Lecture Notes in Computer Science, vol. 2998, Springer, Berlin, 2004, pp. 55-69.
7. J.L. Lassez, M.J. Maher, and K. Marriott Unification revisited J. Minker Foundations of Deductive Databases and Logic Programming 1988 Morgan Kaufmann Los Altos, CA 587 625
8. J. Lloyd Foundations of Logic Programming 2nd ed. 1987 Springer Berlin
9. J. Medina, M. Ojeda-Aciego, P. Vojtáš, Multi-adjoint logic programming with continuous semantics, in: Proc. Logic Programming and Non-Monotonic Reasoning, LPNMR'01, Lecture Notes in Artificial Intelligence, vol. 2173, Springer, Berlin, 2001, pp. 351-364.
10. J. Medina, M. Ojeda-Aciego, P. Vojtáš, A procedural semantics for multi-adjoint logic programming, in: Proc. of Progress in Artificial Intelligence, EPIA'01, Lecture Notes in Artificial Intelligence, vol. 2258, Springer, Berlin, 2001, pp. 290-297.
11. J. Medina, M. Ojeda-Aciego, and P. Vojtáš Similarity-based unification: a multi-adjoint approach Fuzzy Sets and Systems 146 1 2004 43 62
12. H. Nguyen, and E. Walker A First Course in Fuzzy Logic 2000 Chapman & Hall/CRC Boca Ratón, FL
13. C. Palamidessi, Algebraic properties of idempotent substitutions, in: M. Paterson (Ed.), Proc. 17th Internat. Colloq. on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 443, Springer, Berlin, 1990, pp. 386-399.
14. A. Pettorossi, M. Proietti, A comparative revisitation of some program transformation techniques, in: O. Danvy, R. Glück, P. Thiemann (Eds.), Partial Evaluation, Internat. Seminar, Dagstuhl Castle, Germany, Lecture Notes in Computer Science, vol. 1110, Springer, Berlin, 1996, pp. 355-385.
15. A. Pettorossi, and M. Proietti Rules and strategies for transforming functional and logic programs ACM Comput. Surveys 28 2 1996 360 414
16. H. Tamaki, T. Sato, Unfold/fold transformations of logic programs, in: S. Tärnlund (Ed.), Proc. 2nd Internat. Conf. on Logic Programming, 1984, pp. 127-139.
17. P. Vojtáš, L. Paulík, Soundness and completeness of non-classical extended SLD-resolution, in: R. Dyckhoff, et al. (Eds.), Proc. Extensions of Logic Programming, ELP'96, Leipzig, Lecture Notes in Computer Science, vol. 1050, Springer, Berlin, 1996, pp. 289-301.
18. P. Vojtáš Fuzzy logic programming Fuzzy Sets and Systems 124 1 2001 361 370