Optimizing fuzzy logic programs by unfolding, aggregation and folding

DOI10.1016/J.ENTCS.2008.10.032MaRDI QIDQ5415653zbMATH OpenOpenAlexWikidataFDO

Authors J. A. Guerrero, Ginés Moreno

Publication date 13 May 2014

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

folding/unfolding rulesfuzzy logic programmingprogram transformation

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• SOFSEM 2006: Theory and Practice of Computer Science
• On fuzzy unfolding: A multi-adjoint approach
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
• Symbolic unfolding of multi-adjoint logic programs
• Unfolding-based improvements on fuzzy logic programs

Cites work

• A fuzzy proof theory
• A procedural semantics for multi-adjoint logic programming
• A Transformation System for Developing Recursive Programs
• A transformation system for lazy functional logic programs
• An automatic composition algorithm for functional logic programs
• Automatic optimization of multi-paradigm declarative programs
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Fuzzy Logic and the Resolution Principle
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• On fuzzy unfolding: A multi-adjoint approach
• Preservation of stronger equivalence in unfold/fold logic program transformation
• Programming with Fuzzy Logic and Mathematical Functions
• Rules + strategies for transforming lazy functional logic programs
• Safe folding/unfolding with conditional narrowing
• Similarity-based unification: A multi-adjoint approach
• SOFSEM 2006: Theory and Practice of Computer Science
• Transformation of logic programs: Foundations and techniques

Cited in

(9)

• An improved reductant calculus using fuzzy partial evaluation techniques
• Unfolding-based improvements on fuzzy logic programs
• Similarity-Based Equality with Lazy Evaluation
• Modeling Interpretive Steps in Fuzzy Logic Computations
• Automatic optimization of multi-paradigm declarative programs
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
• Symbolic unfolding of multi-adjoint logic programs
• SOFSEM 2006: Theory and Practice of Computer Science
• Seeking a safe and efficient similarity-based unfolding rule

Describes a project that uses

Uses Software

• FRIL

This page was built for publication: Optimizing fuzzy logic programs by unfolding, aggregation and folding

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