메뉴 건너뛰기




Volumn 160, Issue 2, 2009, Pages 162-181

An improved reductant calculus using fuzzy partial evaluation techniques

Author keywords

Fuzzy logic programming; Partial evaluation; Reductants

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE SELECTION AND EVALUATION; DIFFERENTIATION (CALCULUS); FUZZY SETS; FUZZY SYSTEMS; LOGIC PROGRAMMING;

EID: 54549086736     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2008.05.006     Document Type: Article
Times cited : (21)

References (43)
  • 4
    • 0346675716 scopus 로고    scopus 로고
    • M. Alpuente, M. Falaschi, P. Julián, G. Vidal, Specialization of lazy functional logic programs, in: Proc of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97 Sigplan Notices, vol. 32, no. 12, ACM Press, New York, 1997, pp. 151-162.
    • M. Alpuente, M. Falaschi, P. Julián, G. Vidal, Specialization of lazy functional logic programs, in: Proc of the ACM SIGPLAN Conf. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97 Sigplan Notices, vol. 32, no. 12, ACM Press, New York, 1997, pp. 151-162.
  • 6
    • 0347600639 scopus 로고    scopus 로고
    • Rules + strategies for transforming lazy functional logic programs
    • (Elsevier)
    • Alpuente M., Falaschi M., Moreno G., and Vidal G. Rules + strategies for transforming lazy functional logic programs. Theoret. Comput. Sci. 311 1-3 (2004) 479-525 (Elsevier)
    • (2004) Theoret. Comput. Sci. , vol.311 , Issue.1-3 , pp. 479-525
    • Alpuente, M.1    Falaschi, M.2    Moreno, G.3    Vidal, G.4
  • 8
    • 0017419683 scopus 로고
    • A transformation system for developing recursive programs
    • Burstall R., and Darlington J. A transformation system for developing recursive programs. J. ACM 24 1 (1977) 44-67
    • (1977) J. ACM , vol.24 , Issue.1 , pp. 44-67
    • Burstall, R.1    Darlington, J.2
  • 13
    • 34248649050 scopus 로고    scopus 로고
    • Termination of logic programs with imperfect information: applications and query procedure
    • Damásio C., Medina J., and Ojeda-Aciego M. Termination of logic programs with imperfect information: applications and query procedure. J. Appl. Logic 5 (2007) 435-458
    • (2007) J. Appl. Logic , vol.5 , pp. 435-458
    • Damásio, C.1    Medina, J.2    Ojeda-Aciego, M.3
  • 16
    • 84990616630 scopus 로고
    • Multi-valued logics: a uniform approach to reasoning in artificial intelligence
    • Ginsberg M.L. Multi-valued logics: a uniform approach to reasoning in artificial intelligence. Comput. Intelligence 4 (1988) 265-316
    • (1988) Comput. Intelligence , vol.4 , pp. 265-316
    • Ginsberg, M.L.1
  • 19
    • 1842842040 scopus 로고    scopus 로고
    • Fuzzy Prolog: a new approach using soft constraints propagation
    • (Elsevier)
    • Guadarrama S., Muñoz S., and Vaucheret C. Fuzzy Prolog: a new approach using soft constraints propagation. Fuzzy Sets and Systems 144 1 (2004) 127-150 (Elsevier)
    • (2004) Fuzzy Sets and Systems , vol.144 , Issue.1 , pp. 127-150
    • Guadarrama, S.1    Muñoz, S.2    Vaucheret, C.3
  • 20
    • 54549120023 scopus 로고    scopus 로고
    • J. Guerrero, G. Moreno, Optimizing fuzzy logic programs by unfolding, aggregation and folding, in: J. Visser, V. Winter (Eds.), Proc. 8th. Internat. Workshop on Rule-Based Programming, RULE-07, Paris, France, June 29, Electronic Notes in Theoretical Computer Science 2007, p. 15, to appear.
    • J. Guerrero, G. Moreno, Optimizing fuzzy logic programs by unfolding, aggregation and folding, in: J. Visser, V. Winter (Eds.), Proc. 8th. Internat. Workshop on Rule-Based Programming, RULE-07, Paris, France, June 29, Electronic Notes in Theoretical Computer Science 2007, p. 15, to appear.
  • 23
    • 19044371747 scopus 로고    scopus 로고
    • On fuzzy unfolding a multi-adjoint approach
    • (Elsevier)
    • Julián P., Moreno G., and Penabad J. On fuzzy unfolding a multi-adjoint approach. Fuzzy Sets and Systems 154 (2005) 16-33 (Elsevier)
    • (2005) Fuzzy Sets and Systems , vol.154 , pp. 16-33
    • Julián, P.1    Moreno, G.2    Penabad, J.3
  • 24
    • 33846082695 scopus 로고    scopus 로고
    • Operational/interpretive unfolding of multi-adjoint logic programs
    • Julián P., Moreno G., and Penabad J. Operational/interpretive unfolding of multi-adjoint logic programs. J. Universal Comput. Sci. 12 11 (2006) 1679-1699
    • (2006) J. Universal Comput. Sci. , vol.12 , Issue.11 , pp. 1679-1699
    • Julián, P.1    Moreno, G.2    Penabad, J.3
  • 25
    • 54549089599 scopus 로고    scopus 로고
    • P. Julián, G. Moreno, J. Penabad, Evaluación parcial de programas lógicos multi-adjuntos y aplicaciones, in: A. Fernández (Ed.), Proc. of Campus Multidisciplinar en Percepción e Inteligencia, CMPI-2006, Albacete, Spain, July 10-14, UCLM, 2006, pp. 712-724.
    • P. Julián, G. Moreno, J. Penabad, Evaluación parcial de programas lógicos multi-adjuntos y aplicaciones, in: A. Fernández (Ed.), Proc. of Campus Multidisciplinar en Percepción e Inteligencia, CMPI-2006, Albacete, Spain, July 10-14, UCLM, 2006, pp. 712-724.
  • 26
    • 34447281756 scopus 로고    scopus 로고
    • Efficient reductants calculi using partial evaluation techniques with thresholding
    • Lucio P. (Ed), Elsevier, Amsterdam
    • Julián P., Moreno G., and Penabad J. Efficient reductants calculi using partial evaluation techniques with thresholding. In: Lucio P. (Ed). Electronic Notes in Theoretical Computer Science vol. 188C (2007), Elsevier, Amsterdam 77-90
    • (2007) Electronic Notes in Theoretical Computer Science , vol.188 C , pp. 77-90
    • Julián, P.1    Moreno, G.2    Penabad, J.3
  • 27
    • 44049120122 scopus 로고
    • Theory of generalized annotated logic programming and its applications
    • Kifer M., and Subrahmanian V. Theory of generalized annotated logic programming and its applications. J. Logic Programming 12 (1992) 335-367
    • (1992) J. Logic Programming , vol.12 , pp. 335-367
    • Kifer, M.1    Subrahmanian, V.2
  • 28
    • 85032862133 scopus 로고
    • Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of prolog
    • Komorowski H. Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of prolog. Proc. of 9th ACM Symp. on Principles of Programming Languages (1982) 255-267
    • (1982) Proc. of 9th ACM Symp. on Principles of Programming Languages , pp. 255-267
    • Komorowski, H.1
  • 31
    • 0008888942 scopus 로고    scopus 로고
    • A conceptual embedding of folding into partial deduction: towards a maximal integration
    • Maher M. (Ed), The MIT Press, Cambridge, MA
    • Leuschel M., De Schreye D., and de Waal A. A conceptual embedding of folding into partial deduction: towards a maximal integration. In: Maher M. (Ed). Proc. Joint Internat. Conf. Symp. Logic Programming, JICSLP'96 (1996), The MIT Press, Cambridge, MA 319-332
    • (1996) Proc. Joint Internat. Conf. Symp. Logic Programming, JICSLP'96 , pp. 319-332
    • Leuschel, M.1    De Schreye, D.2    de Waal, A.3
  • 33
    • 0001659384 scopus 로고
    • Partial evaluation in logic programming
    • Lloyd J., and Shepherdson J. Partial evaluation in logic programming. J. Logic Programming 11 (1991) 217-242
    • (1991) J. Logic Programming , vol.11 , pp. 217-242
    • Lloyd, J.1    Shepherdson, J.2
  • 34
    • 54549104912 scopus 로고    scopus 로고
    • J. Medina, M. Ojeda-Aciego, J. Ruiz-Calviño, On the ideal semantics of multilattice-based logic programs, in: Information Processing and Management of Uncertainty, IPMU'06, 2006, pp. 463-470. URL. 〈/TR/ipmu2006-ss.pdf〉.
    • J. Medina, M. Ojeda-Aciego, J. Ruiz-Calviño, On the ideal semantics of multilattice-based logic programs, in: Information Processing and Management of Uncertainty, IPMU'06, 2006, pp. 463-470. URL. 〈/TR/ipmu2006-ss.pdf〉.
  • 36
    • 52249094053 scopus 로고    scopus 로고
    • J. Medina, M. Ojeda-Aciego, P. Vojtáš, A procedural semantics for multi-adjoint logic programming, in: Progress in Artificial Intelligence, EPIA'01, Lecture Notes in Artificial Intelligence, vol. 2258, Springer, Berlin, (1), 2001, pp. 290-297.
    • J. Medina, M. Ojeda-Aciego, P. Vojtáš, A procedural semantics for multi-adjoint logic programming, in: Progress in Artificial Intelligence, EPIA'01, Lecture Notes in Artificial Intelligence, vol. 2258, Springer, Berlin, (1), 2001, pp. 290-297.
  • 38
    • 0028428124 scopus 로고
    • Transformation of logic programs: foundations and techniques
    • Pettorossi A., and Proietti M. Transformation of logic programs: foundations and techniques. J. Logic Programming 19 20 (1994) 261-320
    • (1994) J. Logic Programming , vol.19 , Issue.20 , pp. 261-320
    • Pettorossi, A.1    Proietti, M.2
  • 39
    • 0037187409 scopus 로고    scopus 로고
    • Approximate reasoning by similarity-based SLD resolution
    • Sessa M. Approximate reasoning by similarity-based SLD resolution. Fuzzy Sets and Systems 275 (2002) 389-426
    • (2002) Fuzzy Sets and Systems , vol.275 , pp. 389-426
    • Sessa, M.1
  • 41
    • 0033259622 scopus 로고    scopus 로고
    • Tabling for non-monotonic programming
    • Swift T. Tabling for non-monotonic programming. Ann. Math. Artificial Intelligence 25 3-4 (1999) 201-240
    • (1999) Ann. Math. Artificial Intelligence , vol.25 , Issue.3-4 , pp. 201-240
    • Swift, T.1
  • 43
    • 84955608352 scopus 로고    scopus 로고
    • Soundness and completeness of non-classical extended SLD-resolution
    • Dyckhoff R., et al. (Ed), Springer, Berlin
    • Vojtáš P., and Paulík L. Soundness and completeness of non-classical extended SLD-resolution. In: Dyckhoff R., et al. (Ed). Proc. ELP'96 Leipzig, Lecture Notes in Computer Science Vol. 1050 (1996), Springer, Berlin 289-301
    • (1996) Proc. ELP'96 Leipzig, Lecture Notes in Computer Science , vol.1050 , pp. 289-301
    • Vojtáš, P.1    Paulík, L.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.