Operational/interpretive unfolding of multi-adjoint logic programs

Journal of Universal Computer Science

Volumn 12, Issue 11, 2006, Pages 1679-1699

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

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Fuzzy logic programming; Program transformation; Unfolding

Indexed keywords

EID: 33846082695     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (20)

1. [Alpuente et al.2004] Alpuente, M., Falaschi, M., Moreno, G., and Vidal, G. (2004). Rules + Strategies for Transforming Lazy Functional Logic Programs. Theoretical Computer Science, 311:479-525.
2. [Arcelli and Formato1999] Arcelli, F. and Formato, F. (1999). Likelog: A logic programming language for flexible data retrieval. In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC'99), February 28 - March 2, 1999. San Antonio, Texas, USA, pages 260-267. ACM, Artificial Intelligence and Computational Logic. Electronic Edition (DOI: 10.1145/298151.298348).
3. [Baldwin et al. 1995] Baldwin, J. F., Martin, T. P., and Pilsworth, B. W. (1995). Fril-Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, Inc.
4. [Burstall and Darlington1977] Burstall, R. and Darlington, J. (1977). A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44-67.
5. [Guadarrama et al.2004] Guadarrama, S., Muñoz, S., and Vaucheret, C. (2004). Fuzzy Prolog: A new approach using soft constraints propagation. Fuzzy Sets and Systems, Elsevier, 144(1):127-150.
6. [Ishizuka and Kanai1985] Ishizuka, M. and Kanai, N. (1985). Prolog-ELF Incorporating Fuzzy Logic. In Joshi, A. K., editor, Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI'85). Los Angeles, CA, August 1985., pages 701-703. Morgan Kaufmann.
7. [Julián et al.2004] Julián, P., Moreno, G., and Penabad, J. (2004). Unfolding Fuzzy Logic Programs. In Proc. of the Fourth International Conference on Intelligent Systems Design and Applications, ISDA '04 (Sponsored by IEEE). Budapest (Hungary), August 26-28, pages 595-600.
8. [Julián et al.2005a] Julián, P., Moreno, G., and Penabad, J. (2005a). On Fuzzy Unfolding. A Multi-Adjoint Approach. Fuzzy Sets and Systems, Elsevier; 154:16-33.
9. [Julián et al.2005b] Julián, P., Moreno, G., and Penabad, J. (2005b). Unfolding-based Improvements on Fuzzy Logic Programs. In Lucas, S., editor, Electronic Notes in Theoretical Computer Science, volume 137, pages 69-103. Elsevier.
10. [Julián et al.2006] Julián, P., Moreno, G., and Penabad, J. (2006). Evaluación Parcial de Programas Lógicos Multi-adjuntos y Aplicaciones. In Fernández, A., editor, Proc. of Campus Multidisciplinar en Perception e Inteligencia, CMPI-2006, Albacete, Spain, July 10-14, pages 712-724. University of Castilla-La Mancha.
11. [Kefer and Subrahmanian1992] Kefer, M. and Subrahmanian, V. (1992). Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12:335-367.
12. [Lassez et al.1988] Lassez, J.-L., Maher, M. J., and Marriott, K. (1988). Unification Revisited. In Minker, J., editor, Foundations of Deductive Databases and Logic Programming, pages 587-625. Morgan Kaufmann, Los Altos, Ca.
13. [Li and Liu1990] Li, D. and Liu, D. (1990). A fuzzy Prolog database system. John Wiley & Sons, Inc.
14. [Medina et al.2001a] Medina, J., Ojeda-Aciego, M., and Vojtáš, P. (2001a). Multiadjoint logic programming with continuous semantics. Proc of Logic Programming and Non-Monotonic. Reasoning, LPNMR'01, Springer-Verlag, LNAI, 2173:351-364.
15. [Medina et al.2001b] Medina, J., Ojeda-Aciego, M., and Vojtáš, P. (2001b). A procedural semantics for multiadjoint logic programing. Progress in Artificial Intelligence, EPIA'01, Springer-Verlag, LNAI, 2258(1):290-297.
16. [Medina et al.2004] Medina, J., Ojeda-Aciego, M., and Vojtáš, P. (2004). Similarity-based Unification: a multi-adjoint approach. Fuzzy Sets and Systems, Elsevier, 146:43-62.
17. [Moreno2006] Moreno, G. (2006). Building a Fuzzy Transformation System. In Wiedermann, J., Tel, G., Pokorn, J., Bielikov, M., and Stuller, J., editors, Proc. of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM'2006. Merin, Czech Republic, January 21-27, pages 409-418. Springer LNCS 3831.
18. [Pettorossi and Proiettil996] Pettorossi, A. and Proietti, M. (1996). Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys, 28(2):360-414.
19. [Tamaki and Sato1984] Tamaki, H. and Sato, T. (1984). Unfold/Fold Transformations of Logic Programs. In Tärnlund, S., editor, Proc. of Second Int'l Conf. on Logic Programming, pages 127-139.
20. [Vojtáš and Paulik1996] Vojtáš, P. and Paulík, L. (1996). Soundness and completeness of non-classical extended SLD-resolution. In et al, R. D., editor, Proc. ELP'96 Leipzig, pages 289-301. LNCS 1050, Springer Verlag.