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

fuzzy logic programmingsymbolic programsunfolding

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

• A first course in fuzzy logic
• A Transformation System for Developing Recursive Programs
• Fuzzy Logic and the Resolution Principle
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• 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)

• The fuzzy logic programming language FASILL: design and implementation
• Extended multi-adjoint logic programming
• Right adjoint algebras versus operator left residuated posets
• Unfolding-based improvements on fuzzy logic programs
• Impact Zadeh's theory to algebraic structures. Multi-adjoint algebras
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
• Optimizing fuzzy logic programs by unfolding, aggregation and folding
• 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: 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)