An improved reductant calculus using fuzzy partial evaluation techniques

DOI10.1016/j.fss.2008.05.006zbMath1182.68041OpenAlexW1988659493MaRDI QIDQ1037854

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

Publication date: 17 November 2009

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2008.05.006

zbMATH Keywords

partial evaluationfuzzy logic programmingreductants

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Beyond multi-adjoint logic programming ⋮ Extended multi-adjoint logic programming ⋮ A Transformation-based implementation for CLP with qualification and proximity ⋮ On reductants in the framework of multi-adjoint logic programming

Uses Software

• FRIL
• Refal

Cites Work

• Fuzzy Prolog: A new approach using soft constraints propagation
• Approximate reasoning by similarity-based SLD resolution.
• Similarity-based unification: A multi-adjoint approach
• Rules + strategies for transforming lazy functional logic programs
• Tabling for non-monotonic programming
• Termination of logic programs with imperfect information: applications and query procedure
• On fuzzy unfolding: A multi-adjoint approach
• Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding
• The concept of a supercompiler
• Partial evaluation in logic programming
• A Transformation System for Developing Recursive Programs
• Transformation of logic programs: Foundations and techniques
• Logics in Artificial Intelligence
• Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item