Seeking a safe and efficient similarity-based unfolding rule

DOI10.1016/J.IJAR.2023.109038WikidataQ130571659 ScholiaQ130571659MaRDI QIDQ6064255

José A. Riaza, Ginés Moreno, Pascual Julián-Iranzo

Publication date: 12 December 2023

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

unfoldingfuzzy logic programmingsimilarity relations

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• A sound and complete semantics for a similarity-based logic programming language
• Approximate reasoning by similarity-based SLD resolution.
• Similarity-based unification: A multi-adjoint approach
• The fuzzy logic programming language FASILL: design and implementation
• On fuzzy unfolding: A multi-adjoint approach
• Thresholded semantic framework for a fully integrated fuzzy logic language
• Symbolic execution and thresholding for efficiently tuning fuzzy logic programs
• An Efficient Unification Algorithm

This page was built for publication: Seeking a safe and efficient similarity-based unfolding rule