Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding

Electronic Notes in Theoretical Computer Science

Volumn 188, Issue , 2007, Pages 77-90

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

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Fuzzy Logic Prog.; Partial Evaluation; Reductants

Indexed keywords

FUZZY LOGIC PROGRAMS; PARTIAL EVALUATION; REDUCTANTS;

ADAPTIVE SYSTEMS; COMPUTATIONAL METHODS; DECISION TREES; PROBLEM SOLVING;

LOGIC PROGRAMMING;

EID: 34447281756     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.05.039     Document Type: Article

References (13)

1. Burstall R.M., and Darlington J. A Transformation System for Developing Recursive Programs. Journal of the ACM 24 1 (1977) 44-67
2. M. Fay. First Order Unification in an Equational Theory. In Proc of 4th Int'l Conf. on Automated Deduction, pages 161-167, 1979
3. Gallagher J. Tutorial on Specialisation of Logic Programs. Proc. of Partial Evaluation and Semantics-Based Program Manipulation. Copenhagen, Denmark, June 1993 (1993), ACM, New York 88-98
4. Jones N.D., Gomard C.K., and Sestoft P. Partial Evaluation and Automatic Program Generation (1993), Prentice-Hall, Englewood Cliffs, NJ
5. Julián P., Moreno G., and Penabad J. On Fuzzy Unfolding. A Multi-adjoint Approach. Fuzzy Sets and Systems 154 (2005) 16-33 Elsevier
6. Julián P., Moreno G., and Penabad J. Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. In: López-Fraguas F. (Ed). Proc. of V Jornadas sobre Programación y Lenguajes. PROLE'2005, Granada, Spain, September 14-16 (2005), University of Granada 239-248
7. Julián P., Moreno G., and Penabad J. Evaluación Parcial de Programas Lógicos Multi-adjuntos y Aplicaciones. In: Fernández A. (Ed). Proc. of Campus Multidisciplinar en Percepción e Inteligencia. CMPI-2006, Albacete, Spain, July 10-14 (2006), UCLM 712-724
8. Komorowski J. An Introduction to Partial Deduction. In: Pettorossi A. (Ed). Meta-Programming in Logic, Uppsala, Sweden. Springer LNCS 649 (1992) 49-69
9. Lassez J.L., Maher M.J., and Marriott K. Unification Revisited. In: Minker J. (Ed). Foundations of Deductive Databases and Logic Programming (1988), Morgan Kaufmann, Los Altos, Ca. 587-625
10. Lloyd J.W., and Shepherdson J.C. Partial Evaluation in Logic Programming. Journal of Logic Programming 11 (1991) 217-242
11. Medina J., Ojeda-Aciego M., and Vojtáš P. Multi-adjoint logic programming with continuous semantics. Proc of Logic Programming and Non-Monotonic Reasoning. LPNMR'01. LNAI 2173 (2001), Springer-Verlag 351-364
12. Medina J., Ojeda-Aciego M., and Vojtáš P. A procedural semantics for multi-adjoint logic programing. Progress in Artificial Intelligence. EPIA'01. LNAI 2258 (2001), Springer-Verlag 290-297 (1)
13. Medina J., Ojeda-Aciego M., and Vojtáš P. Similarity-based Unification: a multi-adjoint approach. Fuzzy Sets and Systems 146 (2004) 43-62