Thresholded semantic framework for a fully integrated fuzzy logic language
DOI10.1016/J.JLAMP.2017.08.002zbMATH Open1372.68053OpenAlexW2757232759WikidataQ130571665 ScholiaQ130571665MaRDI QIDQ2409628FDOQ2409628
Authors: Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad 
Publication date: 13 October 2017
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2017.08.002
Recommendations
fixpoint semanticsoperational semanticscorrectnessfuzzy logic programmingdeclarative semanticssimilarity relations
Cites Work
- A lattice-theoretical fixpoint theorem and its applications
- Title not available (Why is that?)
- An Efficient Unification Algorithm
- The Semantics of Predicate Logic as a Programming Language
- Quantitative deduction and its fixpoint theory
- Fixed point theorems in logic programming
- A logic for approximate reasoning
- Similarity-based unification: A multi-adjoint approach
- On fuzzy unfolding: A multi-adjoint approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fuzzy logic programming
- Approximate reasoning by similarity-based SLD resolution.
- A declarative semantics for CLP with qualification and proximity
- Title not available (Why is that?)
- A similarity-based resolution rule
- Proximity-based unification theory
- Quantitative Logic Programming Revisited
- A transformation-based implementation for CLP with qualification and proximity
- A sound and complete semantics for a similarity-based logic programming language
- A fuzzy version of Tarski's fixpoint theorem.
- Approximate Reasoning Based on Similarity
- Beyond multi-adjoint logic programming
- Likelog for flexible query answering
Cited In (6)
- Seeking a safe and efficient similarity-based unfolding rule
- A semantics and a logic for \textit{Fuzzy Arden Syntax}
- The fuzzy logic programming language FASILL: design and implementation
- Fuzzy logic programs as hypergraphs. Termination results
- Tuning similarity-based fuzzy logic programs
- Symbolic unfolding of multi-adjoint logic programs
Uses Software
This page was built for publication: Thresholded semantic framework for a fully integrated fuzzy logic language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409628)
