Symbolic unfolding of multi-adjoint logic programs

DOI10.1007/978-3-030-00485-9_5MaRDI QIDQ5215752zbMATH OpenOpenAlexWikidataFDO

Authors Ginés Moreno, Jaime Penabad, José A. Riaza

Publication date 13 February 2020

Published in Trends in Mathematics and Computational Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-00485-9_5

zbMATH Keywords

unfoldingfuzzy logic programmingsymbolic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• A first course in fuzzy logic
• Fuzzy Logic and the Resolution Principle
• On fuzzy unfolding: A multi-adjoint approach
• Similarity-based unification: A multi-adjoint approach
• Symbolic execution and thresholding for efficiently tuning fuzzy logic programs
• Thresholded semantic framework for a fully integrated fuzzy logic language

Cited in

(9)

• Right adjoint algebras versus operator left residuated posets
• SOFSEM 2006: Theory and Practice of Computer Science
• Optimizing fuzzy logic programs by unfolding, aggregation and folding
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
• Impact Zadeh's theory to algebraic structures. Multi-adjoint algebras
• The fuzzy logic programming language FASILL: design and implementation
• Seeking a safe and efficient similarity-based unfolding rule
• Extended multi-adjoint logic programming
• Unfolding-based improvements on fuzzy logic programs

Describes a project that uses

Uses Software

• FRIL

This page was built for publication: Symbolic unfolding of multi-adjoint logic programs

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