Efficient reductants calculi using partial evaluation techniques with thresholding

DOI10.1016/J.ENTCS.2007.05.039MaRDI QIDQ2867961zbMATH OpenOpenAlexWikidataFDO

Authors Pascual Julián, Ginés Moreno, Jaime Penabad

Publication date 20 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.05.039

zbMATH Keywords

fuzzy logic programmingpartial evaluationreductants

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• On reductants in the framework of multi-adjoint logic programming
• An improved reductant calculus using fuzzy partial evaluation techniques
• Revisiting reductants in the multi-adjoint logic programming framework
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs

Cites work

• A Transformation System for Developing Recursive Programs
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 2085246 (Why is no real title available?)
• scientific article; zbMATH DE number 1884400 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• On fuzzy unfolding: A multi-adjoint approach
• Partial evaluation in logic programming
• Similarity-based unification: A multi-adjoint approach

Cited in

(4)

• An improved reductant calculus using fuzzy partial evaluation techniques
• Revisiting reductants in the multi-adjoint logic programming framework
• scientific article; zbMATH DE number 1206051 (Why is no real title available?)
• On reductants in the framework of multi-adjoint logic programming

This page was built for publication: Efficient reductants calculi using partial evaluation techniques with thresholding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867961)