Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding

DOI10.1016/j.entcs.2008.10.032zbMath1286.68046OpenAlexW2078972796MaRDI QIDQ5415653

Juan Antonio Guerrero, Ginés Moreno

Publication date: 13 May 2014

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.2008.10.032

zbMATH Keywords

program transformationfuzzy logic programmingfolding/unfolding rules

Mathematics Subject Classification ID

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

Related Items (4)

Similarity-Based Equality with Lazy Evaluation ⋮ Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs ⋮ Modeling Interpretive Steps in Fuzzy Logic Computations ⋮ An improved reductant calculus using fuzzy partial evaluation techniques

Uses Software

• FRIL

Cites Work

• A fuzzy proof theory
• Preservation of stronger equivalence in unfold/fold logic program transformation
• Similarity-based unification: A multi-adjoint approach
• Rules + strategies for transforming lazy functional logic programs
• On fuzzy unfolding: A multi-adjoint approach
• Programming with Fuzzy Logic and Mathematical Functions
• A Transformation System for Developing Recursive Programs
• Transformation of logic programs: Foundations and techniques
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Fuzzy Logic and the Resolution Principle
• SOFSEM 2006: Theory and Practice of Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding